UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Representing the Zoo World and the Traffic World in the language of the Causal Calculator (2004)
Varol Akman,
Selim T. Erdoğan
,
Joohyung Lee
,
Vladimir Lifschitz
and
Hudson Turner
he work described in this report is motivated by the desire to test the expressive possibilities of action language C . The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Tra? World have been proposed by Erik Sandewall in his Logic Modelling Workshop an environment for communicating axiomatizations of action domains of nontrivial size. The Zoo World consists of several cages and the exterior, gates between them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Tra? World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations.
View:
PS
Citation:
Artificial Intelligence
, Vol. 153(1--2) (2004), pp. 105-140.
Bibtex:
@article{akm04, title={Representing the Zoo World and the Traffic World in the language of the Causal Calculator}, author={Varol Akman and Selim T. Erdoğan, Joohyung Lee and Vladimir Lifschitz and Hudson Turner}, volume={153(1--2)}, journal={Artificial Intelligence}, pages={105-140}, url="http://www.cs.utexas.edu/users/ai-lab?akm04", year={2004} }
People
Selim T. Erdoğan
Ph.D. Alumni
selim [at] cs utexas edu
Joohyung Lee
Ph.D. Alumni
joolee [at] asu edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Hudson Turner
Ph.D. Alumni
hudson [at] d umn edu
Areas of Interest
Action Languages
Automated Reasoning
Common Sense Reasoning
Nonmonotonic Reasoning
Reasoning about Actions