liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • 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öping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Institute of Informatics, University of Warsaw, Poland.
2018 (English)In: Journal of Applied Logic, ISSN 2055-3706, Vol. 5, no 1, p. 185-220Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
College Publications, 2018. Vol. 5, no 1, p. 185-220
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-153434OAI: oai:DiVA.org:liu-153434DiVA, id: diva2:1270915
Available from: 2018-12-14 Created: 2018-12-14 Last updated: 2018-12-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

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

Authority records BETA

Szalas, Andrzej

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 60 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf