Multiagent Knowledge and Belief Change in the Situation Calculus

Fang, Liangda; Liu, Yongmei

doi:10.1609/aaai.v27i1.8698

Cited by 8 publications

(2 citation statements)

References 12 publications

(14 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the single-agent case, Shapiro et al [21] and Delgrande and Levesque [10] integrated belief revision into the situation calculus, by augmenting it with a notion of plausibility over situations. In the multi-agent case, by integrating action priority update from DELs into the situation calculus, Fang and Liu [12] gave a general framework for reasoning about actions and belief change.…”

Section: Introductionmentioning

confidence: 99%

A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations

Liang,

Liu

2023

Frontiers in Artificial Intelligence and Applications

View full text Add to dashboard Cite

Belief change studies how an agent modifies her beliefs on receiving new information. However, so far most research on belief change works on beliefs represented in propositional logic. There have been many works on integrating belief revision with reasoning about actions, and some works extending belief change from propositional logic to epistemic logics. In this paper, we study revision on beliefs of a third person represented with the multi-agent KD45 logic. Our formal technique is analogous to that of distance-based belief revision in propositional logic: to revise a KB by a formula, select from models of the formula those that are closest to models of the KB. To this end, a challenge is that in modal logics, a formula may have infinitely many Kripke models. To tackle this, we propose a variant of Moss’ canonical formulas called alternating canonical formulas, treat them as models for formulas, and define a notion of distance between them, based on the Hausdorff distance between two sets. We show that our revision satisfies all of the AGM postulates. To give syntactic characterizations of our revision, we make use of a normal form for KD45n called alternating cover disjunctive formulas (ACDFs). We give syntactic characterizations firstly on fragments of ACDFs called proper ACDFs and alternating cover conjunctive formulas (ACCFs), and finally on the whole ACDFs.

show abstract

Section: Introductionmentioning

confidence: 99%

A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations

Liang,

Liu

2023

Frontiers in Artificial Intelligence and Applications

View full text Add to dashboard Cite

show abstract

“…While progression may be preferable over regression for long sequences of action, it has the disadvantage that the resulting knowledge base is not always first-order representable. Besides (Shapiro et al 2011;Schwering and Lakemeyer 2014), a number of other proposals such as (Demolombe and Pozos Parra 2006;Delgrande and Levesque 2012;Fang and Liu 2013) have dealt with extending action formalisms with belief revision in the spirit of AGM (Alchourron, Gärdenfors, and Makinson 1985). In (Pagnucco et al 2013) a limited solution to the projection problem in action theories derived from (Shapiro et al 2011) is proposed by a translation to Default Logic extended with preferences (Baumann et al 2010), together with an implementation using Answer Set Programming (Gelfond 2008).…”

Section: Introductionmentioning

confidence: 99%

Projection in the Epistemic Situation Calculus with Belief Conditionals

Schwering

Lakemeyer

2015

AAAI

View full text Add to dashboard Cite

A fundamental task in reasoning about action and change is projection, which refers to determining what holds after a number of actions have occurred. A powerful method for solving the projection problem is regression, which reduces reasoning about the future to reasoning about the initial state. In particular, regression has played an important role in the situation calculus and its epistemic extensions. Recently, a modal variant of the situation calculus was proposed, which allows an agent to revise its beliefs based on so-called belief conditionals as part of its knowledge base. In this paper, we show how regression can be extended to reduce beliefs about the future to initial beliefs in the presence of belief conditionals. Moreover, we show how any remaining belief operators can be eliminated as well, thus reducing the belief projection problem to ordinary first-order entailments.

show abstract

A Fuzzy Dynamic Belief Logic System

Jing

Luo

Zhang

2014

Int. J. Intell. Syst.

View full text Add to dashboard Cite

In this paper, we develop a fuzzy dynamic belief revision logic system. In our system, propositions take truth values in a set of multiple fuzzy linguistic terms, which people use in everyday life. And we use a uninorm operator to aggregate the linguistic truth values of the same proposition but drawn from two different rules because uninorms can reflect well that the aggregated result of two somehow negative truth values of the same proposition should be more negative, the aggregated result of two somehow positive ones should be more positive, and the result of a negative one and a positive one is a compromise. In this system, the belief on a proposition is the linguistic truth of the proposition in the most possible world according to the current preference over all possible worlds. In the light of new information, the preference degrees of possible worlds will be updated. Accordingly, the most possible world will be changed to another and thus an old belief on a propositional formula will be changed to the linguistic truth of the proposition in the new most possible world. Moreover, we prove the soundness and completeness of our fuzzy dynamic belief revision system. In addition, we also prove that our belief revision method in fuzzy environment satisfies some relevant ones of standard AGM postulates (named after the names of their proponents, Alchourrón, Gärdenfors, and Makinson).

show abstract

Multiagent Knowledge and Belief Change in the Situation Calculus

Cited by 8 publications

References 12 publications

A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations

A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations

Projection in the Epistemic Situation Calculus with Belief Conditionals

A Fuzzy Dynamic Belief Logic System

Contact Info

Product

Resources

About