Scientific article
English

Paraconsistent Rule-based Reasoning with Graded Truth Values

Published inJournal of Applied Logic, vol. 5, no. 1, p. 185-220
Publication date2018
Abstract

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.

Citation (ISO format)
DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna, SZALAS, Andrzej. Paraconsistent Rule-based Reasoning with Graded Truth Values. In: Journal of Applied Logic, 2018, vol. 5, n° 1, p. 185–220.
Main files (1)
Article (Accepted version)
accessLevelRestricted
Identifiers
  • PID : unige:148440
  • DBLP : journals/flap/AngelisSS18
Journal ISSN1570-8683
285views
0downloads

Technical informations

Creation28/01/2021 16:04:00
First validation28/01/2021 16:04:00
Update15/03/2023 23:57:53
Status update15/03/2023 23:57:52
Last indexation30/04/2025 15:18:14
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack