Jorge Lobo, Gisela Mendez, Stuart R. Taylor
We introduce Ak an extension of the action description language A 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.