Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments

Białek, Łukasz; Dunin-Keplicz, Barbara; Szałas, Andrzej

doi:10.1007/978-3-319-66379-1_5

Cited by 1 publication

(1 citation statement)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While 4QL already permits to flexibly resolve/disambiguate 3i at any level of reasoning, 4QL Bel includes means for doxastic reasoning by specifying paraconsistent belief bases and referring to them in rules. Specifically, the paper continues a line of research initiated in [6] by:…”

Section: Actions In Informationally Complex Environmentsmentioning

confidence: 95%

A paraconsistent approach to actions in informationally complex environments

Białek

Dunin-Keplicz

Szałas

2019

Ann Math Artif Intell

Self Cite

View full text Add to dashboard Cite

Contemporary systems situated in real-world open environments frequently have to cope with incomplete and inconsistent information that typically increases complexity of reasoning and decision processes. Realistic modeling of such informationally complex environments calls for nuanced tools. In particular, incomplete and inconsistent information should neither trivialize nor stop both reasoning or planning. The paper introduces ACT-LOG, a rule-based four-valued language designed to specify actions in a paraconsistent and paracomplete manner. ACTLOG is an extension of 4QL Bel , a language for reasoning with paraconsistent belief bases. Each belief base stores multiple world representations. In this context, ACTLOG's action may be seen as a belief bases' transformer. In contrast to other approaches, ACTLOG actions can be executed even when the underlying belief base contents is inconsistent and/or partial. ACTLOG provides a nuanced action specification tools, allowing for subtle interplay among various forms of nonmonotonic, paraconsistent, paracomplete and doxastic reasoning methods applicable in informationally complex environments. Despite its rich modeling possibilities, it remains tractable. ACTLOG permits for composite actions by using sequential and parallel compositions as well as conditional specifications. The framework is illustrated on a decontamination case study known from the literature.

show abstract

Section: Actions In Informationally Complex Environmentsmentioning

confidence: 95%