Knowledge And The Action Description Language A

2004/04/24 by Jorge Lobo, Gisela Mendez, Stuart R. Taylor
Computer Science · #cs.AI

paper · pdf

published as Theory and Practice of Logic Programming, vol. 1, no. 2, 2001 · Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

arxiv created 2004/04/24 · arxiv updated 2009/12/01

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.

Related

• An Action Language for Multi-Agent Domains: Foundations
• A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
• Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
• A composable language for action models
• Epistemic Learning Programs A Calculus for Describing Epistemic Action Models