Applications of the Situation Calculus to Formalizing Control and Strategy Information: The Prolog Cut Operator
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, and that according to this semantics, the conventional implementation of the negation-as-failure operator using cut is provably correct with respect to the stable model semantics.
Cite
Text
Lin. "Applications of the Situation Calculus to Formalizing Control and Strategy Information: The Prolog Cut Operator." International Joint Conference on Artificial Intelligence, 1997. doi:10.1016/S0004-3702(98)00054-XMarkdown
[Lin. "Applications of the Situation Calculus to Formalizing Control and Strategy Information: The Prolog Cut Operator." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/lin1997ijcai-applications/) doi:10.1016/S0004-3702(98)00054-XBibTeX
@inproceedings{lin1997ijcai-applications,
title = {{Applications of the Situation Calculus to Formalizing Control and Strategy Information: The Prolog Cut Operator}},
author = {Lin, Fangzhen},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {1412-1419},
doi = {10.1016/S0004-3702(98)00054-X},
url = {https://mlanthology.org/ijcai/1997/lin1997ijcai-applications/}
}