Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1420-1424.
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.
@inproceedings{ijcai1997p204,
title = {Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change},
author = {Bjäreland, Marcus and 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 = {1420--1424},
year = {1997},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1997/204},
}
TY - CPAPER TI - Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change AU - Bjäreland, Marcus 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 - 1420 EP - 1424 UR - https://ijcai.org/proceedings/1997/204 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
