A Spatio-Temporal View of Knowledge

Bernhard Heinemann, FernUniversität in Hagen

In this paper, we introduce first a certain, hybrid extension of the well-known multi-modal language for knowledge of agents. The expressive power of the new language is then used for the development of a spatio-temporal view of knowledge. As it turns out, the accompanying logics have some good-natured meta-properties. We obtain, in particular, completeness, decidability and a complexity result. All this gives us good reasons for taking the new system as a formal basis for spatio-temporal epistemic reasoning.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.