Knowledge And The Action Description Language A
Artificial Intelligence
2007-05-23 v1
Abstract
We introduce Ak, an extension of the action description language A (Gelfond and Lifschitz, 1993) to handle actions which affect knowledge. We use sensing actions to increase an agent's knowledge of the world and non-deterministic actions to remove knowledge. We include complex plans involving conditionals and loops in our query language for hypothetical reasoning. We also present a translation of Ak domain descriptions into epistemic logic programs.
Cite
@article{arxiv.cs/0404051,
title = {Knowledge And The Action Description Language A},
author = {Jorge Lobo and Gisela Mendez and Stuart R. Taylor},
journal= {arXiv preprint arXiv:cs/0404051},
year = {2007}
}
Comments
Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001