Modelling multi-agent epistemic planning in ASP

DOI10.1017/S1471068420000289MaRDI QIDQ5140002zbMATH OpenOpenAlexFDO

Authors Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli

Publication date 13 December 2020

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.03007

zbMATH Keywords

planningmulti-agentepistemic reasoningpossibilitiesmulti-shot ASP

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Abstract: Designing agents that reason and act upon the world has always been one of the main objectives of the Artificial Intelligence community. While for planning in "simple" domains the agents can solely rely on facts about the world, in several contexts, e.g., economy, security, justice and politics, the mere knowledge of the world could be insufficient to reach a desired goal. In these scenarios, epistemic reasoning, i.e., reasoning about agents' beliefs about themselves and about other agents' beliefs, is essential to design winning strategies. This paper addresses the problem of reasoning in multi-agent epistemic settings exploiting declarative programming techniques. In particular, the paper presents an actual implementation of a multi-shot Answer Set Programming-based planner that can reason in multi-agent epistemic settings, called PLATO (ePistemic muLti-agent Answer seT programming sOlver). The ASP paradigm enables a concise and elegant design of the planner, w.r.t. other imperative implementations, facilitating the development of formal verification of correctness. The paper shows how the planner, exploiting an ad-hoc epistemic state representation and the efficiency of ASP solvers, has competitive performance results on benchmarks collected from the literature. It is under consideration for acceptance in TPLP.

Recommendations

• A general multi-agent epistemic planner based on higher-order belief change
• A simple account of multi-agent epistemic planning
• Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Epistemic planning for single- and multi-agent systems

Cites work

• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 2243368 (Why is no real title available?)
• A resource logic for multi-agent plan merging
• Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
• DEL planning and some tractable cases
• Dynamic epistemic logic
• Epistemic planning for single- and multi-agent systems
• Finitary \(\mathbf {S5}\)-theories
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and bisimulation
• Multi-shot ASP solving with clingo
• Reasoning about information change
• Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
• Representing action and change by logic programs
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Cited in

(5)

• Answer set planning: a survey
• scientific article; zbMATH DE number 7453144 (Why is no real title available?)
• A simple account of multi-agent epistemic planning
• A general multi-agent epistemic planner based on higher-order belief change
• State transition in multi-agent epistemic domains using answer set programming

Describes a project that uses

Uses Software

• Clingo

This page was built for publication: Modelling multi-agent epistemic planning in ASP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5140002)