Knowledge And The Action Description Language A

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

Keywords

Artificial Intelligence, D.1.6; D.3.2

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/32088

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0404051
 http://arxiv.org/abs/cs/0404051
 Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

Collections

arXiv