Epistemic Planning: (Dagstuhl Seminar 17231)

Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila McIlraith

Research output: Book/ReportReportResearchpeer-review

216 Downloads (Pure)

Abstract

The seminar Epistemic Planning brought together the research communities of Dynamic Epistemic Logic, Knowledge Representation and Reasoning, and Automated Planning to address fundamental problems on the topic of epistemic planning. In the context of this seminar, dynamic epistemic logic investigates the formal semantics of communication and communicative actions, knowledge representation and reasoning focuses on theories of action and change, and automated planning investigates computational techniques and tools to generate plans. The original goals of the seminar were to develop benchmarks for epistemic planning, to explore the relationship between knowledge and belief in multi-agent epistemic planning, to develop models of agency and capability in epistemic planning and to explore action types and their representations (these originally separate goals were merged during the seminar), and finally to identify practical tools and resources. An additional goal explored during the workshop was the correspondence between planning problems and games.
Original languageEnglish
PublisherSchloß Dagstuhl
Number of pages47
DOIs
Publication statusPublished - 2017
SeriesDagstuhl Reports
Number06
Volume7
ISSN2192-5283

Bibliographical note

Except where otherwise noted, content of this report is licensed under a Creative Commons BY 3.0 Unported license

Fingerprint Dive into the research topics of 'Epistemic Planning: (Dagstuhl Seminar 17231)'. Together they form a unique fingerprint.

Cite this