Authors:
Jorge Fernandez
1
;
Dominique Longin
2
;
Emiliano Lorini
2
and
Frédéric Maris
1
Affiliations:
1
IRIT, Toulouse University, France
;
2
IRIT, CNRS, Toulouse University, France
Keyword(s):
Knowledge Representation, Epistemic Logic, Satisfiability, Epistemic Planning, Cognitive Planning, Persuasion.
Abstract:
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.