In this paper, we investigate the use of event models for automated planning. Event are action defining structures used to define a semantics dynamic epistemic logic. Using models, two issues in planning can be addressed: Partial observability environment and knowledge. planning, partial gives rise an uncertainty about world. For single-agent domains, come from incomplete knowledge starting situation nondeterminism actions. multi-agent additional arises fact that other agents act world,...

Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Logic (DEL) has been shown to provide a very natural expressive framework epistemic planning. We extend the DEL-based include perspective shifts, allowing us define new notions of sequential conditional implicit coordination. With these, it is possible solve tasks joint goals decentralized manner without agents having negotiate about commit policy at...

Journal Article Termination for Hybrid Tableaus Get access Thomas Bolander, Bolander Informatics and Mathematical Modelling, Richard Petersens Plads, Building 322, Technical University of Denmark, DK-2800 Lyngby, Denmark. E-mail: tb@imm.dtu.dk Search other works by this author on: Oxford Academic Google Scholar Patrick Blackburn Inria Lorraine, 615, Rue du Jardin Botanique, 54602 Villers Lès Nancy Cedex, France. patrick.blackburn@loria.fr Logic Computation, Volume 17, Issue 3, June 2007,...

Previous research has claimed dynamic epistemic logic (DEL) to be a suitable formalism for representing essential aspects of Theory Mind (ToM) an autonomous agent. This includes the ability represent reasoning involved in false-belief tasks arbitrary order, and hence agents based on become able pass such tests. paper provides evidence claims by documenting implementation DEL-based system humanoid robot. Our allows robot perform cognitive perspective-taking, particular reason about first-...

Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Dynamic Logic (DEL) has been shown to provide a very natural expressive framework epistemic planning. In this paper, we aim give an accessible introduction DEL-based The paper starts the most classical planning, STRIPS, then moves towards number of smaller steps, where each step is motivated by need able model more complex scenarios.

Journal Article Tableau-based Decision Procedures for Hybrid Logic Get access Thomas Bolander, Bolander Informatics and Mathematical Modelling, Richard Petersens Plads, Building 322, Technical University of Denmark, DK-2800 Lyngby, Denmark. Search other works by this author on: Oxford Academic Google Scholar Torben Braüner Department Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, E-mail: torben@ruc.dk Computation, Volume 16, Issue 6, December 2006, Pages 737–763,...

This article builds on work by Bolander and Blackburn [Thomas Patrick Blackburn. Termination for hybrid tableaus. Journal of Logic Computation, 17(3):517–554, 2007] terminating tableau systems the minimal logic K. We provide (for basic uni-modal language) a number non-transitive logics extending K, such as irreflexive frames, antisymmetric so on; these don't employ loop-checks. also tense enriched with universal modality) calculus transitive frames; this system makes use

The seminar Epistemic Planning brought together the research communities of Dynamic Logic, Knowledge Representation and Reasoning, Automated to address fundamental problems on topic epistemic planning. In context this seminar, dynamic logic investigates formal semantics communication communicative actions, knowledge representation reasoning focuses theories action change, automated planning computational techniques tools generate plans. original goals were develop benchmarks for planning,...


 In multi-agent path finding (MAPF), it is usually assumed that planning performed centrally and the destinations of agents are common knowledge. We will drop both assumptions analyze under which conditions can be guaranteed reach their respective using implicitly coordinated plans without communication. Furthermore, we what computational costs associated with such a coordination regime are. As turns out, guarantees given assuming certain type. However, implied quite severe....

Epistemic planning based on Dynamic Logic (DEL) allows agents to reason and plan from the perspective of other agents. The framework DEL-based epistemic thereby has potential represent significant aspects Theory Mind in autonomous robots, provide a foundation for human-robot collaboration which coordination is achieved implicitly through shifts. In this paper, we build previous work with implicit coordination. We introduce new notion indistinguishability between states bisimulation, novel...

We present a logic which we call Hybrid Duration Calculus (HDC). HDC is obtained by adding the following hybrid logical machinery to Restricted (RDC): nominals, satisfaction operators, down-arrow binder, and global modality. RDC known be decidable, in this paper show that decidability retained when machinery. Decidability of shown reducing satisfiability problem Monadic Second-Order Theory Order. illustrate increased expressive power hybridizing showing HDC, contrast RDC, can express all 13...