Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Agents that look at one another

Abstract : 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 that strikes one when studying multiagent 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 article, we introduce multiagent logics which semantics can be defined by means of purely geometrical notions: possible states are defined by means of the positions in ℝn occupied by agents and the sections of ℝn 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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, April 2, 2015 - 9:53:03 AM
Last modification on : Monday, July 4, 2022 - 9:39:29 AM
Long-term archiving on: : Friday, July 3, 2015 - 10:15:52 AM


Files produced by the author(s)



Philippe Balbiani, Olivier Gasquet, François Schwarzentruber. Agents that look at one another. Logic Journal of the IGPL, Oxford University Press (OUP), 2013, vol. 21 (n° 3), pp. 438-467. ⟨10.1093/jigpal/jzs052⟩. ⟨hal-01138505⟩



Record views


Files downloads