Rapport de Recherche Laforia /
Laforia research reports
38 pages - Juin/June 1995 - French document.
PostScript : 173 Ko /Kb
Titre / Title: Un framework pour la représentation de connaissances temporelles par objets et règles
Abstract : We introduce a general framework for representing temporal reasoning in an environment integrating object-oriented programming with rule-based programming. The model is based on the simultaneous use of three mechanisms specific to this integration: natural typing; rule base inheritance and declarative specification of control with meta rules. These mechanisms are used to implement two inference patterns deemed essential for temporal reasoning: aggregation and forgetting. The framework is motivated by a comparative analysis of two substantial complete applications that have been validated.
Publications internes Laforia 1995 / Laforia research reports 1995