Cohn, A.G. 1996 Calculi for Qualitative Spatial Reasoning. In Calmet, J., Campbell, J.A., and Pfalzgraph, J. (Eds.) Artificial Intelligence and Symbolic Mathematical Computation. LNCS 1138. Springer Verlag, 124-143.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....for key points on a route segment, a path relation [12] describing the trajectory, and a turning instruction. Relational localizations are generated for the start and the end point of the trajectory as well as for the trajectory as a whole. They consist of a qualitative spatial two point relation [5] and a corresponding anchor object (or reference object) All relations are rated using a normalized degree of applicability. Figure 1 shows an example PVM as well as the different presentations that can be generated from it. 5. PRESENTING ROUTE INSTRUCTIONS The following sections describe ....

Cohn, A. G., Calculi for Qualitative Spatial Reasoning, In: Calmet, J., Campbell, J. A., Pfalzgraf, J. (eds.), Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, Springer Verlag, 1996.

....basic operations when a glyph is created or updated. For example, the ink processor computes a bounding box, axes, and area of all glyphs when they are first created, and updates this information if the glyph is resized or rotated. Qualitative topological relationships (using the RCC8 vocabulary [3]) are automatically computed between a new glyph and every other glyph on its layer. The vector processor carries out more sophisticated spatial analyses, such as those involving position finding and path finding. It maintains a set of Voronoi diagrams [6] for specific types of glyphs (e.g. ....

Cohn, A. (1996) Calculi for Qualitative Spatial Reasoning. In Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, eds: J Calmet, J A Campbell, J Pfalzgraf, Springer Verlag, 124-143, 1996.

....but when they are on a sightseeing tour, more elaborate utterances, possibly highlighting interesting sites along their way, are more adequate. A central task in the context of navigation is the selection of reference objects (needed, e.g. to generate spatial prepositions such as left of [3]) which can greatly bene t from the above mentioned knowledge sources. Factors such as the users interest, their familiarity with the environment, or whether an object has been previously mentioned all in uence the quality of a potential reference object, that has been preselected using purely ....

A. G. Cohn. Calculi for qualitative spatial reasoning. In J. Calmet, J. A. Campbell, and J. Pfalzgraf, editors, Artical Intelligence and Symbolic Mathematical Computation (LNCS 1138), pages 124-143. Springer, Berlin, 1996.

.... and relations prepositions such as distance dependent (e.g. close to ) directional (e.g. left of ) and topological relations (e.g. in ) This imbalance is illustrated by the wide range of publications from di erent research communities on those relations (see, for example, 7] 3] [2], 13] 6] 10] 11] 15] This is unfortunate as path prepositions o er some unique means for route descriptions. On one hand, a lot of information can be conveyed using a single path relation [12] Consider, for example, a path following the shape of a river. Describing it can be achieved ....

A. G. Cohn. Calculi for qualitative spatial reasoning. In J. Calmet, J. A. Campbell, and J. Pfalzgraf, editors, Artical Intelligence and Symbolic Mathematical Computation (LNCS 1138), pages 124-143. Springer, Berlin, 1996.

....But there are areas of knowledge that cut across multiple domains of discourse that seem to be necessary to achieve flexible communication via sketching: Qualitative representations of space. Being able to reason about regions, paths, and relative locations is important in every spatial domain [13,8]. Figure 8: A novel, but easily understandable, visual symbol . Qualitative representations of shape. The ability to abstract away minor differences in order to describe important properties facilitates recognition [9] We claim that qualitative representations are crucial for several ....

Cohn, A. (1996) Calculi for Qualitative Spatial Reasoning. In Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, eds: J Calmet, J A Campbell, J Pfalzgraf, Springer Verlag, 124-143, 1996.

.... effective spatial similarity algorithms (e.g. 2] can be embedded in the model via procedural attachment, while significant spatial relationships can be included in content descriptions by drawing from the many formalisms developed within the qualitative spatial reasoning research community [1]. Analogously, the model can be enhanced with the treatment of texture based similarity image retrieval. ....

A. Cohn. Calculi for qualitative spatial reasoning. In Proc. of AISMC-93, LNCS, 1996.

.... effective spatial similarity algorithms (e.g. 32] can be embedded in the model via procedural attachment, while significant spatial relationships can be included in content descriptions by drawing from the many formalisms developed within the qualitative spatial reasoning research community [15]. Analogously, the model can be enhanced with the treatment of texture based similarity image retrieval. We believe that the presented model can open the way to a novel approach to the modelling of multimedia information, leading to the development of retrieval systems able to cope in a formally ....

