OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Exploring the Bidimensional Space: a Dynamic Logic Point of View

Balbiani, Philippe and Fernández-Duque, David and Lorini, Emiliano Exploring the Bidimensional Space: a Dynamic Logic Point of View. (2017) In: 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), 8 May 2017 - 12 May 2017 (Sao Paulo, Brazil).

(Document in English)

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

Official URL: http://www.ifaamas.org/Proceedings/aamas2017/pdfs/p132.pdf


We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning and robotics. The most general logic includes (i) atomic formulas for representing the truth of a given fact or the presence of a given agent at a certain position of the plane, (ii) atomic programs corresponding to the four basic orientations in the plane (up, down, left, right) as well as the four program constructs of propositional dynamic logic (sequential composition, nondeterministic composition, iteration and test). As this logic is not computably enumerable, we study some interesting decidable and axiomatizable fragments of it. We also present a decidable extension of the iteration-free fragment of the logic by special programs representing motion of agents in the plane.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-02361220
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:05 Nov 2019 15:15

Repository Staff Only: item control page