Logic-based cognitive planning for conversational agents - Archive ouverte HAL
Article Dans Une Revue Autonomous Agents and Multi-Agent Systems Année : 2024

Logic-based cognitive planning for conversational agents

Résumé

This paper presents a novel approach to cognitive planning based on an NP-complete logic of explicit and implicit belief whose satisfiability checking problem is reduced to SAT. We illustrate the potential for application of our model by formalizing and then implementing a human-machine interaction scenario in which an artificial agent interacts with a human agent through dialogue and tries to motivate her to practice a sport. To make persuasion effective, the artificial agent needs a model of the human's beliefs and desires which is built during interaction through a sequence of belief revision operations. We consider two cognitive planning algorithms and compare their performances, a brute force algorithm based on SAT and a QBF-based algorithm.
Fichier principal
Vignette du fichier
preeditorversion.pdf (3.02 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04729049 , version 1 (09-10-2024)

Licence

Identifiants

Citer

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris. Logic-based cognitive planning for conversational agents. Autonomous Agents and Multi-Agent Systems, 2024, 38 (20), ⟨https://doi.org/10.1007/s10458-024-09646-9⟩. ⟨hal-04729049⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More