Title :
Improving AI systems´ dependability by utilizing historical knowledge
Author :
Knauf, Rainer ; Tsuruta, Setsuo ; Ihara, Hirokazu ; Gonzalez, Avelino J. ; Kurbad, Torsten
Author_Institution :
Sch. of Comput. Sci. & Autom., Tech. Univ. of Ilmenau, Germany
Abstract :
A Turing test is a promising way to validate AI systems which usually have no way to proof correctness. However, human experts (validators) are often too busy to participate in it and sometimes have different opinions per person as well as per validation session. To cope with these and increase the validation dependability, a validation knowledge base (VKB) in Turing test-like validation is proposed. The VKB is constructed and maintained across various validation sessions. Primary benefits are (1) decreasing validators\´ workload, (2) refining the methodology itself, e.g. selecting dependable validators using VKB, and (3) increasing AI systems\´ dependabilities through dependable validation, e.g. support to identify optimal solutions. Finally, validation experts software agents (VESA) are introduced to further break limitations of human validator\´s dependability. Each VESA is a software agent corresponding to a particular human validator. This suggests the ability to systematically "construct" human-like validators by keeping personal validation knowledge per corresponding validator. This will bring a new dimension towards dependable AI systems.
Keywords :
expert systems; formal verification; knowledge verification; software agents; theorem proving; AI systems; Turing test; human experts; proof correctness; validation dependability; validation experts software agents; validation knowledge base; Artificial intelligence; Automatic testing; Automation; Computer science; Humans; Intelligent agent; Intelligent systems; Performance evaluation; Software agents; System testing;
Conference_Titel :
Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
Print_ISBN :
0-7695-2076-6
DOI :
10.1109/PRDC.2004.1276590