A spatio-temporal logic for 2D multi-agent problem domains

被引：3
|
作者：
Gagne, D
Pang, WL
Trudel, A
机构：
[1] ACADIA UNIV,JODREY SCH COMP SCI,WOLFVILLE,NS B0P 1X0,CANADA
[2] ALEX INFORMAT,LACHINE,PQ H8T 3M6,CANADA
[3] UNIV REGINA,DEPT COMP SCI,REGINA,SK S4S 0A2,CANADA
来源：
EXPERT SYSTEMS WITH APPLICATIONS | 1997年 / 12卷 / 01期
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
10.1016/S0957-4174(96)00088-7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We formally present a first-order logic intended for representing and reasoning about 2D dynamic multi-agent problem domains. The unique feature of the logic is the uniform use of a Cartesian plane as the basis for both the spatial and temporal ontology. Our temporal structure has an ever changing present. Relative to each present there is a past and a future. A feature of this temporal structure is its ability to capture when knowledge is added or updated. Copyright (C) 1997 Elsevier Science Ltd
引用
收藏
页码：141 / 145
页数：5
相关论文
共 50 条
  • [31] On the timed temporal logic planning of coupled multi-agent systems
    Nikou, Alexandros
    Boskos, Dimitris
    Tumova, Jana
    Dimarogonas, Dimos V.
    AUTOMATICA, 2018, 97 : 339 - 345
  • [32] Multi-agent Logic with Distances Based on Linear Temporal Frames
    Rybakov, Vladimir
    Babenyshev, Sergey
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, 2010, 6114 : 337 - 344
  • [33] A complete coalition logic of temporal knowledge for multi-agent systems
    Qingliang CHEN
    Kaile SU
    Yong HU
    Guiwu HU
    Frontiers of Computer Science, 2015, 9 (01) : 75 - 86
  • [34] A complete coalition logic of temporal knowledge for multi-agent systems
    Chen, Qingliang
    Su, Kaile
    Hu, Yong
    Hu, Guiwu
    FRONTIERS OF COMPUTER SCIENCE, 2015, 9 (01) : 75 - 86
  • [35] Algorithms for a Temporal Decoupling Problem in multi-agent planning
    Hunsberger, L
    EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 468 - 475
  • [36] Inducing Stackelberg Equilibrium through Spatio-Temporal Sequential Decision-Making in Multi-Agent Reinforcement Learning
    Zhang, Bin
    Li, Lijuan
    Xu, Zhiwei
    Li, Dapeng
    Fan, Guoliang
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 353 - 361
  • [37] ST-SIGMA: Spatio-temporal semantics and interaction graph aggregation for multi-agent perception and trajectory forecasting
    Fang, Yang
    Luo, Bei
    Zhao, Ting
    He, Dong
    Jiang, Bingbing
    Liu, Qilie
    CAAI TRANSACTIONS ON INTELLIGENCE TECHNOLOGY, 2022, 7 (04) : 744 - 757
  • [38] Spatio-temporal patterns of sediment particle movement on 2D and 3D bedforms
    Tsubaki, Ryota
    Baranya, Sandor
    Muste, Marian
    Toda, Yuji
    EXPERIMENTS IN FLUIDS, 2018, 59 (06)
  • [39] Spatio-temporal patterns of sediment particle movement on 2D and 3D bedforms
    Ryota Tsubaki
    Sándor Baranya
    Marian Muste
    Yuji Toda
    Experiments in Fluids, 2018, 59
  • [40] Epistemic logic (2). Multi-agent epistemic logic MEL
    Liu, Ruisheng
    Sun, Jigui
    Liu, Xuhua
    Jisuanji Xuebao/Chinese Journal of Computers, 21 (07): : 638 - 641
12345