Search for dissertations about: "Patrick Doherty"

Showing result 1 - 5 of 21 swedish dissertations containing the words Patrick Doherty.

  2. 1. A three-valued approach to non-monotonic reasoning

    Author : Patrick Doherty; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : The subject of this thesis is the formalization of a type of non-monotonic reasoning using a three-valued logic based on the strong definitions of Kleene. Non-monotonic reasoning is the rule rather than the exception when agents, human or machine, must act where information about the environment is uncertain or incomplete. READ MORE

  4. 2. NML3 : a non-monotonic formalism with explicit defaults

    Author : Patrick Doherty; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : The thesis is a study of a particular approach to defeasible reasoning based on the notion of an information state consisting of a set of partial interpretations constrained by an information ordering. The formalism proposed, called NML3, is a non-monotonic logic with explicit defaults and is characterized by the following features: (1) The use of the strong Kleene three-valued logic as a basis. READ MORE

  5. 3. Learning to Make Safe Real-Time Decisions Under Uncertainty for Autonomous Robots

    Author : Olov Andersson; Patrick Doherty; Mattias Villani; Patric Jensfelt; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Robots are increasingly expected to go beyond controlled environments in laboratories and factories, to act autonomously in real-world workplaces and public spaces. Autonomous robots navigating the real world have to contend with a great deal of uncertainty, which poses additional challenges. READ MORE

  6. 4. Methods for Scalable and Safe Robot Learning

    Author : Olov Andersson; Patrick Doherty; Mattias Villani; Petter Ögren; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Symbicloud; ELLIIT; WASP;

    Abstract : Robots are increasingly expected to go beyond controlled environments in laboratories and factories, to enter real-world public spaces and homes. However, robot behavior is still usually engineered for narrowly defined scenarios. READ MORE

  7. 5. Navigation Functionalities for an Autonomous UAV Helicopter

    Author : Gianpaolo Conte; Patrick Doherty; Marconi Lorenzo; Linköpings universitet; []
    Keywords : Unmanned Aerial Vehicle; Control System; Path Following; Path Planning; Sensor Fusion; Vision Based Landing; Kalman Filter; Real-Time; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : This thesis was written during the WITAS UAV Project where one of the goals has been the development of a software/hardware architecture for an unmanned autonomous helicopter, in addition to autonomous functionalities required for complex mission scenarios. The algorithms developed here have been tested on an unmanned helicopter platform developed by Yamaha Motor Company called the RMAX. READ MORE