A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation

Irène Durand 1 Sylviane Schwer 2
1 Méthodes Formelles
LaBRI - Laboratoire Bordelais de Recherche en Informatique
Abstract : Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of natural language processing for instance, the temporal analysis of a text yields a set of temporal relations between events in a given linguistic theory. The problem is first to express events and any possible temporal relations between them, then to express the qualitative temporal constraints (as subsets of the set of all possible temporal relations) and compute (or count) all possible temporal relations that can be deduced. For this purpose, we propose to use the formalism of S-languages, based on the mathematical notion of S-arrangements with repetitions [schwer:CRM02]. In this paper, we present this formalism in detail and our implementation of it. We explain why Lisp is adequate to implement this theory. Next we describe a Common Lisp system SLS (for S-LanguageS) which implements part of this formalism. A graphical interface written using McCLIM, the free implementation of the CLIM specification, frees the potential user of any Lisp knowledge. Fully developed examples illustrate both the theory and the implementation.
Type de document :
Article dans une revue
Journal of Universal Computer Science, Springer, 2008, 14 (20), pp.3282-3306
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00708763
Contributeur : Irène A. Durand <>
Soumis le : vendredi 15 juin 2012 - 16:17:47
Dernière modification le : mardi 11 octobre 2016 - 14:47:38

Identifiants

  • HAL Id : hal-00708763, version 1

Collections

Citation

Irène Durand, Sylviane Schwer. A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation. Journal of Universal Computer Science, Springer, 2008, 14 (20), pp.3282-3306. <hal-00708763>

Partager

Métriques

Consultations de la notice

90