A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation
Résumé
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 %provides 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.