Send to Friend

From	To
Email: * First Name: Last Name: Send a copy to myself	Email: * First Name: Last Name:

Send to Friend from IIIA

Message Text:

Backward Planning in the Logics of Communication and Change

Publication Type:

Conference Paper

Authors:

Pere Pardo; Mehrnoosh Sadrzadeh

Source:

1st International Conference on Agreement Technologies (AT 2012), Dubrovnik, Croatia, p.231-245 (2012)

Keywords:

Planning; Dynamic Epistemic Logic

Abstract:

In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive agents that can be solved. For example, goals or plans may consist of a certain distribution of beliefs and ignorance among agents. Our results include: soundness and completeness of backward plan search (under BFS), both for deterministic planning and strong non-deterministic planning.

SITE TREE