Use of metaknowledge in the verification of knowledge-based systems
Larry J. Morell · 1988
A knowledge-based system is modeled as a deductive system.The model indicates that the two primary areas of concern in verification are demonstrating consistency and completeness.A system is inconsistent if it asserts something that is not true of the modeled domain.A system is incomplete if it lacks deductive capability.Two forms of consistency are discussed along with appropriate verification methods.Three forms of incompleteness are discussed.The use of metaknowledge, knowledge about knowledge, is explored in connection to each form of incompleteness.