Formal Notions for Verification of Dynamics of Knowledge-Based Systems
Jan Treur, Mark E. T. Willems, M.C. Rousset · Data Archiving and Networked Services (DANS) · 1995
In the literature on validation or verification of knowledge-based systems often a limitation to systems with one knowledge base is chosen, and the focus is on the static properties of these systems. In practice often knowledge-based systems are developed that have some form of compositional structure. Also the reasoning in this structure is controlled, often according to the compositional structure. The task-layer of the KADS-approaches and the task control structure in DESIRE show this. A number of formal specification languages has been developed for this type of knowledge-based systems. Although there are differences, a number of common principles already has been reached (for an overview and comparison, see [23]). Therefore it is natural to attempt to extend the work on verification and validation to systems defined by such languages. Such an extension to compositional systems necessarily leads to the consideration of their temporal behaviour and the dynamic properties. In this paper the logical framework previously developed in [24] is extended for dynamic properties of compositional knowledge-based systems. * In M.-C. Rousset and M. Ayel (eds). Proceedings European Symposium on Validation and Verfication on KBSs, EUROVAV’95, Chambery.