UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Why the Monkey Needs the Box: a Serious Look at a Toy Domain (2007)
Selim T. Erdoğan
,
Paolo Ferraris
,
Vladimir Lifschitz
and
Wanwan Ren
"Toy worlds" involving actions, such as the Blocks World and the Monkey and Bananas domain, are often used by researchers in the areas of common-sense reasoning and planning to illustrate and test their ideas. Many of the axioms found in descriptions of these toy worlds are expressions of general-purpose knowledge, though they are often cast in a form only useful for solving one specific problem and are not faithful representations of general facts that can be used in other domains. Instead of using such domain-specific axioms for each problem, we are building a general-purpose library of action descriptions which can be referred to in descriptions of many action domains. The library is being written in the modular action description language MAD, an extension of the action language C . In this paper we present an initial version of some of our library modules, along with a new formalization of the Monkey and Bananas domain that uses the library. Most of the axioms in this formalization come from the library, with only a few domain-specific axioms needed.
View:
PS
Citation:
In
Working Notes of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07)
, pp. 57--63 2007.
Bibtex:
@inproceedings{erdogan:nrac07, title={Why the Monkey Needs the Box: a Serious Look at a Toy Domain}, author={Selim T. Erdoğan, Paolo Ferraris and Vladimir Lifschitz and Wanwan Ren}, booktitle={Working Notes of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07)}, pages={57--63}, url="http://www.cs.utexas.edu/users/ai-lab?erdogan:nrac07", year={2007} }
People
Selim T. Erdoğan
Ph.D. Alumni
selim [at] cs utexas edu
Paolo Ferraris
Ph.D. Alumni
pieffe8 [at] gmail com
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Wanwan Ren
Ph.D. Alumni
wanwanren [at] gmail com
Areas of Interest
Logic