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

1Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

Białek, Ł., Dunin-Kęplicz, B., & Szałas, A. (2017). Towards a paraconsistent approach to actions in distributed information-rich environments. Studies in Computational Intelligence, 737, 49–60. https://doi.org/10.1007/978-3-319-66379-1_5

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free