Knowledge and the Action Description Language A

We introduce A sub (KAPPA), an extension of the action description language A of Gelfond and Lifschitz to handle actions that 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 A sub (KAPPA) domain descriptions into epistemic logic programs.