A framework for knowledge-based systems verification

The authors present a framework for developing and verifying knowledge-based systems (KBSs). In this framework, they propose FRORL (frame-and-rule oriented requirements specification language) as a formal requirements specification language which exploits knowledge representation techniques as an aid in the specification, analysis, and development of a knowledge-based system. FRORL uses a combination of resolution refutation, anomaly detection matrix, and algorithm methods to verify a number of properties which might exist in KBSs. Incorporating FRORL and its verification methods in the proposed framework lays a solid foundation for coping with the current issues in KBS verification