A Verification Framework for Knowledge-Based Systems

Abstract

Existing work on verifying knowledge-based systems (cf. [Lydiard, 1992], [Plant & Preece, 1996]) is focused on specific representation formalisms (usually production rules and KL-ONE like formalisms) and prove rather abstract properties of knowledge-based systems (so-called anomalies). One the one hand, these approaches make very strong meta-assumptions by assuming a specific representation formalism for describing the knowledge-based system. On the other hand, they do not make any (meta-) assumptions about the architecture (i.e., the general structure of a knowledge-based system) that can be used to describe a reasoning system. As a consequence, most of these approaches are situated at a different level of generality than our approach (cf. [Newell, 1982]).