Adding Knowledge to the Action Description Language A

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.