Sciweavers

Share
FLAIRS
2007

Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge

9 years 3 months ago
Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively adding various modalities having on the one hand an epistemic interpretation and facilitating on the other hand spatial or spatio-temporal specifications up to a certain degree. The first of these operators is related to disjointness regarding space and ignorance regarding knowledge, and the second one to overlapping and, respectively, quantifying across all possible agents. The third one turns up along with increase of sets and no learning of agents, respectively. A fourth operator is already present in the basic system. Apart from the first case we establish the soundness, completeness and decidability of the accompanying logics. In the first case, however, we up to now could only prove that a certain naturally arising sublogic is decidable.
Bernhard Heinemann
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where FLAIRS
Authors Bernhard Heinemann
Comments (0)
books