Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control
Journal of Intelligent and Robotic Systems
Reachability and dependency calculi: reasoning in network algebras
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
| Hi-index | 0.00 |
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on networks. Applications range from traffic networks to medical diagnostics. We investigate satisfaction problems, tractable subclassses, embeddings into other relation algebras, and the associated interval algebra.