Sciweavers

AI
1998
Springer

Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator

13 years 3 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
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 wellbehaved when the programs are properly strati ed, 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.
Fangzhen Lin
Added 21 Dec 2010
Updated 21 Dec 2010
Type Journal
Year 1998
Where AI
Authors Fangzhen Lin
Comments (0)