31 October 1987 Testing And Validation In Artificial Intelligence Programming
Author Affiliations +
Proceedings Volume 0851, Space Station Automation III; (1987) https://doi.org/10.1117/12.942907
Event: Advances in Intelligent Robotics Systems, 1987, Cambridge, CA, United States
The paper describes a test and validation toolset developed for artificial intelligence programs. The basic premises of this method are: (1) knowledge bases have a strongly declarative character and represent mostly structural information about different domains, (2) the conditions for integrity, consistency and correctness can be transformed to structural properties of knowledge bases and (3) structural information and structural properties can be uniformly represented by graphs and checked by graph algorithms. The interactive test and validation environment have been implemented on a SUN workstation.
© (1987) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
J. Sztipanovits, J. Sztipanovits, S. Padalkar, S. Padalkar, C. Krishnamurthy, C. Krishnamurthy, R. B. Purves, R. B. Purves, } "Testing And Validation In Artificial Intelligence Programming", Proc. SPIE 0851, Space Station Automation III, (31 October 1987); doi: 10.1117/12.942907; https://doi.org/10.1117/12.942907


Back to Top