# Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

@inproceedings{Erdem2020SolvingGP, title={Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach}, author={Esra Erdem and Andreas Herzig}, booktitle={ICLP Technical Communications}, year={2020} }

We investigate the use of Answer Set Programming to solve variations of gossip problems, by modeling them as epistemic planning problems.

## Tables from this paper

## One Citation

A lightweight epistemic logic and its application to planning

- Computer ScienceArtif. Intell.
- 2021

It follows that checking solvability of simple epistemic planning tasks is PSpace -complete, and a ‘common knowledge whether’ operator is introduced, and it is shown that satisfiability is nevertheless NP -complete.

## References

SHOWING 1-10 OF 12 REFERENCES

Answer set programming at a glance

- Computer Science, MathematicsCACM
- 2011

The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.

Lightweight Parallel Multi-Agent Epistemic Planning

- Computer ScienceKR
- 2020

It is proved that this extension of classical planning is in PSPACE and an encoding in PDDL is proposed and some experiments are presented providing evidence that it allows us to solve practical problems.

A Simple Account of Multi-Agent Epistemic Planning

- Computer ScienceECAI
- 2016

This work investigates multi-agent planning based on a simple logic of knowledge that is grounded on the visibility of propositional variables and presents an encoding of multi- agent planning problems expressed in this logic into the classical planning language PDDL.

Simple Epistemic Planning: Generalised Gossiping

- Computer ScienceECAI
- 2016

It is shown that in the presence of negative goals testing the existence of a successful protocol is NP-complete whereas this is always polynomial-time in the case of purely positive goals.

Potassco: The Potsdam Answer Set Solving Collection

- Computer ScienceAI Commun.
- 2011

This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

- Computer Science, Mathematics2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
- 2013

It is shown that DL-PA behaves better than PDL, having e.g. compactness and eliminability of the Kleene star and both satisfiability and model checking are EXPTIME-complete.

Epistemic protocols for dynamic gossip

- Computer ScienceJ. Appl. Log.
- 2017

This paper characterizes different distributed epistemic protocols in terms of the (largest) class of graphs where each protocol is successful, i.e. where the protocol necessarily ends up with all agents knowing all secrets.

The epistemic gossip problem

- Mathematics, Computer ScienceDiscret. Math.
- 2019

It is shown that increasing epistemic depth from 1 to 2 does not double the required number of calls but increases this number by 3 ∕ 2 (for a complete graph), and the following counter-intuitive result generalises to the epistemic gossip problem.

ASP-Core-2 Input Language Format

- Computer ScienceTheory and Practice of Logic Programming
- 2019

The ASP-CORE-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013, is presented.

A survey of gossiping and broadcasting in communication networks

- Computer ScienceNetworks
- 1988

Gossiping and broadcasting are two problems of information dissemination described for a group of individuals connected by a communication network that one individual has an item of information which needs to be communicated to everyone else.