Sökning: onr:"swepub:oai:DiVA.org:liu-153430" >
Towards a Paraconsi...
Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments
-
- Bialek, Lukasz (författare)
- Institute of Informatics, University of Warsaw, Poland
-
- Dunin-Keplicz, Barbara (författare)
- Institute of Informatics, University of Warsaw, Poland
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten
-
(creator_code:org_t)
- 2017-10-05
- 2018
- Engelska.
-
Ingår i: Intelligent Distributed Computing XI. - Cham : Springer. - 9783319663784 - 9783319663791 ; , s. 49-60
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The paper introduces ActLog, a rule-based language capable of specifying actions paraconsistently. ActLog is an extension of 4QL Bel " role="presentation"> 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Action languages; Paraconsistent reasoning; Paracomplete reasoning; Belief structures
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas