Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria) - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria)

Résumé

In the field of knowledge representation and reasoning, despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means of runs and clock time functions, one of the things which strikes one when studying multi-agent epistemic logics is how abstract their semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual characters in video games have strong links with their spatial environment. In this course, we will introduce multi-agent epistemic logics which semantics can be defined by means either of purely geometrical notions, or of purely topological notions. In these logics, possible states are defined by considering the positions (points, regular closed subsets) in the real space occupied by agents and the sections (cone, regular closed subsets) of the real space seen by agents whereas accessibility relations are defined by means of the ability of agents to imagine possible states compatible with what they currently see.
Fichier non déposé

Dates et versions

hal-03044235 , version 1 (07-12-2020)

Identifiants

  • HAL Id : hal-03044235 , version 1

Citer

Philippe Balbiani. Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria). 30th European Summer School on Logic, Language and Information (ESSLLI 2018), Association for Logic, Language and Information (FoLLI); Association for Computational Linguistics, Bulgaria, Aug 2018, Sofia, Bulgaria. ⟨hal-03044235⟩
44 Consultations
0 Téléchargements

Partager

More