Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions

Rao, Anand S.; Foo, Norman Y.

Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Planning, Scheduling, Reasoning About Actions. Pages 966-970.

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.

Anand S. Rao, and Norman Y. Foo. 1989. Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 966–970. https://ijcai.org/proceedings/1989/155

@inproceedings{ijcai1989p155,
  title     = {Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions},
  author    = {Rao, Anand S. and Foo, Norman Y.},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {966--970},
  year      = {1989},
  month     = {8},
  note      = {Planning, Scheduling, Reasoning About Actions},
  url       = {https://ijcai.org/proceedings/1989/155},
}

TY  - CPAPER
TI  - Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
AU  - Rao, Anand S.
AU  - Foo, Norman Y.
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 966
EP  - 970
UR  - https://ijcai.org/proceedings/1989/155
ER  -