Towards an object-oriented logic framework for knowledge based systems

摘要

This article presents an object-oriented logic framework, LKO, for the dependable development of knowledge based systems. Based on logical objects which are viewed as abstractions with states, constraints, behaviors and nonmonotonic inheritance, a hybrid knowledge representation amalgamating rule, frame, semantics network and blackboard is available for both most structured and flat knowledge and requirements of knowledge based systems. After the iterations of specification modification and verification in terms of knowledge acquisition activities, prototypes are correctly formed. The LKO methodology, applying the concepts of rapid prototyping, top-down design and object-orientation, is designed to deal with changing and incomplete requirements and to provide multiple abstract models of the domain, where formal methods might be used at each abstract level.