Logics of Context for Multi-Agent Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Logics of Context for Multi-Agent Systems

Résumé

The concept of context turned out to be fruitful for the analysis of multia-gent systems. The logics proposed by McCarthy et col. and Giunchiglia et col. provide a formal tool to reason about such contexts. These logics are close to modal logics of knowledge and belief: agent i’s belief that p can be identified with truth of p in the context of i’s beliefs. More generally, logics of context allow to implement agents with mental attitudes, alias BDI agents. (Precise formal links between these two frameworks were established by Massacci, Bouquet, Serafini and Roelofsen.)

Mots clés

Fichier principal
Vignette du fichier
WsEcai08_Ctxt0ntoAbstr.pdf (66.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03526737 , version 1 (18-01-2022)

Identifiants

  • HAL Id : hal-03526737 , version 1

Citer

Andreas Herzig, Emiliano Lorini. Logics of Context for Multi-Agent Systems. 4th ECAI Workshop on Context and ontologies (C&O 2008), Jul 2008, Patras, Greece. ⟨hal-03526737⟩
40 Consultations
20 Téléchargements

Partager

More