Skip to main content
Log in

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

  • Published:
Applied Intelligence Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  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.

  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. S. Chien, “Automated synthesis of image processing procedures for a large-scale image database,” IEEE International Conference on Image Processing, 1994, pp. 796–800.

  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.

  5. J. van den Elst, “Knowledge modelling for program supervision in image processing,” Ph.D. Thesis, Université de Nice, October 1996.

  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.

  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.

  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.

  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.

  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. 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.

  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.

  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.

  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.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008375803305

Navigation