Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Planning and Scheduling. Pages 1221-1225.
Abstract
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus.
@inproceedings{ijcai1997p176,
title = {Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus},
author = {De Giacomo, Giuseppe and Lespérance, Yves and Levesque, Hector J.},
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 = {1221--1225},
year = {1997},
note = {Planning and Scheduling},
url = {https://ijcai.org/proceedings/1997/176},
}
TY - CPAPER TI - Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus AU - De Giacomo, Giuseppe AU - Lespérance, Yves AU - Levesque, Hector J. T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1221 EP - 1225 UR - https://ijcai.org/proceedings/1997/176 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
