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
Abstract
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, S. Padalkar, C. Krishnamurthy, 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
PROCEEDINGS
8 PAGES


SHARE
RELATED CONTENT

COM-based expert system for map projection selection
Proceedings of SPIE (August 01 2007)
A Medium Grained Parallel Computer For Image Processing
Proceedings of SPIE (July 24 1989)
A Hierarchical Planner For Intelligent Systems
Proceedings of SPIE (April 05 1985)
Learning to recognize reusable software by induction
Proceedings of SPIE (January 01 1990)
Visual information: amplifying and foraging
Proceedings of SPIE (May 03 2001)

Back to Top