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

摘要

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.