Title :
Temporal and hypothetical reasoning as a support for qualitative reasoning
Author :
Loesel, Corinne ; Charpillet, François ; Haton, Jean-Paul
Author_Institution :
CRIN-CNRS/INRIA Lorraine, Vandoeuvre-les-Nancy, France
Abstract :
To deal with complex problems, many kinds of reasoning and representation techniques are needed. The cooperation between different reasoning models constitutes one of the objectives of second-generation systems. The need to mix temporal and hypothetical reasoning for qualitative simulation is highlighted. A system built around an ATMS, a TCP, and a model that reasons on orders of magnitude is proposed. This system relies on an extension of HEART (see C. Joubel and O. Raiman, 1990). A new method for making histories concise has been developed
Keywords :
heuristic programming; temporal reasoning; truth maintenance; ATMS; HEART; TCP; histories; hypothetical reasoning; orders of magnitude; qualitative reasoning; reasoning models; representation techniques; temporal reasoning; Artificial intelligence; Differential equations; Heart; History; Knowledge representation; Solid modeling; Uncertainty;
Conference_Titel :
Tools with Artificial Intelligence, 1992. TAI '92, Proceedings., Fourth International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
0-8186-2905-3
DOI :
10.1109/TAI.1992.246441
