Reasoning about cyclic space: axiomatic and computational aspects - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Reasoning about cyclic space: axiomatic and computational aspects

Résumé

In this paper we propose models of the axioms for linear and cyclic orders. First, we describe explicitly the relations between linear and cyclic models, from a logical point of view. The second part of the paper is concerned with qualitative constraints: we study the cyclic point algebra. This formalism is based on ternary relations which allow to express cyclic orientations. We give some results of complexity about the consistency problem in this formalism. The last part of the paper is devoted to conceptual spaces. The notion of a conceptual space is related to the complexity properties of temporal and spatial qualitative formalisms, including the cyclic point algebra.
Fichier principal
Vignette du fichier
Reasoning about Cyclic Space.pdf (406.25 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04003614 , version 1 (24-02-2023)

Identifiants

Citer

Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. Reasoning about cyclic space: axiomatic and computational aspects. German Conference on Spatial Cognition 2002, May 2002, Tutzing, Germany. pp.348--371, ⟨10.1007/3-540-45004-1_20⟩. ⟨hal-04003614⟩
18 Consultations
15 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More