Czasopismo
2001
|
Vol. 46, nr 1,2
|
159-186
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
Suppose we want to develop a theory of space in which the primary entities are not points, but regions. How do we proceed? Historically, the most popular approach is to select a group of spatial relations corresponding to familiar spatial concepts, and then to construct an axiomatic system governing these relations. The appropriateness of this axiomatic system is to be judged on the basis of its ability to chime with pre-theoretic intuition and of its success in a larger theory of scientific or commonsense spatial reasoning. In this paper, we argue that this approach is flawed, and leads only to labyrinthine systems of doubtful theoretical or practical value. We present an alternative approach which substitutes mathematical rigour for pre-theoretic intuition, and which at the same time provides a real guarantee of practical applicability.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
159-186
Opis fizyczny
bibliogr. 24 poz.
Twórcy
autor
- Department of Computer Science University of Manchester Manchester, UK, ipratt@cs.man.ac.uk
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0009-0090