Abstract
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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
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.
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.
S. Chien, “Automated synthesis of image processing procedures for a large-scale image database,” IEEE International Conference on Image Processing, 1994, pp. 796–800.
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.
J. van den Elst, “Knowledge modelling for program supervision in image processing,” Ph.D. Thesis, Université de Nice, October 1996.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Marcos, M., Moisan, S. & Del Pobil, A.P. Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification. Applied Intelligence 10, 185–196 (1999). https://doi.org/10.1023/A:1008375803305
Issue Date:
DOI: https://doi.org/10.1023/A:1008375803305