Knowledge And The Action Description Language A

TL;DR

This paper introduces Ak, an extension of the action description language A, enabling agents to model knowledge changes through sensing and non-deterministic actions, with support for complex plans and translation to epistemic logic programs.

Contribution

Ak extends language A to handle knowledge-modifying actions, complex plans, and provides a translation into epistemic logic programs, advancing reasoning about knowledge in AI.

Findings

Supports sensing actions to increase knowledge

Handles non-deterministic actions to reduce knowledge

Includes complex plans with conditionals and loops

Abstract

We introduce Ak, an extension of the action description language A (Gelfond and 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. We also present a translation of Ak domain descriptions into epistemic logic programs.