A SPATIOTEMPORAL LOGIC FOR 2D MULTIAGENT PROBLEM DOMAINS

Citation
D. Gagne et al., A SPATIOTEMPORAL LOGIC FOR 2D MULTIAGENT PROBLEM DOMAINS, Expert systems with applications, 12(1), 1997, pp. 141-145
Citations number
14
Categorie Soggetti
Operatione Research & Management Science","System Science","Engineering, Eletrical & Electronic","Computer Science Artificial Intelligence
ISSN journal
09574174
Volume
12
Issue
1
Year of publication
1997
Pages
141 - 145
Database
ISI
SICI code
0957-4174(1997)12:1<141:ASLF2M>2.0.ZU;2-1
Abstract
We formally present a first-order logic intended for representing and reasoning about 2D dynamic multi-agent problem domains. The unique fea ture of the logic is the uniform use of a Cartesian plane as the basis for both the spatial and temporal ontology. Our temporal structure ha s an ever changing present. Relative to each present there is a past a nd a future. A feature of this temporal structure is its ability to ca pture when knowledge is added or updated. Copyright (C) 1997 Elsevier Science Ltd