Use of Metaknowledge in the Verification of Knowledge-Based Systems

Abstract

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… (More)
DOI: 10.1145/55674.55699

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Morell1988UseOM, title={Use of Metaknowledge in the Verification of Knowledge-Based Systems}, author={Larry J. Morell}, booktitle={IEA/AIE}, year={1988} }