A. G. Cohn. Calculi for qualitative spatial reasoning. In Proceedings of AISMC-93, the 3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation, Lecture Notes in Computer Science, Steyr, AT, 1996. Springer Verlag, Heidelberg, DE.

....the musicians who do not play any electric instrument. The syntax rule for ALC concepts (cpt) are given below: #cpt# : #prim cpt# #cpt# #cpt# # # cpt# #cpt# # # cpt# ##role#.# cpt# ##role#. # cpt# A fuzzy assertion # is an expression of the form ##, n#, where n # [0, 1] and # is one of the following: 1) C(a) asserting that the individual a is an instance of the concept C; for example, Musician # Teacher) tim) makes the individual constant tim a Musician and a Teacher; 2) R(a 1 , a 2 ) e.g. Friend(tim,tom) 3) C 1 # C 2 , asserting that C 1 is more ....

.... effective spatial similarity algorithms (e.g. 2] can be embedded in the model via procedural attachment, while significant spatial relationships can be included in content descriptions by drawing from the many formalisms developed within the qualitative spatial reasoning research community [1]. Analogously, the model can be enhanced with the treatment of texture based similarity image retrieval. ....

A. Cohn. Calculi for qualitative spatial reasoning. In Proc. of AISMC-93, LNCS, 1996.

.... level, e#ective spatial similarity algorithms (e.g. 6] can be embedded in the model via procedural attachment, while significant spatial relationships can be included in content descriptions by drawing from the many formalisms developed within the qualitative spatial reasoning research community [3]. Analogously, the model can be enhanced with the treatment of texture based similarity retrieval. ....

A. G. Cohn. Calculi for qualitative spatial reasoning. In Proceedings of AISMC-3, Lecture Notes in Computer Science. Springer Verlag, 1996.

.... level, e#ective spatial similarity algorithms (e.g. 8] can be embedded in the model via procedural attachment, while significant spatial relationships can be included in content descriptions by drawing from the many formalisms developed within the qualitative spatial reasoning research community [6]. Analogously, the model can be enhanced with the treatment of texture based similarity image retrieval. We believe that the presented model can open the way to a novel approach to the modelling of multimedia information, leading to the development of retrieval systems able to cope in a formally ....

A. G. Cohn. Calculi for qualitative spatial reasoning. In Proceedings of AISMC-3, Lecture Notes in Computer Science. Springer Verlag, 1996.

....natural languages (Asher and Vieu, 1995) and many other fields. Evidence that QSR is now firmly established in AI are numerous presentations, workshops and tutorials which have been given at important AI conferences, most recently at COSIT 97, KR 98 and ECAI 98. We invite the reader to consult Cohn (1996) and its updated version Cohn (1997) for an introduction and an overview of current trends. In the wider context of formal ontology, the special edition of the International Journal of Human Computer Studies 43 (1995) exhibits the width and depth of the area. The basis of QSR are part of and ....

Cohn, A. G. (1996). Calculi for qualitative spatial reasoning. In Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, pages 124--143. Springer Verlag.

....within two broad categories: ffl Objects with sharp boundaries where the position and shape are unknown or cannot be measured exactly. This situation is known as positional uncertainty . ffl Situations where there is no well defined boundary for an object. Both Clementini Di Felice (1996) and Cohn Gotts (1996) have examined this problem independently and proposed very similar models. Clementini Di Felice extend Egenhofer Herring s (1991) 9 intersection model describing the indeterminacy of an object s boundary as a two dimensional zone surrounding the object separating the space that surely belongs ....

....boundary and the outer boundary. Clementini Di Felice demonstrates 44 possible relations from which they construct a conceptual neighbourhood. The conceptual neighbourhood can then be clustered into similar relations which are a superset of those relations for simple regions. 16 Similarly, Cohn Gotts (1996), extend the framework of RCC theory (Randell, Cui Cohn 1992) to cope with regions with indeterminate boundaries otherwise know as vague or non crisp regions. As with Clementini Di Felice (1996) the model defines a vague region as two subregions using an egg yolk representation. The ....

[Article contains additional citation context not shown here]

