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 条

[1] Strategies in Spatio-Temporal Logics for Multi-agent Systems
Bottoniet, Paolo
Labella, Anna
Perellie, Giuseppe
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: REOCAS COLLOQUIUM IN HONOR OF ROCCO DE NICOLA, PT I, ISOLA 2024, 2025, 15219 : 287 - 305
[2] UTILIZING SPATIO-TEMPORAL DATA IN MULTI-AGENT SIMULATION
Glake, Daniel
Ritter, Norbert
Clemen, Thomas
2020 WINTER SIMULATION CONFERENCE (WSC), 2020, : 242 - 253
[3] Multi-Agent Simulation of Epidemic Spatio-temporal Transmission
Liu, Tao
Li, Xia
Ai, Bin
Fu, Jing
Zhang, XiaoHu
ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 7, PROCEEDINGS, 2008, : 357 - +
[4] Multi-Agent Trajectory Prediction With Spatio-Temporal Sequence Fusion
Wang, Yu
Chen, Shiwei
IEEE TRANSACTIONS ON MULTIMEDIA, 2023, 25 : 13 - 23
[5] Spatio-Temporal Domain Awareness for Multi-Agent Collaborative Perception
Yang, Kun
Yang, Dingkang
Zhang, Jingyu
Li, Mingcheng
Liu, Yang
Liu, Jing
Wang, Hanqi
Sun, Peng
Song, Liang
2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2023), 2023, : 23326 - 23335
[6] Hierarchical Coordination Multi-Agent Reinforcement Learning With Spatio-Temporal Abstraction
Ma, Tinghuai
Peng, Kexing
Rong, Huan
Qian, Yurong
Al-Nabhan, Najla
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, 2024, 8 (01): : 533 - 547
[7] Spatio-temporal relevant logic as the logical basis for specifying, verifying, and reasoning about mobile multi-agent systems
Cheng, JD
CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 470 - 483
[8] Balancing Spectral Clustering for Segmenting Spatio-Temporal Observations of Multi-Agent Systems
Takacs, Balint
Demiris, Yiannis
ICDM 2008: EIGHTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS, 2008, : 580 - 587
[9] Spatio-temporal Analysis of Multi-agent Scheduling Behaviors on Fixed-track Networks
Agarwal, Shivam
Wallner, Guenter
Watson, Jeremy
Beck, Fabian
2022 IEEE 15TH PACIFIC VISUALIZATION SYMPOSIUM (PACIFICVIS 2022), 2022, : 21 - 30
[10] Spatio-Temporal Graph Dual-Attention Network for Multi-Agent Prediction and Tracking
Li, Jiachen
Ma, Hengbo
Zhang, Zhihao
Li, Jinning
Tomizuka, Masayoshi
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2022, 23 (08) : 10556 - 10569

← 1 2 3 4 5 →