Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 522-527

  Liu, Yongmei ^a   Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION SEQUENCES; CONTEXT DEPENDENT; FIRST-ORDER; KNOWLEDGE BASE; NORMAL FORM; REASONING PROBLEMS; SEQUENCE OF ACTIONS; TRACTABLE REASONING;

ARTIFICIAL INTELLIGENCE; KNOWLEDGE BASED SYSTEMS;

QUERY PROCESSING;

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

References (14)

1. E. Amir and S. Russell. Logical filtering. In Proc. IJCAI-03, pages 75-82, 2003.
2. R. Brafman and J. Hoffmann. Conformant planning via heuristic forward search. In Proc. ICAPS-04, pages 355-364, 2004.
3. A. Cimatti and M. Roveri. Conformant planning via symbolic model checking. Journal of Artificial Intelligence Research, 13:305-338, 2000. (Pubitemid 33682088)
4. G. De Giacomo and H. J. Levesque. Projection using regression and sensors. In Proc. IJCAI-99, pages 160-165, 1999.
5. G. De Giacomo and T. Mancini. Scaling up reasoning about actions using relational database technology. In Proc. AAAI- 04, pages 245-250, 2004.
6. H. J. Levesque, R. Reiter, Y. Lespérance,F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. J. of Logic Programming, 31:59-84, 1997.
7. H. J. Levesque. A completeness result for reasoning with incomplete first-order knowledge bases. In Proc. KR-98, pages 14-23, 1998.
8. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997. (Pubitemid 127414142)
9. Y. Liu and H. J. Levesque. A tractability result for reasoning with incomplete first-order knowledge bases. In Proc. IJCAI-03, pages 83-88, 2003.
10. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, pages 463-502. 1969.
11. R. Petrick and F. Bacchus. A knowledge-based approach to planning with incomplete information and sensing. In Proc. AIPS-02, pages 212-222, 2002.
12. R. Petrick and H. J. Levesque. Knowledge equivalence in combined action theories. In Proc. KR- 02, pages 303-314, 2002.
13. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
14. T. C. Son and C. Baral. Formalizing sensing actions - A transition function based approach. Artificial Intelligence, 125(1-2):19-91, 2001. (Pubitemid 32130119)