A Pointless Theory of Space based on Strong Connection and Congruence

We present a logical theory of space where only tridimensional regions are assumed in the domain. Three distinct primitives are used to describe their mereological, topological and morphological properties: mereology is described by a parthood relation satisfying the axioms of Closed Extensional Mereology; topology is described by means of a "simple region" predicate, by which a relation of "strong connection" between regions having at least a surface in common is defined; morphology is described by means of a "congruence" primitive, whose axioms exploit Tarski's analogy between points and spheres.

Tipo Pubblicazione: 
Contributo in atti di convegno
Author or Creator: 
Borgo
Stefano
Guarino
Nicola
Masolo
Claudio
Source: 
Principles of knowledge representation and reasoning (KR), pp. 220–229, 2-4/11/1996
info:cnr-pdr/source/autori:Borgo, Stefano and Guarino, Nicola and Masolo, Claudio/congresso_nome:Principles of knowledge representation and reasoning (KR)/congresso_luogo:/congresso_data:2-4/11/1996/anno:1996/pagina_da:220/pagina_a:229/intervallo_pagine:2
Date: 
1996
Resource Identifier: 
http://www.cnr.it/prodotto/i/425231
Language: 
Eng
ISTC Author: 
Ritratto di Nicola Guarino
Real name: 
Ritratto di Claudio Masolo
Real name: 
Ritratto di Stefano Borgo
Real name: