A Simple Framework for Cognitive Planning

Jorge Luis Fernandez Davila (1, 2, 3) , Dominique Longin (1, 4) , Emiliano Lorini (1, 4) , Frédéric Maris (2, 3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
3 UT3 - Université Toulouse III - Paul Sabatier
4 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: Reasoning with Beliefs; Knowledge Representation Languages; Action; Change; Causality

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris. A Simple Framework for Cognitive Planning. W17 - Workshop Cognitive Aspects of Knowledge Representation (CAKR 2022) @ IJCAI-ECAI 2022, AAAI Technical Track on Knowledge Representation and Reasoning, Jul 2022, Vienna, Austria. pp.6331-6339. ⟨hal-03760340⟩