Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments
| Autor: | Łukasz Białek, Barbara Dunin-Keplicz, Andrzej Szałas |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Belief base
Theoretical computer science Computer science 010102 general mathematics Contrast (statistics) Context (language use) 02 engineering and technology State (functional analysis) Extension (predicate logic) 01 natural sciences Action (philosophy) 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0101 mathematics Representation (mathematics) |
| Zdroj: | Intelligent Distributed Computing XI ISBN: 9783319663784 IDC |
| DOI: | 10.1007/978-3-319-66379-1_5 |
| Popis: | The paper introduces ActLog, a rule-based language capable of specifying actions paraconsistently. ActLog is an extension of 4QL\(^{\!\text{ Bel }}\), a rule-based language for reasoning with paraconsistent and paracomplete belief bases and belief structures. Actions considered in the paper act on belief bases rather than states represented as sets of ground literals. Each belief base stores multiple world representations which can be though of as a representation of possible states. In this context ActLog’s action may be then seen as a method of transforming one belief base into another. In contrast to other approaches, ActLog permits to execute actions even if the underlying belief base state is partial or inconsistent. Finally, the framework introduced in this paper is tractable. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|