Reconciling situation calculus and fluent calculus

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2006, Pages 287-292

  Schiffel, Stephan ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION PRINCIPLES; DOMAIN AXIOMATIZATIONS; FLUENT CALCULUS; SITUATION CALCULUS;

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

ARTIFICIAL INTELLIGENCE;

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

References (14)

1. Giacomo, G. D., and Levesque, H. 1999. An incremental interpreter for high-level programs with sensing. In Levesque, H., and Pirri, F., eds., Logical Foundations for Cognitive Agents. Springer. 86-102.
2. Giacomo, G. D.; Lespérance, Y.; and Levesque, H. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2): 109-169.
3. Levesque, H.; Reiter, R.; Lespérance, Y.; Lin, F.; and Scherl, R. 1997. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31 (1-3):59-83.
4. Lin, F., and Reiter, R. 1997. How to progress a database. Artificial Intelligence 92:131-167.
5. McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4:463-502.
6. McCarthy, J. 1963. Situations and Actions and Causal Laws. Stanford University, CA: Stanford Artificial Intelligence Project, Memo 2.
7. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed., Artificial Intelligence and Mathematical Theory of Computation. Academic Press. 359-380.
8. Reiter, R. 2001a. On knowledge-based programming with sensing in the situation calculus. ACM Transactions on Computational Logic 2(4):433-457.
9. Reiter, R. 2001b. Knowledge in Action. MIT Press.
10. Sardina, S., and Vassos, S. 2005. The Wumpus World in INDIGOLOG: A Preliminary Report. The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change at IJCAI.
11. Thielscher, M. 1999. From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111(1-2):277-299.
12. Thielscher, M. 2003. Controlling semi-automatic systems with FLUX. (Extended abstract). In Palamidessi, C., ed., Proceedings of the International Conference on Logic Programming (ICLP), volume 2916 of LNCS, 515-516. Mumbay, India: Springer.
13. Thielscher, M. 2005a. FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5(4-5):533-565.
14. Thielscher, M. 2005b. Reasoning Robots: The Art and Science of Programming Robotic Agents, volume 33 of Applied Logic Series. Kluwer.