Cohn AG, Hazarika SM. Continuous transitions in mereotopology. In: Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense reasoning; New York, USA; 2001. p. 71-80. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Taxonomy for Spatial Vagueness - An Alternative Egg-Yolk.. - Hazarika, Cohn Self-citation (Cohn Hazarika) (Correct)
No context found.
A G Cohn and S M Hazarika, `Continuous transitions in mereotopology', in Working Notes of Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning, pp. 71--80, New York, (2001).
Qualitative Spatio-Temporal Continuity - Hazarika, Cohn Self-citation (Cohn Hazarika) (Correct)
....[19, 7] Here too, we do not admit lower dimensional entities such as temporal points into our ontology for the same reasons as argued in [19, 12, 4] Thus s t histories may pinch to a spatial point at a temporal point, but we do not allow explicit reference to either of these points. However, in [5] we have developed descriptive apparatus to allow us to describe instantaneous transitions and histories which pinch to a spatial point instantaneously. 2.1 Connection Relations We will use three connection relations C st ; C sp and C t for spatio temporal, spatial and temporal connection ....
....for an component based on DF 1. D10. Comp xyz def 9u[ u = CON x P xu 8w( CON w P wu P xw) w = x) where 2 fst; sp; tg. 3.1 Multiple Component Analysis If a history contains multiple components, then we can consider how these relate to each other over time. In [5] we provided a set of definitions for various notions of continuity. However there was no formal analysis from which these definitions were recovered. Here we try to provide a more systematic analysis. Our starting point will be a qualitative analysis of the connection relationships between ....
[Article contains additional citation context not shown here]
A G Cohn and S M Hazarika, `Continuous transitions in mereotopology', in Commonsense2001: 5th Symp. on Logical Formalizations of Commonsense Reasoning, New York, (2001).
Abducing Qualitative Spatio-Temporal Histories from Partial.. - Hazarika, Cohn Self-citation (Cohn Hazarika) (Correct)
....Figure 2: Abductive approach to generating an integrated s t representation. 2.1 Spatio Temporal Theory # ST We restrict discussion of the s t theory # ST here to s t histories and continuity expressed in a purely mereotopological framework. Elsewhere we have discussed the theory in detail [6, 15]. We use three connection relations: C st , C sp and C t , for s t, spatial and temporal connection respectively. The axiomatisation of these connection relations are identical and follows [4] From the topological primitive of C#xy (where # st, sp, t ) we define the mereological relation of ....
....of a temporal slice, TSxy, i.e. x is a maximal component part of y corresponding to a certain time extent. We use the syntactic sugar w to denote the part of y corresponding to the lifetime of w when it exists (i.e. when t y) We also talk of slices through a collection of s t histories (see [6] for details) In expressions such as we will often talk of z as an interval, even though it is a s t history, to emphasize that we are only interested in its temporal properties in this context. We do not in fact need purely temporal intervals in our ontology. In [15] we defined space time ....
[Article contains additional citation context not shown here]
A G Cohn and S M Hazarika, `Continuous transitions in mereotopology', in Commonsense-2001: 5th Symp. on Logical Formalizations of Commonsense Reasoning, pp. 71--80, New York, (2001).
Spatio-Temporal Continuity in Geographic Space - Cohn, Hazarika Self-citation (Cohn Hazarika) (Correct)
....too we do not admit lower dimensional entities such as temporal points into our ontology for the same reasons as argued in [49, 29, 17] Thus spatio temporal histories may pinch to a spatial point at a temporal point, but we do not allow explicit reference to either of these points. However in [18] we have developed descriptive apparatus to allow us to describe instantaneous transitions and histories which pinch to a spatial point instantaneously. Connection Relations We will use three connection relations: C st ; C sp and C t for spatio temporal, spatial and temporal connection ....
....a temporal interval and are thus not necessarily topological components of the full history. When no confusion arises, we may drop the term relativised . 3.1 Multiple Component Analysis If a history contains multiple components, then we can consider how these relate to each other over time. In [18] we provided a set of definitions for various notions of continuity. However there was no formal analysis from which these definitions were recovered. Here we try to provide a more systematic analysis. Our starting point will be a qualitative analysis of the connection relationships between ....
[Article contains additional citation context not shown here]
A G Cohn and S M Hazarika, `Continuous transitions in mereotopology', in Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning, New York, (2001).
Formalising Bio-Spatial Knowledge - Cohn (2001) Self-citation (Cohn) (Correct)
....distinctions that can be made between different kinds of regions. One particularly important one is that of a one piece region, which we will denote by Con(x) A slightly stronger notion is being FCon(x) which is true if Con(x) and not pinched to a point (or any lower dimensional entity) anywhere[11]. In order to introduce more expressiveness, additional primitives need to be introduced. Most of the approaches to qualitative orientation have been point or line based, whilst here we prefer to remain within a purely region based ontology. One useful notion is that of convexity; a primitive ....
....f Parts(x, y1 , yn ) #z(Part(z, z = y1 . z = yn ) In the present work we will only consider static spatial descriptions. In the more general case we would need to introduce time either as an entirely separate dimension (e.g. 22] or by introducing spatio temporal histories [18, 21, 19, 11]. 4. An axiomatisation of DNA structure We consider the description of DNA structure as given in [1] The citations in the text below are all directly from this source . Beneath each citation, we present a possible formalisation of the text. Some further background biological knowledge will ....
COHN, A. G., AND HAZARIKA, S. M. Continuous transitions in mereotopology. In Proc. Commonsense'01 (2001).
Towards an Architecture for Cognitive Vision using.. - Cohn, Magee, Galata (2002) Self-citation (Cohn Hazarika) (Correct)
....filter out low level spatio temporal data which are not continuous with respect to this diagram (e.g. if disconnected regions are immediately afterwards partially overlapping) A re finement to this approach is to use continuity networks which are specialised to the kinds of objects involved. In [47, 30] we distinguish various weaker notions of continuity which may be appropriate for certain kinds of objects and correspondingly weaker conceptual neighbourhood diagrams. If the vision system can recognise the types of the objects involved, then the notion of continuity can be correspondingly ....
Cohn, A.G., Hazarika, S.M.: Continuous transitions in mereotopology. In: Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning. (2001)
Qualitative Self-Localization using a Spatio-Temporal.. - Hazarika, Cohn (2001) Self-citation (Cohn Hazarika) (Correct)
....pinching that is exclude histories that disappear and reappear again instantaneously at the same spatial location. With temporal pinching, we have weird transitions possible: transitions that do not adhere to the conceptual neighbourhood diagrams for binary topological relations such as RCC 8 [Cohn and Hazarika, 2001a] In order to enforce a stronger notion of spatio temporal continuity for histories we disallow temporal pinching and introduce the notion of firm continuity. D13 is the definition of a non pinched history w and D14 defines firm spatio temporal continuity. D13. NPw def :9x9y[P st xw P st ....
....is never stationary. Objects that are in non cyclic motion and in rest intermittently would be a combination of IMB and NYC over different intervals of time. by a separation. Disjointness: Two bodies remain disjoint for a period. Attachment: Two bodies remian attached for a period 14 . In [Cohn and Hazarika, 2001a] we have introduced three transition operators TransTo; TransFrom and InsRel3. The first two operators assume that the initial and or the final relations hold over intervals 15 and differ as to which of the two relations hold at the dividing instant. The third is for histories undergoing a ....
[Article contains additional citation context not shown here]
A G Cohn and S M Hazarika. Continuous transitions in mereotopology. In Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning, New York, 2001.
STEEL: A Spatio-Temporal Extended Event Language for Tracking.. - Chaudet (Correct)
No context found.
Cohn AG, Hazarika SM. Continuous transitions in mereotopology. In: Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense reasoning; New York, USA; 2001. p. 71-80.
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