In this talk I survey Qualitative Representations of Space and Time which have formed an increasingly active area of Knowledge Representation recently. Although most of the work has concerned topology and mereology (theories of parthood), known collectively as mereotopology, a variety of calculi have also addressed distance, size, orientation and, more generally, the notion of qualitative shape. Increasingly, calculi are now being designed to represent and reason about more than one such aspect simultaneously.
展开▼