Implementation of a reflective system.

J. PITRAT

IBP-Laforia 1996/02: Rapport de Recherche Laforia / Laforia research reports
12 pages - Octobre/October 1996 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Implementation of a reflective system.

Résumé : Le système MACISTE est réflexif, car il se sert de métaconnaissances pour utiliser ces métaconnaissances elles-mêmes. En particulier, il compile à l'aide de métaconnaissances toutes ses propres connaissances et métaconnaissances. Comme les métaconnaissances sont elles aussi données sous forme déclarative, il est nécessaire d'amorcer le système en lui donnant ses métaconnaissances sous une forme de plus en plus déclarative. Il existe une autre sorte de réflexivité, car MACISTE peut observer son propre comportement de telle sorte qu'il peut s'améliorer quand il y détecte des erreurs ou des inefficacités. Quoique le but principal du système soit de s'améliorer à l'aide de lui-même, il a été utilisé pour définir les métaconnaissances nécessaires pour un résolveur général de problèmes et pour un démonstrateur général de théorèmes.

Abstract : MACISTE is a reflective system that uses metaknowledge to use this metaknowledege itself. In particular, metaknowledge compiles knowledge and metaknowledge. As all metaknowledge is given in a declarative way, we bootstrap the system so that one can give it metaknowledge in a more and more declarative form. There is another kind of reflectivity: MACISTE can observe its own behavior so that it will be able to improve it if it detects some errors or inefficiencies. Although its main goal is to improve itself, it has been used to define metaknowledge for a general problem-solver and for a general theorem-prover.

Publications internes Laforia 1996 / Laforia research reports 1996