Verification and Validation of Knowledge Based Systems
Dr. Mar Marcos
Verification and Validation in Knowledge Based Systems:This is an application in the framework of the automatic supervision of perception tasks for autonomous systems. Particularly, for Knowledge-Based Program Supervision Systems for Vision Applications. Several Knowledge representations co-exist and the coherence of the whole system must be guaranteed. M. Marcos and A. P. del Pobil in cooperation with Dr. S. Moisan and Dr. M. Thonnat (INRIA Sophia-Antipolis)
