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 :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00073365
Contributor : Rapport de Recherche Inria <>
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

Identifiers

  • HAL Id : inria-00073365, version 1

Collections

Citation

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

Share

Metrics

Record views

305

Files downloads

241