Projection Using Regression and Sensors
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 160-164.
Abstract
In this paper, we consider the projection task (determining what does or does not hold after performing a sequence of actions) in a general setting where a solution to the frame problem may or may not be available, and where online information from sensors may or may not be applicable. We formally characterize the projection task for actions theories of this sort, and show how a generalized form of regression produces correct answers whenever it can be used. We characterize conditions on action theories, sequences of actions, and sensing information that are sufficient to guarantee that regression can be used, and present a provably correct regressionbased procedure in Prolog for performing the task under these conditions.
@inproceedings{ijcai1999p24,
title = {Projection Using Regression and Sensors},
author = {De Giacomo, Giuseppe and Levesque, Hector J.},
booktitle = {Proceedings of the Sixteenth International Joint Conference on
Artificial Intelligence, {IJCAI-99}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Thomas Dean},
pages = {160--164},
year = {1999},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1999/24},
}
TY - CPAPER TI - Projection Using Regression and Sensors AU - De Giacomo, Giuseppe AU - Levesque, Hector J. T2 - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99 PB - International Joint Conferences on Artificial Intelligence PY - 1999 SP - 160 EP - 164 UR - https://ijcai.org/proceedings/1999/24 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
