Minimal change and maximal coherence: a basis for belief revision and reasoning about actions

Authors:
Anand S. Rao;Norman Y. Foo
Affiliations:
Australian AI Institute, Carlton, VIC, Australia;University of Sydney, Sydney, NSW, Australia
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 8
Cited 3

Semantical considerations on nonmonotonic logic

Artificial Intelligence
An assumption-based TMS

Artificial Intelligence
Nonmonotonic logic and temporal projection

Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence
On the relation between default and autoepistemic logic

Artificial Intelligence
Miracles in formal theories of action

Artificial Intelligence
Formal theories of belief revision

Proceedings of the first international conference on Principles of knowledge representation and reasoning
The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop April 12-15, 1987 Lawrence, Kansas

The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop April 12-15, 1987 Lawrence, Kansas

Updating action domain descriptions

Artificial Intelligence
The PMA and Relativizing Minimal Change for Action Update

Fundamenta Informaticae
Critical reasoning: AI for emergency response

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The study of belief revision and reasoning about actions have been two of the most active areas of research in AI. Both these areas involve reasoning about change. However very little work has been done in analyzing the principles common to both these areas. This paper presents a formal characterization of belief revision, based on the principles of minimal change and maximal coherence. This formal theory is then used to reason about actions. The resulting theory provides an elegant solution to the conceptual frame and ramification problems. It also facilitates reasoning in dynamic situations where the world changes during the execution of an action. The principles of minimal change and maximal coherence seem to unify belief revision and reasoning about actions and may form a fundamental core for reasoning about other dynamic processes that involve change.