A Simple Framework for Cognitive Planning

We present a novel approach to cognitive planning, i. e. , an agent’s planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epistemic logic with a semantics exploiting belief bases. We study a NP-fragment of the logic whose satisfiability problem is reduced to SAT. We provide complexity results for the cognitive planning problem. Moreover, we illustrate its potential for applications in human-machine interaction in which an artificial agent is expected to interact with a human agent through dialogue and to persuade the human to behave in a certain way.

Authors

• Jorge Luis Fernandez Davila
• Dominique Longin
• Emiliano Lorini
• Frédéric Maris

Keywords

No keywords are indexed for this paper.