Show simple item record

dc.contributor.authorAkman, V.en_US
dc.contributor.authorErdoğan, S. T.en_US
dc.contributor.authorLee, J.en_US
dc.contributor.authorLifschitz, V.en_US
dc.contributor.authorTurner, H.en_US
dc.date.accessioned2015-07-28T11:57:17Z
dc.date.available2015-07-28T11:57:17Zen_US
dc.date.issued2004-03en_US
dc.identifier.issn0004-3702
dc.identifier.issn1872-7921
dc.identifier.urihttp://hdl.handle.net/11693/11269
dc.description.abstractThe 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 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.(C)2003 Elsevier B.V. All rights reserved.en_US
dc.language.isoEnglishen_US
dc.source.titleArtificial Intelligenceen_US
dc.relation.isversionofhttp://dx.doi.org/10.1016/j.artint.2003.08.002en_US
dc.subjectReasoning About Actionsen_US
dc.subjectCommonsense Reasoningen_US
dc.subjectKnowledge Representationen_US
dc.subjectAction Languagesen_US
dc.titleRepresenting the Zoo World and the Traffic World in the language of the Causal Calculatoren_US
dc.typeArticleen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage105en_US
dc.citation.epage140en_US
dc.citation.volumeNumber153en_US
dc.citation.issueNumber1-2en_US
dc.identifier.doi10.1016/j.artint.2003.08.002en_US
dc.publisherElsevieren_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record