A Simple Framework for Cognitive Planning

Authors

  • Jorge Luis Fernandez Davila IRIT, Toulouse University, France
  • Dominique Longin IRIT, CNRS, Toulouse University, France
  • Emiliano Lorini IRIT, CNRS, Toulouse University, France
  • Frédéric Maris IRIT, Toulouse University, France

DOI:

https://doi.org/10.1609/aaai.v35i7.16786

Keywords:

Reasoning with Beliefs, Knowledge Representation Languages, Action, Change, and Causality

Abstract

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.
AAAI-21 Proceedings Cover

Downloads

Published

2021-05-18

How to Cite

Fernandez Davila, J. L., Longin, D., Lorini, E., & Maris, F. (2021). A Simple Framework for Cognitive Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6331-6339. https://doi.org/10.1609/aaai.v35i7.16786

Issue

Vol. 35 No. 7: AAAI-21 Technical Tracks 7

Section

AAAI Technical Track on Knowledge Representation and Reasoning