Search for dissertations about: "doherty"

Showing result 1 - 5 of 34 swedish dissertations containing the word 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. HIV and Infant Feeding : Operational Challenges of Achieving Safe Infant Feeding Practices

    Author : Tanya Doherty; Lars-Åke Persson; Ted Greiner; Debra Jackson; Per Ashorn; Uppsala universitet; []
    Keywords : International health; HIV AIDS; Prevention of Mother to Child Transmission of HIV; infant feeding; child health; qualitative research; cohort study; programme evaluation; nutrition; Internationell hälsa;

    Abstract : This thesis assesses the uptake of the national Prevention of Mother to Child Transmission of HIV (PMTCT) programme in South Africa, and the challenges of achieving safe infant feeding practices in the context of HIV. The research studies contained in this thesis utilised a variety of quantitative and qualitative research methods in order to provide a full understanding of the challenges of moving from efficacy to effectiveness in PMTCT programmes. READ MORE

  6. 4. 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

  7. 5. 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