UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Variables in Action Descriptions: Merging C+ with ADL (2007)
Vladimir Lifschitz
and
Wanwan Ren
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logic, while C+ is only propositional; expressions with variables, which are frequently used when action domains are described in C+, are merely schemas describing finite sets of causal laws that are formed according to the same pattern. In this paper we propose a new approach to the semantics of action descriptions with variables that combines attractive features of ADL and C+.
View:
PS
Citation:
In
Working Notes of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (as part of the AAAI Spring Symposium Series)
, pp. 83--88 2007.
Bibtex:
@inproceedings{lifschitz:aaai-sss07, title={Variables in Action Descriptions: Merging C+ with ADL}, author={Vladimir Lifschitz and Wanwan Ren}, booktitle={Working Notes of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (as part of the AAAI Spring Symposium Series)}, pages={83--88}, url="http://www.cs.utexas.edu/users/ai-lab?lifschitz:aaai-sss07", year={2007} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Wanwan Ren
Ph.D. Alumni
wanwanren [at] gmail com
Areas of Interest
Action Languages