Abstract
This paper presents a knowledge-level analysis of the task program supervision 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 set of properties that it assumes on domain knowledge. These aspects have been successfully used as a framework to compare different systems, mostly for knowledge engineering purposes. Our purpose is to use assumptions as the properties that the knowledge base must verify.
Her work has been carried out at INRIA and has been financed by the grant PF95 19899400 from the Spanish Ministry of Education and Culture.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
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.
R. Benjamins, L. Nunes de Barros, and A. Valente. Constructing Planners Through Problem-Solving Methods. In 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, 1996.
R. Benjamins and C. Pierret-Golbreich. Assumptions of problem-solving methods. In N. Shadbolt, K. O'Hara, and G. Schreiber, editors, Advances in Knowledge Acquisition, number 1076 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996.
S. Chien. Automated synthesis of image processing procedures for a large-scale image database. IEEE International Conference on Image Processing, pages 796–800, 1994.
D. Fensel, A. Schönegge, R. Groenboom, and B. Wielinga. Specification and Verification of Knowledge-Based Systems. In European Conference on Artificial Intelligence workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 1996.
M. Marcos, S. Moisan, and A. P. del Pobil. A Model-Based Approach to the Verification of Program Supervision Systems. In 4th European Symposium on the Validation and Verification of Knowledge Based Systems, pages 231–241, June 1997.
L. Nunes de Barros, A. Valente, and R. Benjamins. Modeling Planning Tasks. In 3rd International Conference on Artificial Intelligence Planning Systems, 1996.
M. Thonnat, V. Clement, and J. Van den Elst. Supervision of Perception Tasks for Autonomous Systems: The OCAPI Approach. International Journal of Information Science and Technology, 3(2):140–163, 1994.
J. van den Elst. Knowledge Modelling for Program Supervision in Image Processing. PhD thesis, Universite de Nice, October 1996.
R. Vincent. Etude des mécanismes de gestion des erreurs dans les systèmes à base de connaisances de pilotage de programmes. PhD thesis, Université de Nice, March 1997.
B. Wielinga, H. Hassan, O. Olsson, K. Orsviirn, G. Schreiber, P. Terpstra, W. van de Welde, and S. Wells. Expertise Model Definition Document. Technical Report KADS-II/M2/UvA/026/5.0, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag
About this paper
Cite this paper
Marcos, M., Moisan, S., del Pobill, A.P. (1998). Knowledge modeling of program supervision task. In: Mira, J., del Pobil, A.P., Ali, M. (eds) Methodology and Tools in Knowledge-Based Systems. IEA/AIE 1998. Lecture Notes in Computer Science, vol 1415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64582-9_742
Download citation
DOI: https://doi.org/10.1007/3-540-64582-9_742
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64582-5
Online ISBN: 978-3-540-69348-2
eBook Packages: Springer Book Archive