Applied Intelligence

, Volume 10, Issue 2–3, pp 185–196 | Cite as

Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification

  • Mar Marcos
  • Sabine Moisan
  • Angel P. Del Pobil


This paper presents a knowledge-level analysis of the program supervision task based on two different systems: PEGASE and PULSAR. A knowledge-level analysis of a knowledge-based system reveals the organisation of the knowledge it uses and how it uses this knowledge to solve the task. It is also the key to determine the properties that it assumes about domain knowledge. These aspects of knowledge-level analysis have been successfully used as a framework to compare different systems, mostly for knowledge engineering purposes. This paper also describes how domain knowledge assumptions have been exploited in the implementation of a verification module for program supervision knowledge bases.

knowledge modeling program supervision task verification of knowledge bases 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. Bodington, E. Gallier, and C. Theot, “The vision system development environment (VSDE): A software environment for the automatic configuration of inspection systems,” Draft version, 1992.Google Scholar
  2. 2.
    M. Thonnat, V. Clément, and J. Van den Elst, “Supervision of perception tasks for autonomous systems: The OCAPI approach,” International Journal of Information Science and Technology, vol. 3,no. 2, pp. 140–163, 1994.Google Scholar
  3. 3.
    S. Chien, “Automated synthesis of image processing procedures for a large-scale image database,” IEEE International Conference on Image Processing, 1994, pp. 796–800.Google Scholar
  4. 4.
    R. Vincent, “Etude des mécanismes de gestion des erreurs dans les systèmes à base de connaisances de pilotage de programmes,” Ph.D. Thesis, Université de Nice, March 1997.Google Scholar
  5. 5.
    J. van den Elst, “Knowledge modelling for program supervision in image processing,” Ph.D. Thesis, Université de Nice, October 1996.Google Scholar
  6. 6.
    M. Marcos, S. Moisan, and A.P. del Pobil, “A model-based approach to the verification of program supervision systems,” in Proc. Fourth European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV-97), June 1997, pp. 231–241.Google Scholar
  7. 7.
    L. Nunes de Barros, A. Valente, and R. Benjamins, “Modeling planning tasks,” in Proc. Third International Conference on Artificial Intelligence Planning Systems (AIPS-96), 1996.Google Scholar
  8. 8.
    R. Benjamins, L. Nunes de Barros, and A. Valente, “Constructing planners through problem-solving methods,” in Proc. Tenth Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-96), Banff, Canada, 1996.Google Scholar
  9. 9.
    B. Wielinga, H. Hassan, O. Olsson, K. Orsvärn, G. Schreiber, P. Terpstra, W. van de Welde, and S. Wells, “Expertise model definition document,” Technical Report KADS-II/M2/UvA/026/5.0, University of Amsterdam, June 1994.Google Scholar
  10. 10.
    G. Schreiber, B. Wielinga, R. de Hoog, H. Akkermans, and W. van de Welde, “CommonKADS: A comprehensive methodology for KBS development,” IEEE Expert, vol. 9,no. 6, pp. 28–37, 1994.Google Scholar
  11. 11.
    D. Fensel, A. Schönegge, R. Groenboom, and B. Wielinga, “Specification and verification of knowledge-based systems,” in Proc. Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, Twelfth European Conference on Artificial Intelligence (ECAI-96), 1996.Google Scholar
  12. 12.
    M. Crubézy, M. Marcos, and S. Moisan, “Experiments in building program supervision engines from reusable components,” in Proc. Workshop on Applications of Ontologies and Problem-Solving Methods, Thirteenth European Conference on Artificial Intelligence (ECAI-98), Brighton: England, August 1998, pp. 44–53.Google Scholar
  13. 13.
    R. Benjamins and C. Pierret-Golbreich, “Assumptions of problem-solving methods,” in Proc. Nineth European Knowledge Acquisition Workshop (EKAW-96), edited by N. Shadbolt, K. O'Hara, and G. Schreiber, number 1076 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1996.Google Scholar
  14. 14.
    M. Thonnat, S. Moisan, and M. Crubézy, “Experience in integrating image processing programs,” in Proc. International Conference on Vision Systems (ICVS-99), Las Palmas, Spain, January, 1999.Google Scholar

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Mar Marcos
    • 1
  • Sabine Moisan
    • 2
  • Angel P. Del Pobil
    • 1
  1. 1.Dept. of Computer ScienceUniversitat Jaume ICastellónSpain
  2. 2.INRIA—Sophia AntipolisSophia Antipolis CedexFrance

Personalised recommendations