Rule-Based Reasoning with Belief Structures

• 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.

Subject headings

HUMANIORA  -- Filosofi, etik och religion -- Filosofi (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)

Keyword

Rule languages; Doxastic reasoning; Paraconsistency; Paracompleteness

Publication and Content Type

ref (subject category)

kon (subject category)