Deriving invariants and constraints from action theories

Fundamenta Informaticae

Volumn 30, Issue 1, 1997, Pages 109-123

  Zhang, Yan ^a   Foo, Norman Y ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Knowledge representation; Logics for artificial intelligence; Reasoning about action

Indexed keywords

ACTION SPECIFICATIONS; STATE CONSTRAINTS;

CONSTRAINT THEORY; FORMAL LOGIC; INVARIANCE;

KNOWLEDGE REPRESENTATION;

EID: 0031121174     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1997-30108     Document Type: Article

References (15)

1. del Val, A. and Shoham, Y.: "Deriving properties of belief update from theories of action". Proceedings of Thirteenth International Joint Conference on Artificial Intelligence, pages 732-737, Morgan Kaufmann Publishers, Inc., Chembary, 1993, 732-737.
2. Fikes, R. and Nilsson, N.: "STRIPS: A new approach to the application of theorem proving to problem solving". Artificial Intelligence, Vol (2), 1971, 189-208.
3. Ginsberg, M.L. and Smith, D.E.: "Reasoning about action I: A possible worlds approach". Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, Morgan Kaufmann Publisher, Inc., 1987, 233-258.
4. Lifschitz, V.: "Computing circumscription". Proceedings of IJCAI-85, Morgan Kaufmann Publisher, Inc., 1985, 121-127.
5. McCarthy, J. and Hayes, P.J.: "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence, Vol (4), 1969, 463-502.
6. Pednault, E.P.D.: "ADL: Exploring the middle ground between STRIPS and the situation calculus". Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), Morgan Kaufmann Publisher, Inc., 1989, 324-332.
7. Reiter, R.: "Equality and domain closure in first-order databases". Journal of the Associate for Computing Machinery, Vol (27), 1980, 235-247.
8. Reiter, R.: "The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression". Artificial Intelligence and Mathematical Theory of Computation, V. Lifschitz (ed.), Academic Press, Inc., 1991, 359-380.
9. Reiter, R.: "On specifying database updates". KRR-TR-92-3, University of Toronto, July, 1992.
10. Reiter, R.: "Proving properties of states in the situation calculus". Artificial Intelligence, Vol (64), 1993, 337-351.
11. Schubert, L.K.: "Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions". In H.E. Kyberg, R.P. Loui, and G. N. Carlson, editors, "Knowledge Representation and Defeasible reasoning", H.E. Kyberg, R.P. Loui, and G.N. Carlson (ed.), Kluwer Academic Press, 1990, 23-67.
12. Winslett, M.: "Reasoning about action using a possible models approach". Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-88), Morgan Kaufmann Publisher, Inc., 1988, 89-93.
13. Zhang, Y. and Foo, N.Y.: "Reasoning about persistence: a theory of actions". Proceedings of Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), Morgan Kaufmann Publishers, Inc., 1993, 718-723.
14. Zhang, Y. and Foo, N.Y.: "Applying the persistent set approach in temporal reasoning". Annals of Mathematics and Artificial Intelligence, Vol (14), 1995, 75-98.
15. Zhang, Y.: "On prepositional knowledge base updates". Australian Journal of Intelligent Information Processing Systems, Vol (2), 1995, 28-37.