Qualitative Spatial ChangeOxford University Press, 2000 - 409 Seiten This book is a contribution to the emerging discipline of Qualitative Spatial Information Theory. The discipline has arisen from a realization that traditional quantitative techniques for the analysis of spatial phenomena must be supplemented by a wide range of qualitative methods if we are to use information technology effectively to further our capacity for handling spatio-temporal information. Such qualitative methods must be supported by a body of theory concerning the nature and organization of our spatio-temporal concepts. This theory will cover time, space, objects in space, their spatial attributes, changes in those attributes, and the temporal structure of those changes. In this book each topic is given a chapter to itself, and theory of qualitative spaces as partitions of quantitative spaces is developed in detail, and applied to numerous particular cases. The theory thus provides a uniform basis for the further development of formal and computational theories of spatial change. |
Im Buch
Ergebnisse 1-3 von 41
Seite 28
... Logic , too , involves idealization . The mainstay of modern logic is the first - order predicate calculus , which rests on the idealized notion of a prop- erty as an all - or - nothing affair ; that is , given any property ...
... Logic , too , involves idealization . The mainstay of modern logic is the first - order predicate calculus , which rests on the idealized notion of a prop- erty as an all - or - nothing affair ; that is , given any property ...
Seite 80
... logic of regions is essentially a form of propositional logic . Bennett considers in turn Classical Propositional Logic , which is only adequate for representing the pure mereological part of the theory ( exploiting the correspondence ...
... logic of regions is essentially a form of propositional logic . Bennett considers in turn Classical Propositional Logic , which is only adequate for representing the pure mereological part of the theory ( exploiting the correspondence ...
Seite 390
... logic for temporal preposi- tions ' , in H. Barringer , M. Fisher , D. Gabbay , and G. Gough ( eds ) , Advances in Temporal Logic ( Dordrecht : Kluwer Academic Publishers ) , 255-78 . and Lemon , O. ( 1997 ) , ' Ontologies for plane ...
... logic for temporal preposi- tions ' , in H. Barringer , M. Fisher , D. Gabbay , and G. Gough ( eds ) , Advances in Temporal Logic ( Dordrecht : Kluwer Academic Publishers ) , 255-78 . and Lemon , O. ( 1997 ) , ' Ontologies for plane ...
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
adjacency area-separation atomic axioms beg(i beg(j Boolean algebra boundary boundary-separation circle closed sets co-dimension complement components conceptual neighbourhood connected connectivity space consider continuous convex corresponding curvature definition diagram dimension discrete discrete space discussed distinct dominance element end(i entities event-type example finite function geometry given granularity Hausdorff distance hence holds hole instant interior interval irreflexive kind linear logic material objects mathematical means measure Mereology mereotopology mode space notion NTPP occur ontology overlap pair phase space point-set point-set topology position possible properties q₁ qualitative quantitative R₁ RCC relations real numbers reference object reflectional symmetry regarded regions regular open sets representation represented rotation sense sequence set of points shape shown in Figure spatial change specified subinterval subspace subspace topology supervenient surface symmetry t₁ temporal theorem theory three-dimensional three-dimensional space tion TM space topological topological space transition triangle xneg ypos zero
Verweise auf dieses Buch
Event-Oriented Approaches in Geographic Information Science: A Special Issue ... Kathleen Hornsby,Michael Worboys Keine Leseprobe verfügbar - 2004 |
Classics from IJGIS: Twenty years of the International Journal of ... Peter Fisher Keine Leseprobe verfügbar - 2006 |