The Abstract Interpretation of Hybrid Rule/Frame-Based Sustems

In this paper, we describe an algorithm for the abstract interpretation of hybrid knowledge bases which comprise both frame and rule-based representations. The program, HybAbs, can automatically analyse hybrid knowledge bases for completeness and correctness, and provides a significant improvement over earlier approaches which can only cope with homogeneous representations. Furthermore, because HybAbs considers the procedural semantics of the hybrid system, it can identify classes of incomplete and incorrect knowledge bases which would elude purely declarative approaches.