论文信息 - A Framework for Belief Update

A Framework for Belief Update

In this paper we show how several different semantics for belief update can be expressed in a framework for reasoning about actions. This framework can therefore be considered as a common core of all these update formalisms, thus making it clear what they have in common. This framework also allows expressing scenarios that are problematic for the classical formalization of belief update.

Paolo Liberatore

[1] Craig Boutilier,et al. Generalized Update: Belief Change in Dynamic Settings , 1995, IJCAI.

[2] Pavlos Peppas. PMA Epistemic Entrenchments: The General Case , 1996, ECAI.

[3] Craig Boutiller,et al. Generalized update: belief change in dynamic settings , 1995, IJCAI 1995.

[4] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[5] Yoav Shoham,et al. Deriving properties of belief update from theories of action , 1992, IJCAI.

[6] Gabriel M. Kuper,et al. Updating Logical Databases , 1986, Adv. Comput. Res..

[7] Chitta Baral,et al. Representing Actions: Laws, Observations and Hypotheses , 1997, J. Log. Program..

[8] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[9] Luís Moniz Pereira,et al. What Is Believed Is What Is Explained (Sometimes) , 1996, AAAI/IAAI, Vol. 1.

[10] Craig Boutilier,et al. Abduction to Plausible Causes: An Event-Based model of Belief Update , 1994, Artif. Intell..

[11] Michael Thielscher,et al. Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[12] Joseph Y. Halpern,et al. A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.

[13] Marco Schaerf,et al. BReLS: A System for the Integration of Knowledge Bases , 2000, KR.

[14] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..