Standard Article

Knowledge Verification

  1. Jeffrey J. P. Tsai1,
  2. Du Zhang2,
  3. Avinash Sahay1,
  4. Eric Juan1

Published Online: 14 DEC 2007

DOI: 10.1002/9780470050118.ecse211

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Tsai, J. J. P., Zhang, D., Sahay, A. and Juan, E. 2007. Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering. .

Author Information

  1. 1

    University of Illinois at Chicago, Chicago, Illinois

  2. 2

    California State University, Sacramento, California

Publication History

  1. Published Online: 14 DEC 2007

Abstract

This article describes current issues and approaches concerning the evaluation of real-time safety-critical intelligent systems. It provides a sketch of a verification technique that is based on the first order logic as its knowledge representation formalism.

Keywords:

  • knowledge-based systems;
  • Artificial Intelligence (AI);
  • domain;
  • verification;
  • intelligent systems