Towards a paraconsistent approach to actions in distributed information-rich environments

Abstract

The paper introduces ActLog, a rule-based language capable of specifying actions paraconsistently. ActLog is an extension of 4QLBel, 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.