Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1412-1418.
Abstract
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a situation calculus semantics for the Prolog cut operator, the central search control operator in Prolog. We show that our semantics is well-behaved when the programs are properly stratified. We also show that according to this semantics, the conventional implementation of the negationas-failure operator using cut is provably correct with respect to the stable model semantics.
@inproceedings{ijcai1997p203,
title = {Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator},
author = {Lin, Fangzhen},
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 = {1412--1418},
year = {1997},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1997/203},
}
TY - CPAPER TI - Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator AU - Lin, Fangzhen T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1412 EP - 1418 UR - https://ijcai.org/proceedings/1997/203 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
