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 条
  • [21] Spatio-Temporal Context Graph Transformer Design for Map-Free Multi-Agent Trajectory Prediction
    Wang, Zhongning
    Zhang, Jianwei
    Chen, Jicheng
    Zhang, Hui
    IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2024, 9 (01): : 1369 - 1381
  • [22] Spatio-temporal decomposition of 2D travelling waves from video measurements
    Silva, Moises
    Figueiredo, Eloi
    Costa, Joao C. W. A.
    Mascarenas, David
    MECHANICAL SYSTEMS AND SIGNAL PROCESSING, 2020, 139
  • [23] Reconfiguration of a 2D Structure Using Spatio-Temporal Planning and Load Transferring
    Garcia, Javier
    Yannuzzi, Michael
    Kramer, Peter
    Rieck, Christian
    Fekete, Sandor P.
    Becker, Aaron T.
    2024 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2024, 2024, : 8735 - 8741
  • [24] Strong Field Coherent Control Using 2D Spatio-Temporal Mapping
    Bruner, B. D.
    Suchowski, H.
    Natan, A.
    Silberberg, Y.
    ULTRAFAST PHENOMENA XVI, 2009, 92 : 457 - 459
  • [25] VIOLENCE DETECTION FROM VIDEO UNDER 2D SPATIO-TEMPORAL REPRESENTATIONS
    Chelali, Mohamed
    Kurtz, Camille
    Vincent, Nicole
    2021 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2021, : 2593 - 2597
  • [26] Multi-dimensional modal logic as a framework for spatio-temporal reasoning
    Bennett, B
    Cohn, AG
    Wolter, F
    Zakharyaschev, M
    APPLIED INTELLIGENCE, 2002, 17 (03) : 239 - 251
  • [27] Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
    Brandon Bennett
    Anthony G. Cohn
    Frank Wolter
    Michael Zakharyaschev
    Applied Intelligence, 2002, 17 : 239 - 251
  • [28] Efficient Online Multi-Person 2D Pose Tracking with Recurrent Spatio-Temporal Affinity Fields
    Raaj, Yaadhav
    Idrees, Haroon
    Hidalgo, Gines
    Sheikh, Yaser
    2019 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2019), 2019, : 4615 - 4623
  • [29] Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications
    Terashima, Keita
    Kobayashi, Koichi
    Yamashita, Yuh
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2024, E107A (01) : 31 - 37
  • [30] 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 : 75 - 86
12345