A First-Order Interpreter for Knowledge-Based Golog with Sensing Based on Exact Progression and Limited Reasoning

Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012

Volumn , Issue , 2012, Pages 734-742

  Fan, Yi ^a   Cai, Minghui ^a   Li, Naiqi ^a   Liu, Yongmei ^a  

^a SUN YAT SEN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM INTERPRETERS;

'CURRENT; CLOSED-WORLD ASSUMPTIONS; CLOSURE ASSUMPTIONS; CONDITIONAL PLANS; FIRST ORDER; KNOWLEDGE BASED; OFFLINE; REASONING ALGORITHMS; SEARCH OPERATORS; SITUATION CALCULUS;

KNOWLEDGE REPRESENTATION;

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

References (14)

1. Baier, J. A.; Fritz, C.; and McIlraith, S. A. 2007. Exploiting procedural domain control knowledge in state-of-the-art planners. In Proc. ICAPS-07, 26-33.
2. Claßen, J., and Lakemeyer, G. 2009. Tractable first-order golog with disjunctive knowledge bases. In Proc. Commonsense 2009.
3. De Giacomo, G.; Lespérance, Y.; and Levesque, H. J. 2000. Con-golog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2):109-169.
4. De Giacomo, G.; Levesque, H. J.; and Sardiña, S. 2001. Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4):495-525.
5. Hoffmann, J., and Nebel, B. 2001. The FF planning system: Fast plan generation through heuristic search. J. Artif. Intell. Res. 14:253-302.
6. Lakemeyer, G. 1999. On sensing and off-line interpreting in Golog. In Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter.
7. Lin, F., and Reiter, R. 1994. Forget it! In Working Notes of AAAI Fall Symposium on Relevance.
8. Lin, F., and Reiter, R. 1997. How to progress a database. Artificial Intelligence 92(1-2):131-167.
9. Liu, Y., and Lakemeyer, G. 2009. On first-order definability and computability of progression for local-effect actions and beyond. In Proc. IJCAI-09.
10. Liu, Y.; Lakemeyer, G.; and Levesque, H. J. 2004. A logic of limited belief for reasoning with disjunctive information. In Proc. KR-04, 587-597.
11. Petrick, R. P. A., and Bacchus, F. 2002. A knowledge-based approach to planning with incomplete information and sensing. In Proc. AIPS-02, 212-221.
12. Reiter, R. 2001a. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
13. Reiter, R. 2001b. On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Log. 2(4):433-457.
14. Sardina, S. 2001. Local conditional high-level robot programs. In Proc. LPAR-01.