OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Agents that look at one another

Balbiani, Philippe and Gasquet, Olivier and Schwarzentruber, François Agents that look at one another. (2013) Logic Journal of the IGPL, 21 (3). 438-467. ISSN 1367-0751

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
531kB

Official URL: http://dx.doi.org/10.1093/jigpal/jzs052

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.

Item Type:Article
Additional Information:Thanks to Oxford University Press editor. The definitive version is available at http://jigpal.oxfordjournals.org/content/21/3/438.full.pdf
HAL Id:hal-01138505
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:02 Apr 2015 08:24

Repository Staff Only: item control page