• DocumentCode
    2674598
  • 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
  • fYear
    2004
  • fDate
    3-5 March 2004
  • Firstpage
    343
  • Lastpage
    352
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
  • Print_ISBN
    0-7695-2076-6
  • Type

    conf

  • DOI
    10.1109/PRDC.2004.1276590
  • Filename
    1276590