A Framework for Belief Update

Authors:
Paolo Liberatore
Affiliations:
-
Venue:
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Year:
2000

Citing 5
Cited 5

Updating logical databases

Updating logical databases
Propositional knowledge base revision and minimal change

Artificial Intelligence
Abduction to plausible causes: an event-based model of belief update

Artificial Intelligence
Generalized update: belief change in dynamic settings

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
What is believed is what is explained (sometimes)

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Belief update revisited

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Updating action domain descriptions

Artificial Intelligence
First-order logical filtering

Artificial Intelligence
On the link between partial meet, kernel, and infra contraction and its application to Horn logic

Journal of Artificial Intelligence Research
Propositional Update Operators Based on Formula/Literal Dependence

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.