Sökning: "many-valued logic"

Hittade 4 avhandlingar innehållade orden many-valued logic.

  1. 1. Towards a many-valued logic of quantified belief

    Författare :Dimiter Driankov; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We consider a logic which "truth-values" are represented as quantified belief/disbelief pairs, thus integrating reports on how strongly the truth of a proposition is believed, and how strongly it is disbelieved. In this context a major motive for the logic proposed is, that it should not lead (as in classical logic) to irrelevant conclusions when contradictory beliefs are encountered. LÄS MER

  3. 2. Categorical Unification

    Författare :María Ángeles Galán García; Patrik Eklund; José Meseguer; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; Computer science; Datalogi; business data processing; administrativ databehandling;

    Sammanfattning : This thesis deals with different aspects towards many-valued unification which have been studied in the scope of category theory. The main motivation of this investigation comes from the fact that in logic programming, classical unification has been identified as the provision of coequalizers in Kleisli categories of term monads. LÄS MER

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

  5. 4. Generalized General Logics

    Författare :Robert Helgesson; Patrik Eklund; Andrzej Tarlecki; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datalogi;

    Sammanfattning : Logic as a vehicle for sound reason has a long and lustrous history and while most developments follow the traditional notions of binary truth and crisp sentences, great efforts have been placed into the problem of reasoning with uncertainties. To this end the field of "fuzzy logic" is now of great importance both theoretically and practically. LÄS MER