Planning in the logics of communication and change
Pere Pardo, Mehrnoosh Sadrzadeh · Adaptive Agents and Multi-Agents Systems · 2012
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.