Add to ORKGA test and validation toolset developed for artificial intelligence programs is described. 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 into 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
In recent years, knowledge-based software technology has proven itself to be a valuable tool for sol...
A TURING Test is a promising way to validate Al systems which usually have no way to proof correctne...
TURING Test technologies are promising ways to validate AI systems which may have no alternative way...
This eight-volume report presents guidelines for performing verification and validation (V&V) on Art...
This paper deals with the very fundamentals of a so-called "Turing Test Methodology" for e...
Knowledge-based systems have the potential to greatly increase the capabilities of future aircraft a...
Expert systems are a highly useful spinoff of artificial intelligence research. One major stumbling ...
Although there seems to be no (formal) way of proving the validity of an AI system, the authors pres...
Verification and validation of expert systems is very important for the future success of this techn...
Expert systems have demonstrated commercial viability in a wide range of applications, but still fac...
Validation is the art of investigating whether or not a given system is "the right one " a...
This paper describes a complete methodology for the validation of rule-based expert systems. This me...
This paper describes a complete methodology for the validation of rule-based expert systems. This me...
Context: Artificial intelligence (AI) has made its way into everyday activities, particularly throug...
The authors present some ideas on developing a validity statement based on a Turing-test methodology...
In recent years, knowledge-based software technology has proven itself to be a valuable tool for sol...
A TURING Test is a promising way to validate Al systems which usually have no way to proof correctne...
TURING Test technologies are promising ways to validate AI systems which may have no alternative way...
This eight-volume report presents guidelines for performing verification and validation (V&V) on Art...
This paper deals with the very fundamentals of a so-called "Turing Test Methodology" for e...
Knowledge-based systems have the potential to greatly increase the capabilities of future aircraft a...
Expert systems are a highly useful spinoff of artificial intelligence research. One major stumbling ...
Although there seems to be no (formal) way of proving the validity of an AI system, the authors pres...
Verification and validation of expert systems is very important for the future success of this techn...
Expert systems have demonstrated commercial viability in a wide range of applications, but still fac...
Validation is the art of investigating whether or not a given system is "the right one " a...
This paper describes a complete methodology for the validation of rule-based expert systems. This me...
This paper describes a complete methodology for the validation of rule-based expert systems. This me...
Context: Artificial intelligence (AI) has made its way into everyday activities, particularly throug...
The authors present some ideas on developing a validity statement based on a Turing-test methodology...
In recent years, knowledge-based software technology has proven itself to be a valuable tool for sol...
A TURING Test is a promising way to validate Al systems which usually have no way to proof correctne...
TURING Test technologies are promising ways to validate AI systems which may have no alternative way...