BDI logic applied to a dialogical interpretation of human-machine cooperative dialogues

Abstract

We first define a language for the dialogical logic and the models that the language generates. This language is thought to capture the structure of the dialogues captured by Lekta—a software framework oriented to the design and implementation of natural language processing-related applications—and its users. These dialogues are defined as cooperative dialogues in which the dialogical logic perspective of a dialogue seen as a competition is shifted into a perspective in which both agents cooperate towards a common goal. Later we define a BDI temporal logic based on a modal framework that we will use to study the beliefs, desires and intentions of both agents based on the model generated by the dialogical logic.