From Causal Theories to Successor State Axioms and STRIPS-Like Systems

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 786-791

  Lin, Fangzhen ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION;

ACTION DESCRIPTION LANGUAGES; ACTION EFFECT; AI PLANNING; CAUSAL THEORY; NONMONOTONIC; PROPOSITIONAL THEORIES; SITUATION CALCULUS; STATE CONSTRAINTS; STRIPS-LIKE SYSTEMS; SYSTEM USE;

FORMAL SPECIFICATION;

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

References (13)

1. M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, http://www.ep.liu.se/ea/cis, Vol 3, nr 016, 1999.
2. A. Gerevini and L. Schubert. Inferring state constraints for domain-independent planning. In Proc. of AAAI'98.
3. H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
4. V. Lifschitz. On the semantics of STRIPS. In Reasoning about Actions and Plans: Proc. of the 1986 Workshop, pages 1-9. Morgan Kauffmann Publishers, Inc., 1986.
5. F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of IJCAI'95, pp 1985-1993.
6. F. Lin. On strongest necessary and weakest sufficient conditions. In Proc. of KR2000.
7. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, (92)1-2:131-167, 1997.
8. N. McCain and H. Turner. Causal theories of action and change. In Proc. of AAAI'97, pp. 460-465.
9. N. McCain and H. Turner. Satisfiability planning with causal theories. In Proc. of KR'98, pp. 212-221.
10. 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.
11. H. Turner. A logic of universal causation. Artificial Intelligence, 1998.
12. D. Wilkins. Practical Planning: Extending the Classical AI Planning Paradigm. Morgan Kaufmann, San Mateo, CA, 1988.
13. Y. Zhang and N. Foo. Deriving invariants and constraints from action theories. Fundamenta Informaticae, 30(1):109-123, 1997.