Sökning: WFRF:(Szalas Andrzej 1956 ) >
Paraconsistent Rule...
Paraconsistent Rule-Based Reasoning with Graded Truth Values
-
- De Angelis, Francesco Luca (författare)
- Institute of Services Science, University of Geneva, Switzerland
-
- Di Marzo Serugendo, Giovanna (författare)
- Institute of Services Science, University of Geneva, Switzerland
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten,Institute of Informatics, University of Warsaw, Poland
-
(creator_code:org_t)
- College Publications, 2018
- 2018
- Engelska.
-
Ingår i: Journal of Applied Logics - IfCoLog Journal. - : College Publications. - 2631-9810 .- 2631-9829. ; 5:1, s. 185-220
- Relaterad länk:
-
http://www.collegepu...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Modern artificial systems, such as cooperative traffic systems or swarm robotics, are made of multiple autonomous agents, each handling uncertain, partial and potentially inconsistent information, used in their reasoning and decision making. Graded reasoning, being a suitable tool for addressing phenomena related to such circumstances, is investigated in the literature in many contexts – from graded modal logics to various forms of approximate reasoning. In this paper we first introduce a family of many-valued paraconsistent logics parametrised by a number of truth/falsity/inconsistency grades allowing one to handle multiple truth-values at the desired level of accuracy. Second, we define a corresponding family of rule-based languages with graded truth-values as first-class citizens, enjoying tractable query evaluation. In addition, we introduce introspection operators allowing one to resolve inconsistencies and/or lack of information in a non-monotonic manner. We illustrate and discuss the use of the framework in an autonomous robot scenario.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas