Representing the Zoo World and the Traffic World in the language of the Causal Calculator

Artificial Intelligence

Volumn 153, Issue 1-2, 2004, Pages 105-140

  Akman, Varol ^a   Erdogan, Selim T ^b   Lee, Joohyung ^b   Lifschitz, Vladimir ^b   Turner, Hudson ^c  

^a BILKENT UNIVERSITY   (Turkey)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c UNIVERSITY OF MINNESOTA DULUTH   (United States)

Author keywords

Action languages; Commonsense reasoning; Knowledge representation; Reasoning about actions

Indexed keywords

ACCIDENT PREVENTION; FORMAL LANGUAGES; HIGHWAY ACCIDENTS; HIGHWAY TRAFFIC CONTROL; PROBLEM SOLVING; SEMANTICS;

ACTION LANGUAGES; COMMONSENSE REASONING; REASONING ABOUT ACTIONS;

KNOWLEDGE REPRESENTATION;

EID: 1642443535     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.08.002     Document Type: Conference Paper

References (13)

1. Artikis A., Sergot M., Pitt J. Specifying electronic societies with the Causal Calculator. Giunchiglia F., Odell J., Weiss G. Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE). Lecture Notes in Comput. Sci. vol. 2585:2003;Springer, Berlin.
2. Campbell J., Lifschitz V. Reinforcing a claim in commonsense reasoning. Working Notes of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning. 2003; http://www.cs.utexas.edu/users/vl/papers/sams.ps.
3. S.T. Erdogan, Formalization of the TRAFFIC world in the script C sign action language, Master's Thesis, Bilkent University, 2000, http://www.cs.utexas.edu/users/selim/publications/tezdeneme.ps.gz.
4. Fikes R., Nilsson N. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence. 2:(3-4):1971;189-208.
5. Giunchiglia E., Lifschitz V. An action language based on causal explanation: Preliminary report. Proc. AAAI-98, Madison, WI. 1998;623-630 AAAI Press.
6. Giunchiglia E., Lee J., Lifschitz V., McCain N., Turner H. Nonmonotonic causal theories. Artificial Intelligence. 2004;. this issue doi: 10.1016/j.artint.2002.12.001 http://www.cs.utexas.edu/users/vl/papers/nmct.ps.
7. Henschel A., Thielscher M. The LMW Traffic world in the fluent calculus. Linköping Electronic Articles in Computer and Information Science. 5:(014):2000; http://www.ep.liu.se/ea/cis/2000/014/.
8. Lee J., Lifschitz V. Describing additive fluents in action language script C sign +. Proc. IJCAI-03, Acapulco, Mexico. 2003;1079-1084 Morgan Kaufmann, San Francisco, CA, http://www.cs.utexas.edu/users/vl/papers/additive-ijcai.ps.
9. Lifschitz V., McCain N., Remolina E., Tacchella A. Getting to the airport: The oldest planning problem in AI. Minker J. Logic-Based Artificial Intelligence. 2000;147-165 Kluwer, Dordrecht.
10. Lifschitz V. Missionaries and cannibals in the Causal Calculator. Principles of Knowledge Representation and Reasoning: Proc. Seventh Internat. Conf., Breckenridge, CO. 2000;85-96.
11. N. McCain, Causality in commonsense reasoning about actions, PhD Thesis, University of Texas at Austin, 1997, ftp://ftp.cs.utexas.edu/pub/techreports/tr97-25.ps.Z.
12. Pednault E. ADL and the state-transition model of action. J. Logic Comput. 4:1994;467-512.
13. Thielscher M. Introduction to the fluent calculus. Electronic Trans. AI. 3:1998; http://www.ep.liu.se/ea/cis/1998/014/.