Towards Linguistically-Grounded Spatial Logics

Spatial Representation and Reasoning in Language : Ontologies and Logics of Space

计算机科学;物理学;数学

Joana Hois ; Oliver Kutz

Others  :  http://drops.dagstuhl.de/opus/volltexte/2011/2729/pdf/10131.HoisJoana.Paper.2729.pdf
PID  :  45647

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

The system of Euclidean geometry is defined by geometrical axioms with points and lines as primitive entities [Hilbert, 1899, Tarski, 1959]. It provides the ground for spatial logics [Aiello et al., 2007], a formal language used for describing geometrical entities and configurations, interpreted over a class of geometric structures. These structures can be any kind of geometrical spaces, such as topological spaces, affine spaces, or metric spaces.[First Paragraph]