DeepAI AI Chat
Log In Sign Up

Modelling Multi-Agent Epistemic Planning in ASP

by   Alessandro Burigana, et al.
New Mexico State University
Universita Degli Studi Di Udine

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.


page 1

page 2

page 3

page 4


Design of a Solver for Multi-Agent Epistemic Planning

As the interest in Artificial Intelligence continues to grow it is becom...

Comprehensive Multi-Agent Epistemic Planning

Over the last few years, the concept of Artificial Intelligence has beco...

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

In recent years, multi-agent epistemic planning has received attention f...

What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS

Epistemic planning --- planning with knowledge and belief --- is essenti...

Formalisation of Action with Durations in Answer Set Programming

In this paper, I will discuss the work I am currently doing as a Ph.D. s...

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda

The paper presents a knowledge representation formalism, in the form of ...

Learnability with PAC Semantics for Multi-agent Beliefs

The tension between deduction and induction is perhaps the most fundamen...