Adding knowledge to the action description language A
Jorge Lobo, Gisela Méndez, Stuart R. Taylor · National Conference on Artificial Intelligence · 1997
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.