Un framework pour la représentation de connaissances temporelles par objets et règles

F. PACHET, M. DOJAT

IBP-Laforia 1995/19: 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

Résumé : Nous présentons un cadre général pour la représentation de raisonnement temporel dans un univers intégrant programmation par objets et règles de production. Ce cadre est basé sur l'utilisation conjointe de trois mécanismes nés de cette intégration; le typage naturel, l'héritage de bases de règles, et le contrôle déclaratif par méta règles. Ces mécanismes sont utilisés pour représenter deux schémas d'inférence : agrégation et oubli. Le cadre proposé est motivé par l'analyse comparée de deux applications substantielles complètes ayant toutes deux été validées.

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