{"type":"ScholarlyArticle","title":"Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change","authors":[{"name":"Marcus Bjäreland","slug":"marcus-bjareland","given":"Marcus","family":"Bjäreland","affiliation":""},{"name":"Lars Karlsson","slug":"lars-karlsson","given":"Lars","family":"Karlsson","affiliation":""}],"abstract":"In this paper we introduce regression-based pre- and postdiction procedures for PMON, a nonmonotonic logic for action and change with explicit time. We also provide an in depth analysis of problems with regression that occur when nondeterministic actions are introduced. We do this by employing Dijkstra's weakest liberal precondition operator , wlp. The presented work is related to recent work by Lin in the situation calculus, and we identify and deal with three problems with his approach. Our conjecture is that our approach can be mapped back to the situation calculus.","doi":null,"url":"https://ijcai.org/proceedings/1997/204","pdf":"https://ijcai.org/proceedings/1997/0204.pdf","markdown":"https://ijcai.org/proceedings/1997/204.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/204","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":204,"pages":{"first":1420,"last":1424},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}