Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1434-1439.
Abstract
Situation Calculus is arguably the most widely studied and used formalism for reasoning about action and change. The main reason for its popularity is the ability to reason about different action sequences as explicit objects. In particular, planning can be formulated as an existence problem. This paper shows how these properties break down when incomplete information about the initial state and nondeterministic action effects are introduced, basically due to the fact that this incompleteness is not adequately manifested on the object level. A version of Situation Calculus is presented which adequately models the alternative ways the world can develop relative to a choice of actions.
@inproceedings{ijcai1997p206,
title = {Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus},
author = {Karlsson, Lars},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {1434--1439},
year = {1997},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1997/206},
}
TY - CPAPER TI - Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus AU - Karlsson, Lars T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1434 EP - 1439 UR - https://ijcai.org/proceedings/1997/206 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
