| Authors |
|
| Publication date |
2011
|
| Host editors |
-
H. van Ditmarsch
-
J. Lang
-
S. Ju
|
| Book title |
Logic, Rationality, and Interaction
|
| Book subtitle |
Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Event |
3rd International Workshop on Logic, Rationality and Interaction, LORI 2011
|
| Pages (from-to) |
179-192
|
| Publisher |
Heidelberg: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We describe the planning problem within the framework of dynamic epistemic logic (DEL), considering the tree of sequences of events as the underlying structure. In general, the DEL planning problem is computationally difficult to solve. On the other hand, a great deal of fruitful technical advances have led to deep insights into the way DEL works, and these can be exploited in special cases. We present a few properties that will lead to considerable simplifications of the DEL planning problem and apply them in a toy example.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-642-24130-7_13
|
|
Permalink to this page
|