Search for dissertations about: "machine reasoning"

Showing result 1 - 5 of 46 swedish dissertations containing the words machine reasoning.

2. 1. A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations

   Author : Heike Joe Steinhauer; Erik Sandewall; Alexander Klippel; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Qualitative Reasoning; Spatial Reasoning; Cognitive Modeling; Human-Machine Interaction; Coarse Reasoning; Artificial Intelligence; Computer science; Datavetenskap;

   Abstract : One reason Qualitative Spatial Reasoning (QSR) is becoming increasingly important to Artificial Intelligence (AI) is the need for a smooth ‘human-like’ communication between autonomous agents and people. The selected, yet general, task motivating the work presented here is the scenario of an object configuration that has to be described by an observer on the ground using only relational object positions. READ MORE

4. 2. Intention recognition in human machine collaborative systems

   Author : Daniel Aarno; Danica Kragic; Darius Burschka; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Robotics; Human-machine collaboration; Virtual fixture; hidden Markov model; Machine learning; Artificial intelligence; Computer science; Datavetenskap;

   Abstract : Robotsystem har använts flitigt under de senaste årtiondena för att skapa automationslösningar i ett flertal områden. De flesta nuvarande automationslösningarna är begränsade av att uppgifterna de kan lösa måste vara repetitiva och förutsägbara. READ MORE

5. 3. Who is laughing now? Laughter-infused dialogue systems

   Author : Vladislav Maraev; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; laughter; dialogue systems; humour; machine learning; reasoning; natural language processing; artificial agents;

   Abstract : This thesis paves the way for including laughter in spoken dialogue systems in a domain-general and linguistically valid way using computational linguistics tools and methods. The thesis is concerned with three main areas. The first area concerns the placement of laughter in relation to speech and other behaviours. READ MORE

6. 4. Approximations and abstractions for reasoning about machine arithmetic

   Author : Aleksandar Zeljic; Philipp Rümmer; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

   Abstract : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE

7. 5. The Use of Case-Based Reasoning in a Human-Robot Dialog System

   Author : Karolina Eliasson; Erik Sandewall; Jan Alexandersson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dialog manager; machine learning; case-based reasoning; case-based planning; helicopter; natural language; Computer science; Datalogi;

   Abstract : As long as there have been computers, one goal has been to be able to communicate with them using natural language. It has turned out to be very hard to implement a dialog system that performs as well as a human being in an unrestricted domain, hence most dialog systems today work in small, restricted domains where the permitted dialog is fully controlled by the system. READ MORE