Search for dissertations about: "formal argumentation"

Showing result 1 - 5 of 16 swedish dissertations containing the words formal argumentation.

  2. 1. Reasoning by Analogy - A Study on Analogy-Based Arguments in Law

    Author : David Reidhav; Juridiska institutionen; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Reasoning by analogy; legal argumentation; legal methodology; formal justice; stare decisis; precedent; analogy; proportional analogy; similarity; dimensional property; comparative similarity; arguments from analogy; closure rule; jurisprudence; allmän rättslära;

    Abstract : This doctoral dissertation is a study on analogy-based arguments in law. Its overarching aim is to clarify reasoning by analogy in law. A model is proposed for analyzing and assessing arguments from analogy in law. READ MORE

  4. 2. Principle-based non-monotonic reasoning - from humans to machines

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

    Abstract : 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. READ MORE

  5. 3. Developing digital support for learning and diagnostic reasoning in clinical practice

    Author : Chunli Yan; Helena Lindgren; Juan Carlos Nieves; Lars-Erik Janlert; Franziska Klügl; Umeå universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Clinical decision-support systems; knowledge representation; possibilistic logic; multi-agent systems; formal argumentation; ontology; automated decision making; inquiry dialogue; end-user development; continuing medical education; dementia;

    Abstract : The two main purposes of clinical decision-support systems (CDSSs) are to provide healthcare professionals decision-making support based on evidence-based medical knowledge, and a continuing medical education. This thesis focuses on both purposes and shows how fundamental theory in the field of artificial intelligence can be developed, adapted and implemented in a CDSS for supporting learning and diagnostic reasoning in clinical practice. READ MORE

  6. 4. Decision support in dementia care : developing systems for interactive reasoning

    Author : Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

  7. 5. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

    Author : Jenny S. Z. Eriksson Lundström; Andreas Hamfelt; Giovanni Sartor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Abstract : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. READ MORE