Planning in the logics of communication and change

Authors:
Pere Pardo;Mehrnoosh Sadrzadeh
Affiliations:
Institut d'Investigació en Intel·ligència Artificial, Bellaterra, Spain;Oxford University, Oxford OX, UK
Venue:
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Year:
2012

Citing 1
Cited 1

Logics of communication and change

Information and Computation

Undecidability in epistemic planning

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We adapt backward planning to Logics of Communication and Change (LCC), that model how do actions, announcements and sensing change facts and agents' beliefs. An LCC planner takes into account the epistemic effects of planned actions upon other agents, if their beliefs are relevant to her goals. Our results include: a characterization of frame axioms as theorems in *-free LCC, and soundness and completeness results for deterministic planning and strong planning in the non-deterministic case.