Cohn, A. G. (1996), Calculi for qualitative spatial reasoning, in J. Pfalzgraf, J. Calmet & J. A. Campbell, eds, `Artificial Intelligence and Symbolic Mathematical Computation ', Vol. 1138 of LNCS, Springer-Verlag, pp. 124--143.

.... effective spatial similarity algorithms (e.g. 6] can be embedded in the model via procedural attachment, while significant spatial relationships can be included in content descriptions by drawing from the many formalisms developed within the qualitative spatial reasoning research community [3]. Analogously, the model can be enhanced with the treatment of texture based similarity retrieval. ....

A. G. Cohn. Calculi for qualitative spatial reasoning. In Proceedings of AISMC-3, Lecture Notes in Computer Science. Springer Verlag, 1996.

....of spatio temporal reasoning was discussed in [1] under a separate heading, with the suggestion that it was potentially fruitful for research. A more recent development in qualitative reasoning has been the active use of its methods and concepts to treat just that topic. A recent survey by Cohn [51] gives information about achievements and about research questions that are still open. Constraint Based Programming Two types of constraints are common in mathematical knowledge based computations and SMC. In SMC they are written as inequalities, as in [23] Whenever mathematical knowledge is ....

A.G. Cohn, Calculi for Qualitative Spatial Reasoning, in Artificial Intelligence and Symbolic Mathematical Computation, eds. J. Calmet, J.A. Campbell and J. Pfalzgraf, LNCS 1128, p. 124. Springer-Verlag, Berlin (1996)

.... qualitative arithmetic algebras have been devised (Weld and de Kleer 1990; Williams and de Kleer 1991) Qualitative reasoning has been applied mainly to scalar quantities and only recently to space, which is multidimensional in nature, giving rise to the subfield of qualitative spatial reasoning (Cohn 1995, 1996; Hern andez 1994) The delay in the development of qualitative models and reasoning techniques for spatial domains is partly due to the convincement that it seems unlikely that such inference schemes will be useful for tasks that require full higher dimensional manipulations (Forbus, Nielsen, ....

....(Forbus, Nielsen, and Faltings 1991, p. 427) Recent work in qualitative spatial representations has made more evident that the application of quantity spaces in more than one dimension can lead to promising results. In fact, several aspects of spatial information are currently being investigated (Cohn 1996). In general, the description of a scene of objects in space involves spatial aspects that have an expression both in terms of inherent characteristics of each object and in the context of other objects. The inherent characteristics of an object are its topology (holes and separations) and its ....

[Article contains additional citation context not shown here]

Cohn, A. G. (1996). Calculi for qualitative spatial reasoning. In Calmet, J., Campbell, J. A., and Pfalzgraf, J., editors, Artificial Intelligence and Symbolic Mathematical Computation, Volume 1138 of Lecture Notes in Computer Science, pages 124--143.

....such as (1d) 1) a. Heinrich s flight from Frankfurt to New York JFK takes eight hours. b. John s plane from Chicago to New York La Guardia will start one hour after Heinrich s. c. John s flight will be rather short. One plausible) Conclusion: d. John will reach New York before Heinrich. 1 As Cohn (1996), p. 138, remarks: qualitative and quantitative reasoning are complementary techniques and research is needed to ensure they can be integrated . This paper describes how previous research on quantitative temporal distances by Badaloni Berati (1996) and work on qualitative spatial ....

....to include Allen s relations in a single network by Mairi (1991) Nevertheless, this approach still does not allow for more abstract relations like overlap at least n . As for qualitative distances, Hernandez et al. 1995) and Clementini et al. 1995) present the most elaborate work (cf. Cohn (1996)) and thus serve as a blueprint for our qualitative distances reasoning part. We extend their mechanism to account for partially ordered distance systems, too. Common interval label propagation networks that represent interval boundaries by restrictions on time points (cf. Davis (1987) do not ....

Cohn, Anthony G. (1996). Calculi for qualitative spatial reasoning. In J. Calmet (Ed.), Proc. Conf. on Artificial Intelligence and Symbolic Mathematical Computation (AISMC), Vol. 1138, LNCS. Berlin; Heidelberg, Germany: Springer.

....field of Qualitative Spatial Reasoning is now an active research area in its own right within AI (and also in Geographical Information Systems) having grown out of earlier work in philosophical logic and more general Qualitative Reasoning in AI. In this paper (which is an updated version of [25]) I will survey the state of the art in Qualitative Spatial Reasoning, covering representation and reasoning issues as well as pointing to some application areas. 1 What is Qualitative Reasoning The principal goal of Qualitative Reasoning (QR) 129] is to represent not only our everyday ....

....aspects, topology, distance, orientation, shape and uncertainty. Then I will move on to qualitative spatial reasoning including reasoning about spatial change. The paper concludes with a discussion of theoretical results and a glimpse at future work. This paper is a revised and updated version of [25]. Although I have tried to cover the main areas of QSR, this paper is certainly not a comprehensive survey of the subject and there is much interesting work which unfortunately I have not had space to describe here. 3 Possible applications of qualitative spatial reasoning Researchers in ....

A G Cohn. Calculi for qualitative spatial reasoning. In J Pfalzgraf J Calmet, J A Campbell, editor, Artificial Intelligence and Symbolic Mathematical Computation, volume 1138 of LNCS, pages 124--143. Springer Verlag, 1996.

....event occurrences or unusual behaviours. 1 Introduction Dynamic scene analysis has traditionally been quantitative and typically generates large amounts of temporally evolving data. A rich selection of qualitative representation and reasoning systems already exist [ Weld and De Kleer, 1990; Cohn, 1996 ] although there are relatively few real world applications. The work described in this paper was motivated by the desire to apply qualitative spatio temporal reasoning techniques to real world dynamic scene analysis. The information provided from existing tracking applications is, by nature, ....

....between two that are not the same the removal process is more complicated. The transition from one relationship tuple to the other has to respect the underlying assumption that motion is continuous. This is achieved by checking the transition is allowed by reference to a continuity network (c.f. Cohn, 1996 ] also known as a conceptual neighbourhood) for the qualitative spatial relations involved. A continuity network for the qualitative relative position relations is depicted in figure 6. Ahead Right Behind Right Behind Behind Left Left Ahead Right Ahead Left Figure 6: Continuity Network for ....

A G Cohn. Calculi for qualitative spatial reasoning. In J Pfalzgraf J Calmet, J A Campbell, editor, Artificial Intelligence and Symbolic Mathematical Computation, volume 1138 of LNCS, pages 124--143. Springer Verlag, 1996.

.... Systems (GIS) there is a need for qualitative spatial query languages for example (Clementini, Sharma and Egenhofer 1994) and for navigation (Schlieder 1993) Other applications include specifying the syntax and semantics of Visual Programming languages (Gooday and Cohn 1995, Gooday and Cohn 1996b, Haarslev 1995) This paper is devoted largely to presenting one particular formalism for QSR, the RCC 2 calculus which has been developed at the University of Leeds over the last few years in a series of papers 3 including (Randell, Cui and Cohn 1992, Cui, Cohn and Randell 1992, Cohn, ....

.... has been developed at the University of Leeds over the last few years in a series of papers 3 including (Randell, Cui and Cohn 1992, Cui, Cohn and Randell 1992, Cohn, Randell, Cui and Bennett 1993, Cui, Cohn and Randell 1993, Bennett 1994b, Gotts 1994b, Cohn and Gotts 1996a, Gotts, Gooday and Cohn 1996, Cohn 1995) and indeed is still the subject of ongoing research. This current paper is substantially based on material published in (Cohn, Bennett, Gooday and Gotts 1997) but has been modified so as to be of more relevance to the geo sciences. Some of the technical detail given in the earlier ....

[Article contains additional citation context not shown here]

Cohn, A. G.: 1996, Calculi for qualitative spatial reasoning, in J. P. J Calmet, J A Campbell (ed.), Artificial Intelligence and Symbolic Mathematical Computation, Vol. 1138 of LNCS, Springer Verlag, pp. 124--143.

No context found.

Cohn, A.G. 1996 Calculi for Qualitative Spatial Reasoning. In Calmet, J., Campbell, J.A., and Pfalzgraph, J. (Eds.) Artificial Intelligence and Symbolic Mathematical Computation. LNCS 1138. Springer Verlag, 124-143.

No context found.

Anthony G. Cohn. Calculi for qualitative spatial reasoning. In Proceedings of AISMC-3, Lecture Notes in Computer Science. Springer-Verlag, 1996.

No context found.

A. G. Cohn. Calculi for qualitative spatial reasoning. In J. Camlet, L. A. Campbell, and J. Pfalzgraf, editors, Artificial Intelligence and Symbolic Mathematical Computation, volume LNCS 1138, pages 124--143. Springer Verlag, 1996.

No context found.

Cohn, A. (1996) Calculi for Qualitative Spatial Reasoning. In Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, eds: J Calmet, J A Campbell, J Pfalzgraf, Springer Verlag, 124143, 1996.

No context found.

Cohn, A. (1996) Calculi for Qualitative Spatial Reasoning. In Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, eds: J Calmet, J A Campbell, J Pfalzgraf, Springer Verlag, 124-143, 1996.

No context found.

Cohn, A. G. (1996). Calculi for Qualitative Spatial Reasoning. In J. Calmet, J. A.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC