The Semantics of Variables in Action Descriptions
Abstract
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification prob-lem. 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+.
Cite
Text
Lifschitz and Ren. "The Semantics of Variables in Action Descriptions." AAAI Conference on Artificial Intelligence, 2007.Markdown
[Lifschitz and Ren. "The Semantics of Variables in Action Descriptions." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/lifschitz2007aaai-semantics/)BibTeX
@inproceedings{lifschitz2007aaai-semantics,
title = {{The Semantics of Variables in Action Descriptions}},
author = {Lifschitz, Vladimir and Ren, Wanwan},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2007},
pages = {1025-1030},
url = {https://mlanthology.org/aaai/2007/lifschitz2007aaai-semantics/}
}