Knowledge Verification
Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan · Wiley Encyclopedia of Computer Science and Engineering · 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.