Knowledge modeling of program supervision task

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1415, Issue , 1998, Pages 124-133

  Marcosh, Mar ^a   Moisan, Sabine ^b   del Pobil, Angel P ^a  

^a UNIVERSITAT JAUME I   (Spain)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; EXPERT SYSTEMS; SUPERVISORY AND EXECUTIVE PROGRAMS;

DOMAIN KNOWLEDGE; KNOWLEDGE BASE; KNOWLEDGE IT; KNOWLEDGE LEVEL; KNOWLEDGE MODEL;

KNOWLEDGE BASED SYSTEMS;

EID: 84947801859     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (11)

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. R. Benjamins, L. Nunes de Barros, and A. Valente. Constructing Planners Through Problem-Solving Methods. In lOth Banff Knowledge Acquisition for KnowledgeBased Systems Workshop, 1996.
3. 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.
4. S. Chien. Automated synthesis of image processing procedures for a large-scale image database. IEEE International Conference on Image Processing, pages 796-800, 1994.
5. D. Fensel, A. Schonegge, 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.
6. 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.
7. L. Nunes de Barros, A. Valente, and R. Benjamins. Modeling Planning Tasks. In 3rd International Conference on Artificial Intelligence Planning Systems, 1996.
8. 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.
9. J. van den Elst. Knowledge Modelling for Program Supervision in Image Processing. PhD thesis, Universite de Nice, October 1996.
10. R. Vincent. Etude des mecanismes de gestion des erreurs dans les systemes a base de connaisances de pilotage de programmes. PhD thesis, Universite de Nice, March 1997.
11. B. Wielinga, H. Hassan, O. Olsson, K. Orsviirn, G. Schreiber, P. Terpstra, W. van de Weide, and S. Wells. Expertise Model Definition Document. Technical Report KADS-II/M2/Uv A/026/5.0, 1994.