Knowledge And The Action Description Language A
Jorge Lobo, Gisela Mendez, Stuart R. Taylor
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.
Create a lesson
Related papers
PopGen: Generating Semantically Diverse Populations for Zero-Shot Coordination
Paul Teiletche, Kanghyun Ryu, Kyungjoon Park et al.
Small but Mighty: Test Suites as Improvement Signals for Self-Evolving Agents
Yutong Cheng, Wei Cheng, Wenchao Yu et al.
ADAPT: Audio-Depth Action Planning with Transition-Aware Rewards for Lights-Out Industrial Navigation
Wenjun Huang, Shenghao Fu, Yian Jin et al.
Vision: "What Don't I Know About User's Preferences?" How Uncertainty Estimation Improves Proactive Assistant Alignment
Zhiyu An, Ziyi Xuan, Yu Yang et al.
The Anatomy of a Blind Spot: What an LLM Judge Must Be Shown, and How Much
Nitish Kumar, Prateik Pothuneedi, Greg Bandak
Multi-Horizon Explainable Queue Forecasting and Resource-Aware Decision Support for Intelligent Border Control Using LightGBM
Varvara Mama, Fani D. Christidi, Nikolaos C. Kapsalis et al.