Discovering State Invariants

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 536-544

  Lin, Fangzhen ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

ACTION THEORY; AI PLANNING; DEPENDENCY CONSTRAINTS; FINITE DOMAINS; FINITE NUMBER; FUNCTIONAL DEPENDENCY; PATTERN DISCOVERY; PLANNING DOMAINS; STATE INVARIANTS; TYPE INFORMATION;

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

References (11)

1. Bacchus, F. Fall 2001. AIPS'00 planning competition. AI Magazine 22(3):47-56. See also http://www.cs.toronto.edu/aips2000.
2. Fikes, R. E., and Nilsson, N. J. 1971. STRIPS: A new approach to theorem proving in problem solving. Artificial Intelligence 2:189-208.
3. Fox, M., and Long, D. 1998. The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research 9:367-421.
4. Gerevini, A., and Schubert, L. 1998. Inferring state constraints for domain-independent planning. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98), AAAI Press, Menlo Park, CA., 905-912.
5. Gerevini, A., and Schubert, L. 2000. Discovering state constraints in DISCOPLAN: Some new results. In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2000), AAAI Press, Menlo Park, CA., 761-767.
6. Lin, F. 1995. Embracing causality in specifying the indirect effects of actions. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA., 1985-1993.
7. Lin, F. 2003. Compiling causal theories to successor state axioms and STRIPS-like systems. Journal of Artificial Intelligence Research 19:279-314.
8. McCarthy, J., and Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
9. McDermott, D. et al. 1998. PDDL - the planning domain definition language. Technical Report TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.
10. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
11. Zhang, Y., and Foo, N. 1997. Deriving invariants and constraints from action theories. Fundamenta Informaticae 30(1):109-123.