Search for dissertations about: "many-valued logic"

Found 4 swedish dissertations containing the words many-valued logic.

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

   Author : Dimiter Driankov; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

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

4. 2. Categorical Unification

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

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

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

6. 4. Generalized General Logics

   Author : Robert Helgesson; Patrik Eklund; Andrzej Tarlecki; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datalogi;

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