Sökning: "Non-monotonic reasoning"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden Non-monotonic reasoning.

  1. 1. Principle-based non-monotonic reasoning - from humans to machines

    Författare :Timotheus Kampik; Helena Lindgren; Juan Carlos Nieves; Anthony Hunter; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Non-monotonic reasoning; formal argumentation; Computer Science; datalogi;

    Sammanfattning : A key challenge when developing intelligent agents is to instill behavior into computing systems that can be considered as intelligent from a common-sense perspective. Such behavior requires agents to diverge from typical decision-making algorithms that strive to maximize simple and often one-dimensional metrics. LÄS MER

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

    Författare :Patrick Doherty; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : 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. LÄS MER

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

    Författare :Patrick Doherty; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : 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. LÄS MER

  5. 4. Enthymemes in Dialogue: A micro-rhetorical approach

    Författare :Ellen Breitholtz; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Topos; Enthymeme; ; TTR; Dialogue modelling; Non-monotonic reasoning; Accommodation; Micro-rhetoric; Gameboard semantics;

    Sammanfattning : In dialogue we frequently present arguments which are based on commonly accepted non-logical inferences. In rhetorical theory, this type of argument is called an enthymeme, and a pattern of reasoning that it is based on is called a topos. The main purpose of this thesis is to investigate the role that enthymemes play in natural language dialogue. LÄS MER

  7. 5. Decision support in dementia care : developing systems for interactive reasoning

    Författare :Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Artificial intelligence; human-computer interaction; activity theory; argumentation; fuzzy logic; general logics; clinical decision support systems; cognitive disorder; dementia; differential diagnosis; clinical practice guideline; knowledge engineering; knowledge representation; cognitive ergonomics; interactive reasoning; Computer science; Datavetenskap; Computer Science; datalogi;

    Sammanfattning : Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. LÄS MER