A Simple Framework for Cognitive Planning

Autor: Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
Přispěvatelé: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), AAAI : Association for the Advancement of Artificial Intelligence, ANR-18-CE33-0012,CoPains,Planification Cognitive dans la Communication Persuasive Multimodale(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
Jazyk: angličtina
Rok vydání: 2021
Předmět:
Zdroj: Proceedings of the 35th AAAI Conference on Artificial Intelligence
35th AAAI Conference on Artificial Intelligence (AAAI 2021)
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China
Popis: International audience; 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.; Nous présentons une nouvelle approche de la planification cognitive, c'est-à-dire la planification d'un agent visant à changer les attitudes cognitives d'un autre agent, y compris ses croyances et ses intentions. Nous encodons le problème de planification cognitive dans une logique épistémique avec une sémantique exploitant les bases de croyances. Nous étudions un fragment NP de la logique dont le problème de satisfiabilité est réduit à SAT. Nous fournissons des résultats de complexité pour le problème de planification cognitive. De plus, nous illustrons son potentiel d'applications dans l'interaction homme-machine dans laquelle un agent artificiel est censé interagir avec un agent humain par le dialogue et persuader l'humain de se comporter d'une certaine manière.
Databáze: OpenAIRE
Externí odkaz: