Exploring the Bidimensional Space: A Dynamic Logic Point of View

被引:0
|
作者
Balbiani, Philippe [1 ]
Fernandez-Duque, David [2 ]
Lorini, Emiliano [1 ]
机构
[1] Toulouse Univ, CNRS, IRIT, Toulouse, France
[2] Toulouse Univ, IRIT, Toulouse, France
关键词
Dynamic Logic; Spatial Logic; Epistemic Logic;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We present a family of logics for reasoning about agents' positions and movements in the plane which have several potential applications in the area of multi-agent systems, such as multi-agent planning and robotics. The most general logic includes (i) atomic formulas for representing the truth of a fact or the presence of an 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 PDL (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 its iteration-free fragment by special programs representing movements of agents in the plane.
引用
收藏
页码:132 / 140
页数:9
相关论文
共 50 条
  • [1] Fuzzy logic, a point of view
    Strefezza, Miguel
    [J]. CIENCIA E INGENIERIA, 2009, 30 (03): : 259 - 267
  • [2] SPACE AS A POINT OF VIEW
    CHANDLER, PP
    WILLIAMSON, RA
    [J]. EARTH-ORIENTED APPLICATIONS OF SPACE TECHNOLOGY, 1983, 3 (3-4): : 245 - 248
  • [3] Logic of belief: an ockhamian point of view
    Fedriga, Riccardo
    Limonta, Roberto
    [J]. PHILOSOPHICAL INQUIRIES, 2016, 4 (02): : 53 - 68
  • [4] ELAN from a rewriting logic point of view
    Borovansky, P
    Kirchner, C
    Kirchner, H
    Moreau, PE
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 155 - 185
  • [5] EPISTEMIC LOGIC FROM A SEMANTIC POINT OF VIEW
    WISEMAN, C
    [J]. JOURNAL OF PHILOSOPHY, 1969, 66 (20): : 713 - 714
  • [6] The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic
    Pavlov, Sergey
    [J]. LOGICA UNIVERSALIS, 2011, 5 (02) : 319 - 325
  • [7] MUSIC AND SPACE: A PHENOMENOLOGIC POINT OF VIEW
    Imberty, Michel
    [J]. COGNITIVE PROCESSING, 2009, 10 : S137 - S138
  • [8] Space for the Prisoner's Point of View
    Haupt, Laura
    [J]. HASTINGS CENTER REPORT, 2017, 47 (02) : 2 - 2
  • [9] SPACE FROM INFANTS POINT OF VIEW
    BREMNER, G
    [J]. BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1978, 31 (MAY): : 164 - 164
  • [10] Dynamic analysis: a new point of view
    Eduardo W. V. Chaves
    [J]. Continuum Mechanics and Thermodynamics, 2016, 28 : 853 - 868