liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Paraconsistent Rule-Based Reasoning with Graded Truth Values
Institute of Services Science, University of Geneva, Switzerland.
Institute of Services Science, University of Geneva, Switzerland.
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. Institute of Informatics, University of Warsaw, Poland.
2018 (engelsk)Inngår i: Journal of Applied Logic, ISSN 2055-3706, Vol. 5, nr 1, s. 185-220Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

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.

sted, utgiver, år, opplag, sider
College Publications, 2018. Vol. 5, nr 1, s. 185-220
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-153434OAI: oai:DiVA.org:liu-153434DiVA, id: diva2:1270915
Tilgjengelig fra: 2018-12-14 Laget: 2018-12-14 Sist oppdatert: 2018-12-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

http://www.collegepublications.co.uk/downloads/ifcolog00021.pdf#page=196

Personposter BETA

Szalas, Andrzej

Søk i DiVA

Av forfatter/redaktør
Szalas, Andrzej
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 97 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf