On first-order definability and computability of progression for local-effect actions and beyond

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 860-866

  Liu, Yongmei ^a   Lakemeyer, Gerhard ^b  

^a SUN YAT SEN UNIVERSITY   (China)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

BASIC ACTIONS; FIRST ORDER DEFINABILITY; FIRST-ORDER; FIRST-ORDER REPRESENTATION; KNOWLEDGE BASIS; LOCAL EFFECTS; NON-LOCAL EFFECT; SITUATION CALCULUS;

COMPUTABILITY AND DECIDABILITY;

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

References (13)

1. P. Doherty, W. Lukaszewicz, and A. Szalas. Computing strongest necessary and weakest sufficient conditions of first-order formulas. In Proc. IJCAI-01, 2001.
2. M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2-4):301-323, 1993.
3. G. Lakemeyer and H. J. Levesque. Evaluation-based reasoning with disjunctive information in first-order knowledge bases. In Proc. KR, 2002.
4. 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.
5. H. J. Levesque. A completeness result for reasoning with incomplete first-order knowledge bases. In Proc. KR-98, 1998.
6. F. Lin and R. Reiter. Forget it! In Working Notes of AAAI Fall Symposium on Relevance, 1994.
7. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997.
8. Y. Liu and H. J. Levesque. Tractable reasoning in first-order knowledge bases with disjunctive information. In Proc. AAAI-05, 2005.
9. Y. Liu, G. Lakemeyer, and H. J. Levesque. A logic of limited belief for reasoning with disjunctive information. In Proc. KR-04, 2004.
10. A. Nonnengart, H. J. Ohlbach, and A. Szalas. Elimination of predicate quantifiers. In Logic, Language and Reasoning, Part I, pages 159-181. 1999.
11. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. 2001.
12. S. Vassos and H. J. Levesque. On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture. In Proc. AAAI-08, 2008.
13. S. Vassos, G. Lakemeyer, and H. J. Levesque. First-order strong progression for local-effect basic action theories. In Proc. KR-08, 2008.