Jean-Pierre GOULETTE
Sémantique formelle de l’espace. Une application au raisonnement spatial qualitatif en architecture, Pages 9-34 [Texte en pdf]
Resumé: Nous présentons tout d’abord brièvement une analyse de descriptions textuelles d’éléments d’architecture. Nous rejoignons alors certains travaux menés en sémantique formelle de l’espace, travaux qui prennent pour point de départ l’étude de textes décrivant des phénomènes spatiaux et qui visent à la définition de modèles formels de raisonnement spatial. Nous reprenons et complétons, en les adaptant à notre propos, certains résultats de ces travaux. L’analyse des descriptions textuelles d’éléments d’architecture et de leurs compositions nous permet de spécifier les caractéristiques de l’espace qualitatif de la composition architecturale. En nous inspirant des théories axiomatiques de la méréotopologie et de la méronomie formelle, nous proposons un cadre d’énonciation des connaissances relatives à la composition en architecture. Nous définissons alors un modèle de raisonnement spatial qualitatif et un langage formel permettant d’exprimer certaines lois de la composition architecturale et de raisonner sur les propriétés des compositions et de leurs constituants.
Formal semantics of space. An application to the qualitative spatial reasoning in architecture
Abstract: Through the "Architectural Vocabulary", we analyse the textual descriptions of architectural elements. We join some works based on formal semantics of space, which have as starting point the study of texts describing the spatial phenomena, and wich attend to present formalisms for some aspects of human spatial reasoning. Using these works conclusions, we adapt them to our approach. By the analysis of textual descriptions of architectural elements and their compositions, we are allowed to specify the characteristics of the qualitative space of architectural composition. Through the axiomatic theories of mereotopology and formal meronomy, we propose a framework for representing the knowledge related to architectural composition. Therefore we define a model of qualitative spatial reasoning and a formal language which enables us to express some architectural composition laws, and also to reason about the compositions properties and their constituting elements.
|
