Adding Knowledge to the Action Description Language A

We introduce dk 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-determinis tic 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 dk to epistemic logic programs.

Authors

• Jorge Lobo

Keywords

No keywords are indexed for this paper.