Title :
A CLP framework for time-related reasoning in industrial applications
Author :
Barber, F. ; Dondossola, Giovanna ; Berlanga, Rafael ; Toledo, F. ; Martin, G.
Author_Institution :
Jaume I Univ.
Abstract :
The aim of this paper is to present an implementation of the “general representation formalism”, a formalism to represent temporal knowledge, based on constraint logic programming (CLP). The work is a result of the ESPRIT project EQUATOR which focused on new formalisms and tools for developing applications requiring sophisticated time-related reasoning techniques. The general representation formalism is an extension of the event calculus due to Kowalski and Sergot (1986). Its implementation presented has been used to develop several parts taken from the EQUATOR demonstrators relevant to the air and urban traffic control applications
Keywords :
constraint handling; knowledge representation; logic programming; temporal reasoning; traffic control; EQUATOR; ESPRIT project; air traffic control; constraint logic programming; event calculus; general representation formalism; temporal knowledge; time-related reasoning; urban traffic control;
Conference_Titel :
Intelligent Systems Engineering, 1994., Second International Conference on
Conference_Location :
Hamburg-Harburg
Print_ISBN :
0-85296-621-0
DOI :
10.1049/cp:19940622
