ALPprolog --- A New Logic Programming Method for Dynamic Domains
Conrad Drescher, Michael Thielscher
TL;DR
ALPprolog is a new logic programming language designed for efficient online control of autonomous agents operating in dynamic environments with incomplete information and sensing actions.
Contribution
It introduces ALPprolog, a novel logic programming method that enhances reasoning capabilities for agents in dynamic, uncertain domains.
Findings
Supports reasoning with incomplete information
Enables efficient online control of agents
Handles sensing actions effectively
Abstract
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies