Logic-based cognitive planning for conversational agents - Archive ouverte HAL
Journal Articles Autonomous Agents and Multi-Agent Systems Year : 2024

Logic-based cognitive planning for conversational agents

Abstract

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
Origin Files produced by the author(s)
Licence

Dates and versions

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

Licence

Identifiers

Cite

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⟩
24 View
10 Download

Altmetric

Share

More