|
To further develop an existing topologically oriented logic of space To develop and implement efficient reasoning mechanisms for this logic To build complementary but integrated analogical spatial reasoning mechanisms To develop display techniques for the results of qualitative spatial reasoning To evaluate the above in selected domainsProgress:Owing to recruitment delays the two RFs did not start until August and September 1992. The main results arising so far are: showing how our calculus can be applied to GIS [3,8] and to specifying the syntax and semantics of a visual programming language [6]; reasoning about database integration [13]; development of a calculus of spatially uncertain regions [9,11]; investigating the theoretical foundations and limits of the calculus [7,5,10]; exploiting propositional intuitionistic and modal logic encodings to construct decidable theories in which a large class of spatial relationships are expressible [2,4,12]. Papers in progress compare our calculus with algebraic topology and develop more refined notions of qualitatative shape. The following is a selection of papers published. Many papers available electronically from ftp://agora.leeds.ac.uk/scs/doc/srg. Author code used below: {C=A G. Cohn, R=D A Randell, Z=Z Cui, B=B Bennett, J=J Gooday, N=N Gotts, L=F Lehmann}[1] Taxonomies of Logically Defined Qualitative Spatial Relations, in Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer (to appear) {CRZ}[2] Modal and Non Modal Qualitative Spatial Logics, Workshop on Spatial and Temporal Reasoning at IJCAI93, Chambery, August, 1993. {C}[3] Qualitative and Topological Relationships in Spatial Databases, in: LNCS No. 692, ed D Abel and B C Ooi, Springer Verlag, 296-315, 1993. {ZCR}[4] Spatial Reasoning with Propositional Logics in: Principles of Knowledge Representation and Reasoning: Morgan Kaufmann, 51-62. {B}[5] How Far Can We 'C'? Defining a Doughnut Using Connection Alone in: Principles of Knowledge Representation and Reasoning: Morgan Kaufmann, pp.246-257, 1994. {N}[6] Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic, W/S on Spatial and Temporal Reasoning at AAAI-94. {CJ}[7] A Comparison of Structures in Spatial and Temporal Logics, Philosophy and the Cognitive Sciences, R. Casati and G. White (eds.), Holder-Pichler-Tempsky, Vienna, 1994 {CJB}[8] Exploiting Temporal Continuity in Qualitative Spatial Calculi, to appear in R. Golledge and M Egenhofer (eds) Spatial and Temporal Reasoning in Geographical Information Systems, Elsevier. {CNZRBJ}[9] The 'Egg-Yolk' representation of regions with indeterminate boundaries, in Proc. GISDATA Meeting on Geographical Objects with Undetermined Boundaries, eds: P. Burrough & A M Frank, to appear, Francis Taylor. {CN}[10] Some Observations and Puzzles about Composing Spatial and Temporal Relations, Proc. ECAI W/S on Spatial and Temporal Reasoning, 1994. {B}[11] Spatial Regions with Undetermined Boundaries, Proc. ACM Workshop on GIS, 1994. {CN} [12] Modal Logics for Qualitative Spatial Reasoning, Bulletin of the Interest Group on Propositlonal and Predicate Logics, to appear. (B}[13] The EGG/YOLK Reliability Hierarchy: Semantic Data Integration Using, Sorts with Prototypes, Proc. CIKM, 272-279, ACM Press, 1994. {LC} on Propositlonal and Predicate Logics, to appear. {
|