Sökning: id:"swepub:oai:DiVA.org:liu-149408" >
Rule-Based Reasonin...
Rule-Based Reasoning with Belief Structures
-
- Bialek, Lukasz (författare)
- Univ Warsaw, Poland
-
- Dunin-Keplicz, Barbara (författare)
- Univ Warsaw, Poland
-
- Szalas, Andrzej (författare)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten,Univ Warsaw, Poland
-
(creator_code:org_t)
- 2017-06-14
- 2017
- Engelska.
-
Ingår i: FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017. - Cham : SPRINGER INTERNATIONAL PUBLISHING AG. - 9783319604381 - 9783319604374 ; , s. 229-239
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- This paper introduces 4QL(Bel), a four-valued rule language designed for reasoning with paraconsistent and paracomplete belief bases as well as belief structures. Belief bases consist of finite sets of ground literals providing (partial and possibly inconsistent) complementary or alternative views of the world. As introduced earlier, belief structures consist of constituents, epistemic profiles and consequents. Constituents and consequents are belief bases playing different roles. Agents perceive the world forming their constituents, which are further transformed into consequents via the agents or groups epistemic profile. In order to construct 4QL(Bel), we extend 4QL, a four-valued rule language permitting for many forms of reasoning, including doxastic reasoning. Despite the expressiveness of 4QL(Bel), we show that its tractability is retained.
Ämnesord
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
Nyckelord
- Rule languages; Doxastic reasoning; Paraconsistency; Paracompleteness
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas