Knowledge And The Action Description Language A

Simple item page
dc.creatorLobo, Jorge
dc.creatorMendez, Gisela
dc.creatorTaylor, Stuart R.
dc.date2004-04-24
dc.date.accessioned2026-07-07T03:21:09Z
dc.date.available2026-07-07T03:21:09Z
dc.descriptionWe 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.
dc.descriptionAppeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001
dc.identifierhttps://arxiv.org/abs/cs/0404051
dc.identifierhttp://arxiv.org/abs/cs/0404051
dc.identifierTheory and Practice of Logic Programming, vol. 1, no. 2, 2001
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32088
dc.subjectArtificial Intelligence
dc.subjectD.1.6; D.3.2
dc.titleKnowledge And The Action Description Language A
dc.typetext

Files

Collections

arXiv