A logical framework for grounding-based dialogue analysis - Archive ouverte HAL
Communication Dans Un Congrès Electronic Notes in Theoretical Computer Science Année : 2005

A logical framework for grounding-based dialogue analysis

Résumé

A major critique against BDI (Belief, Desire, Intention) approaches to the communication is that they require strong hypotheses such as sincerity, cooperation... on the mental states of the agents (cf. for example [Singh, 1998; Singh, 2000; Fornara & Colombetti, 2002]). The aim of this paper is to give an operator remeding this defect to a logic BDI. Thus we study communication between heterogeneous agents via the notion of ''grounding'', in the sense of being publicly expressed and established. We show that this notion is different from social commitment, from the standard mental attitudes, and from different versions of common belief. Our notion is founded on speech act theory, and it is directly related to the ''expression of the sincerity condition'' [Searle, 1969; Searle, 1983; Vanderveken, 1991] when a speech act is performed. We use this notion to characterize speech acts in terms of preconditions and effects. As an example we show how persuasion dialogues ''à la Walton & Krabbe'' can be analyzed in our framework. In particular we show how speech act preconditions constrain the possible sequences of speech acts.
Fichier principal
Vignette du fichier
lcmas05.pdf (276.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03535632 , version 1 (28-08-2013)
hal-03535632 , version 2 (19-01-2022)

Identifiants

  • HAL Id : hal-03535632 , version 2

Citer

Benoit Gaudou, Andreas Herzig, Dominique Longin. A logical framework for grounding-based dialogue analysis. 3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom. ⟨hal-03535632v2⟩
238 Consultations
188 Téléchargements

Partager

More