Grounding and the expression of belief - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Grounding and the expression of belief

Résumé

In this paper we investigate the logic of speech acts and groundedness. A piece of information is grounded for a group of agents if it is publicly expressed and established by all agents of the group. Our concept of groundedness is founded on the expression of the sincerity condition of speech act theory. We formalize groundedness within an extended BDI (Belief, Desire, Intention) logic where belief is viewed as a kind of group belief. We show that our logic permits to reconcile the mentalist approaches on the one hand, and the structural and social approaches on the other, which are the two rival research programs in the formalization of agent interaction. Although groundedness is thus linked to the standard mental attitude of belief, it is immune to the critiques that have been put forward against the mentalist approaches, viz. that they require too strong hypotheses about the agents' mental states such as sincerity and cooperation: just as the structural approaches, groundedness only bears on the public aspect of communication. In our extended BDI logic we study communication between heterogeneous agents. We characterize inform and request speech acts in terms of preconditions and effects. We demonstrate the power of our solution by means of two examples. First, we revisit the well-known FIPA Contract Net Protocol. As a second example, we show how Walton & Krabbe's commitments can be redefined in term of groundedness.
Fichier principal
Vignette du fichier
2006_KR_camera_ready_version 2022 recompilee.pdf (277.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03516657 , version 1 (25-01-2022)

Identifiants

  • HAL Id : hal-03516657 , version 1

Citer

Benoit Gaudou, Andreas Herzig, Dominique Longin. Grounding and the expression of belief. 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Jun 2006, Windermere, United Kingdom. pp.211-229. ⟨hal-03516657⟩
29 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More