Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains-And A Case Study

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 497-502

  Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CASE-STUDIES; CO-EXISTING; CONTINUOUS DOMAIN; INDIRECT EFFECTS; REASONING ABOUT ACTIONS;

ARTIFICIAL INTELLIGENCE;

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

References (11)

1. Henschel, A., and Thielscher, M. 1999. The LMW traffic world in the fluent calculus. http://www.ida.liu.se/ext/etai/lmw/TRAFFIC/001.
2. Hölldobler, S., and Schneeberger, J. 1990. A new deductive approach to planning. New Generation Computing 8:225-244.
3. 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.
4. Reiter, R. 1996. Natural actions, concurrency and continuous time in the situation calculus. In Aiello, L. C.; Doyle, J.; and Shapiro, S., eds., Proc. of the International Conference on Principles of Knowledge Representation and Reasoning, 2-13. Cambridge, MA: Morgan Kaufmann.
5. Sandewall, E., ed. 1998. Electronic Transactions on Artificial Intelligence 2(3-4). A Collection of Refereed Reference Articles. http://www.ep.liu.se/ej/etai/1998.
6. Sandewall, E. 1999. Logic Modelling Workshop. http://www.ida.liu.se/ext/etai/lmw/.
7. Thielscher, M. 1997. Ramification and causality. Artificial Intelligence 89(1-2):317-364.
8. Thielscher, M. 1999a. Fluent Calculus planning with continuous change. Electronic Transactions on Artificial Intelligence. (Submitted.) http://www.ep.liu.se/ea/cis/1999/011/.
9. Thielscher, M. 1999b. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111(1-2):277-299.
10. Thielscher, M. 2000a. Representing the knowledge of a robot. In Cohn, A.; Giunchiglia, F.; and Selman, B., eds., Proc. of the International Conference on Principles of Knowledge Representation and Reasoning. Breckenridge, CO: Morgan Kaufmann.
11. Thielscher, M. 2000b. Solving the inferential frame problem for concurrent actions. (Submitted.) http://pikas.inf.tu-dresden.de/~mit/publications/conferences/FCconc.ps.