Skip to Main content Skip to Navigation

Program Supervision: from Knowledge Modeling to Dedicated Engines

Abstract : In this report we present knowledge-based techniques for automating the use of a modular set of programs (or program supervision in short). Our goal is to provide tools which are both general and flexible. First we describe how program supervision knowledge can be modeled and we propose a knowledge description language, YAKL, to easily express this knowledge. Then we present two dedicated program supervision engines which are extensions of the OCAPI program supervision engine. The PEGASE engine provides mechanisms for managing sophisticated repair strategies. The second one PHENIX is a first attempt to introduce more dynamicity in the planning phase of PEGASE. Examples are shown through an image processing application, the morphological description of galaxies.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:37:57 PM
Last modification on : Saturday, January 27, 2018 - 1:30:56 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:44:01 PM


  • HAL Id : inria-00073365, version 1



Sabine Moisan, Régis Vincent, Monique Thonnat. Program Supervision: from Knowledge Modeling to Dedicated Engines. RR-3324, INRIA. 1997. ⟨inria-00073365⟩



Record views


Files downloads