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

Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Research output: Contribution to journalConference article

41 Scopus citations

Abstract

The work described in this report is motivated by the desire to test the expressive possibilities of action language script C sign + . 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 Traffic 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 Traffic 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.

Original languageEnglish (US)
Pages (from-to)105-140
Number of pages36
JournalArtificial Intelligence
Volume153
Issue number1-2
DOIs
StatePublished - Mar 1 2004
Externally publishedYes
EventLogical Formalizations and Commonsense Reasoning - New York, NY, United States
Duration: May 1 2001May 1 2001

Keywords

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

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Representing the Zoo World and the Traffic World in the language of the Causal Calculator'. Together they form a unique fingerprint.

  • Cite this