Applications of the situation calculus to formalizing control and strategic information: The prolog cut operator

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1997, Pages 1412-1418

  Lin, Fangzhen ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

CUT OPERATORS; NEGATION-AS-FAILURE; SEARCH CONTROL; SITUATION CALCULUS; STABLE MODEL SEMANTICS;

ARTIFICIAL INTELLIGENCE; CALCULATIONS; SEMANTICS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0043159619     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. J. Andrews. A paralogical semantics for the prolog cut. In Proc. of Int. Logic Programming Symposium, pages 591-605, 1995.
2. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. Fifth International Conference and Symposium on Logic Programming, pages 1070-1080, 1988.
3. C. C. Green. Application of theorem proving to problem solving. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-69), pages 219-239, 1969.
4. F. Lin. An ordering on subgoals for planning. Annals of Mathematics and Artificial Intelligence. Special issue in honor of Professor Michael Gelfond, To appear. http://www.cs.ust.hk/~flin.
5. F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(5):655-678, 1994.
6. F. Lin and R. Reiter. Rules as actions: A situation calculus semantics for logic programs. J. of Logic Programming, To appear. http://www.cs.toronto. edu/~cogrobo/.
7. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Edinburgh, 1969.
8. R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 418-420. Academic Press, San Diego, CA, 1991.
9. K. Stroetmann and T. Glab. A declarative semantics for the prolog cut operator. In Proc. of 5th Int. Workshop on Extensions of Logic Programming, pages 255-271, 1996.
10. M. G. Wallace. Tight, consistent, and computable completions for unrestricted logic programs. Journal of Logic Programming, 15:243-273, 1993.