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

doi:10.1016/j.artint.2003.08.002

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

Computer Science (Duluth)

Research output: Contribution to journal › Conference article › peer-review

42 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 language	English (US)
Pages (from-to)	105-140
Number of pages	36
Journal	Artificial Intelligence
Volume	153
Issue number	1-2
DOIs	https://doi.org/10.1016/j.artint.2003.08.002
State	Published - Mar 2004
Event	Logical Formalizations and Commonsense Reasoning - New York, NY, United States Duration: May 1 2001 → May 1 2001

Bibliographical note

Funding Information:
0322-2001. Hudson Turner was partially supported by the National Science Foundation under CAREER Grant 0091773.

Funding Information:
A logic program related to the Zoo World was written by several members of Texas Action Group in September of 1999,7 and discussing that program with Michael Gelfond helped us in our work on this paper in many ways. Varol Akman was partially supported by TÜB˙TAK-NSF under Grant 101E024. Selim Erdog˘an, Joohyung Lee and Vladimir Lifschitz were partially supported by the National Science Foundation under Grant IIS-9732744 and by the Texas Higher Education Coordinating Board under Grant 003658-

Keywords

Action languages
Commonsense reasoning
Knowledge representation
Reasoning about actions

Access

10.1016/j.artint.2003.08.002

OpenUrl availability

Full text

Cite this

@article{84313d43365d42798ec3439cb9c4924b,

title = "Representing the Zoo World and the Traffic World in the language of the Causal Calculator",

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.",

keywords = "Action languages, Commonsense reasoning, Knowledge representation, Reasoning about actions",

author = "Varol Akman and Erdogan, {Selim T.} and Joohyung Lee and Vladimir Lifschitz and Hudson Turner",

note = "Funding Information: 0322-2001. Hudson Turner was partially supported by the National Science Foundation under CAREER Grant 0091773. Funding Information: A logic program related to the Zoo World was written by several members of Texas Action Group in September of 1999,7 and discussing that program with Michael Gelfond helped us in our work on this paper in many ways. Varol Akman was partially supported by T{\"U}B˙TAK-NSF under Grant 101E024. Selim Erdog˘an, Joohyung Lee and Vladimir Lifschitz were partially supported by the National Science Foundation under Grant IIS-9732744 and by the Texas Higher Education Coordinating Board under Grant 003658-; Logical Formalizations and Commonsense Reasoning ; Conference date: 01-05-2001 Through 01-05-2001",

year = "2004",

month = mar,

doi = "10.1016/j.artint.2003.08.002",

language = "English (US)",

volume = "153",

pages = "105--140",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Elsevier",

number = "1-2",

}

TY - JOUR

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

AU - Akman, Varol

AU - Erdogan, Selim T.

AU - Lee, Joohyung

AU - Lifschitz, Vladimir

AU - Turner, Hudson

N1 - Funding Information: 0322-2001. Hudson Turner was partially supported by the National Science Foundation under CAREER Grant 0091773. Funding Information: A logic program related to the Zoo World was written by several members of Texas Action Group in September of 1999,7 and discussing that program with Michael Gelfond helped us in our work on this paper in many ways. Varol Akman was partially supported by TÜB˙TAK-NSF under Grant 101E024. Selim Erdog˘an, Joohyung Lee and Vladimir Lifschitz were partially supported by the National Science Foundation under Grant IIS-9732744 and by the Texas Higher Education Coordinating Board under Grant 003658-

PY - 2004/3

Y1 - 2004/3

N2 - 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.

AB - 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.

KW - Action languages

KW - Commonsense reasoning

KW - Knowledge representation

KW - Reasoning about actions

UR - http://www.scopus.com/inward/record.url?scp=1642443535&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=1642443535&partnerID=8YFLogxK

U2 - 10.1016/j.artint.2003.08.002

DO - 10.1016/j.artint.2003.08.002

M3 - Conference article

AN - SCOPUS:1642443535

SN - 0004-3702

VL - 153

SP - 105

EP - 140

JO - Artificial Intelligence

JF - Artificial Intelligence

IS - 1-2

T2 - Logical Formalizations and Commonsense Reasoning

Y2 - 1 May 2001 through 1 May 2001

ER -

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

Abstract

Bibliographical note

Keywords

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this