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.)
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|