{"type":"ScholarlyArticle","title":"Property Persistence in the Situation Calculus","authors":[{"name":"Ryan F. Kelly","slug":"ryan-f-kelly","given":"Ryan F.","family":"Kelly","affiliation":""},{"name":"Adrian R. Pearce","slug":"adrian-r-pearce","given":"Adrian R.","family":"Pearce","affiliation":""}],"abstract":"We develop an algorithm for reducing universally quantified situation calculus queries to a form more amenable to automated reasoning. Universal quantification in the situation calculus requires a second-order induction axiom, making automated reasoning difficult for such queries. We show how to reduce queries about property persistence, a common family of universally-quantified query, to an equivalent form that does not quantify over situations. The algorithm for doing so utilizes only first-order reasoning. We give several examples of important reasoning tasks that are facilitated by our approach, including checking for goal impossibility and reasoning about knowledge with partial observability of actions.","doi":null,"url":"https://ijcai.org/proceedings/2007/314","pdf":"https://ijcai.org/proceedings/2007/0314.pdf","markdown":"https://ijcai.org/proceedings/2007/314.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/314","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":314,"pages":{"first":1948,"last":1952},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}