Rule-Based Reasoning with Belief Structures

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

doi:10.1007/978-3-319-60438-1_23

Cited by 6 publications

(13 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rather than reasoning in modal logics or other complex formalisms, a tractable approach based on querying paraconsistent belief bases has been introduced there. It has further been developed in [5]. In order to achieve the required expressiveness and modeling convenience, next to truth and falsity two additional truth values: i (inconsistent) and u (unknown) have been employed.…”

Section: Actions In Informationally Complex Environmentsmentioning

confidence: 99%

“…ACTLOG belongs to the 4QL family of four-valued, rule-based languages. It builds on 4QL Bel [5], which, in turn, extends the 4QL rule language [34][35][36]. 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.…”

Section: Actions In Informationally Complex Environmentsmentioning

confidence: 99%

“…In this section we recall the approach of [5,14] in a possibly compact, yet comprehensive manner. 2 In particular, we show an extension of R 4 by the two operators for expressing beliefs.…”

Section: Doxastic Extension Of Rmentioning

confidence: 99%

“…Therefore we need a suitable language to represent and query belief bases. As shown in [5], a suitable candidate is the 4QL Bel language. 3 4QL Bel is an extension of 4QL.…”

Section: Representing and Querying Belief Basesmentioning

confidence: 99%

“…3 4QL Bel is an extension of 4QL. Though the full definition of 4QL Bel is available in [5], for clarity we recall the most important constructs of the language. The language inherits a fair amount of elements from the 4QL language [34,36,50], including basic program syntax and semantics.…”

Section: Representing and Querying Belief Basesmentioning

confidence: 99%

See 4 more Smart Citations

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: 99%

Section: Actions In Informationally Complex Environmentsmentioning

confidence: 99%

“…In this section we recall the approach of [5,14] in a possibly compact, yet comprehensive manner. 2 In particular, we show an extension of R 4 by the two operators for expressing beliefs.…”

Section: Doxastic Extension Of Rmentioning

confidence: 99%

“…Therefore we need a suitable language to represent and query belief bases. As shown in [5], a suitable candidate is the 4QL Bel language. 3 4QL Bel is an extension of 4QL.…”

Section: Representing and Querying Belief Basesmentioning

confidence: 99%