Paper Info
Title
Planning in the logics of communication and change
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.
Year
DOI
Venue
2012
10.5555/2343896.2343937
AAMAS
Keywords
Field
DocType
lcc planner,epistemic effect,frame axiom,planned action,change fact,strong planning,non-deterministic case,deterministic planning,free lcc,completeness result,planning,communication
Computer science,Axiom,Planner,Dynamic epistemic logic,Artificial intelligence,Soundness,Completeness (statistics)
Conference
ISBN
Citations 
PageRank 
0-9817381-3-3
2
0.42
References 
Authors
2
2
Name
Order
Citations
PageRank
Pere Pardo1478.63
Mehrnoosh Sadrzadeh278462.69