An Implemented System for Cognitive Planning.

We present a system that implements a framework for cognitive planning. The system allows us to represent and reason about the beliefs, desires and intentions of other agents using an NP-fragment of a multiagent epistemic logic. The system has three components: the belief revision, the planning and the translator modules. They work in an integrated way to firstly capture new information about the world, secondly to plan a sequence of speech acts aimed at achieving a persuasive goal and, finally, to verify satisfiability of the formulas generated at each step of the process. We illustrate how our system can be used to implement a persuasive artificial agent interacting with a human user.