ML Anthology

Adding Knowledge to the Action Description Language a

Jorge Lobo, Gisela Mendez, Stuart R. Taylor
AAAI 1997 pp. 454-459
/aaai/1997/lobo1997aaai-adding/

Abstract

We introduce Ak an extension of the action description language A (Gelfond & 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. Finally, we present a translation of descriptions in Ak to epistemic logic programs.

PDF AAAI Semantic Scholar

Cite

Text

Lobo et al. "Adding Knowledge to the Action Description Language a." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Lobo et al. "Adding Knowledge to the Action Description Language a." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/lobo1997aaai-adding/)

BibTeX

@inproceedings{lobo1997aaai-adding,
  title     = {{Adding Knowledge to the Action Description Language a}},
  author    = {Lobo, Jorge and Mendez, Gisela and Taylor, Stuart R.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {454-459},
  url       = {https://mlanthology.org/aaai/1997/lobo1997aaai-adding/}
}