{"type":"ScholarlyArticle","title":"Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus","authors":[{"name":"Lars Karlsson","slug":"lars-karlsson","given":"Lars","family":"Karlsson","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/206","pdf":"https://ijcai.org/proceedings/1997/0206.pdf","markdown":"https://ijcai.org/proceedings/1997/206.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/206","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":206,"pages":{"first":1434,"last":1439},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}