Abstract

We formally present a first order logic intended for representing and reasoning about 2D dynamic multiagent 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. 1 Introduction One important facet of Distributed Artificial Intelligence (DAI) is the composition of groups of agents at different social levels: groups, organizations, etc. [?]. A requirement is the ability to analyze these compositions of individual computational entities at different levels of abstraction [?]. At the object level, the formal theory provides robust reasoning mechanisms, while at the meta level the formal theory provides a sound basis for the verification and validation of the rationale of the system as a whole. W...

Citations