Iterated Belief Change in the Situation Calculus

Abstract

The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with this problem. In this paper, we offer a new approach to belief change associated with performing actions that addresses some of the shortcomings of these approaches. In particular, our approach is based on a well-developed theory of action in the situation calculus extended to deal with belief. Moreover, our account handles nested belief, belief introspection, mistaken belief, and handles belief revision and belief update together with iterated belief change.

DOI: 10.1016/j.artint.2010.04.003

Extracted Key Phrases

2 Figures and Tables

01020'01'03'05'07'09'11'13'15'17
Citations per Year

153 Citations

Semantic Scholar estimates that this publication has 153 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Shapiro2000IteratedBC, title={Iterated Belief Change in the Situation Calculus}, author={Steven D Shapiro and Maurice Pagnucco and Yves Lesp{\'e}rance and Hector J. Levesque}, booktitle={KR}, year={2000} }