Share Email Print
cover

Proceedings Paper

Testing And Validation In Artificial Intelligence Programming
Author(s): J. Sztipanovits; S. Padalkar; C. Krishnamurthy; R. B. Purves
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 31 October 1987
PDF: 8 pages
Proc. SPIE 0851, Space Station Automation III, (31 October 1987); doi: 10.1117/12.942907
Show Author Affiliations
J. Sztipanovits, Vanderbilt University (United States)
S. Padalkar, Vanderbilt University (United States)
C. Krishnamurthy, Vanderbilt University (United States)
R. B. Purves, Boeing Aerospace Company (United States)


Published in SPIE Proceedings Vol. 0851:
Space Station Automation III
Wun C. Chiou, Editor(s)

© SPIE. Terms of Use
Back to Top