Speaking about and Acting upon Oneself.

J. Pitrat

IBP-Laforia 1995/29: Rapport de Recherche Laforia / Laforia research reports
12 pages - Janvier/January 1996 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Speaking about and Acting upon Oneself.

Résumé :
Un système réflexif a besoin de métaconnaissances pour analyzer et créer facilement des connaissances. Aussi, est-il essentiel que l'on puisse exprimer ces métaconnaissances sous une forme commode, sans avoir à se préoccuper de la représentation interne des connaissances. Nous définissons pour cela les deux fonctions MATCH et CREATE; elles reçoivent la description des connaissances sous une forme proche du formalisme mathématique usuel. Ces fonctions sont particulièrement utiles quand elles sont utilisées simultanément. Elles sont compilées par des expertises qui utilisent elles-mêmes ces fonctions. Elles sont constamment utilisées dans le système MACISTE, en particulier pour définir des connaissances, pour les procéduraliser, les interpréter et les afficher.

Abstract : A reflective system needs metaknowledge to analyze and create knowledge easily. So, it is essential that we can express this metaknowledge in a convenient way, without bothering with the internal representation of knowledge. We define two functions, MATCH and CREATE, which receive the description of knowledge in a mathematical formalism. These functions are particularly useful when they are used together. They are compiled by expertises that use these functions themselves. They are used everywhere in the MACISTE system: to define declarative knowledge, to proceduralize it, to interpret it, to display it and so on.

Publications internes Laforia 1995 / Laforia research reports 1995