Paper Info
Title
Modal change logic (MCL): specifying the reasoning of knowledge-based systems
Abstract
We investigate the formal specification of the reasoning process of knowledge-based systems in this paper. We analyze the corresponding parts of the KADS specification languages KARL and (ML)2 and deduce some general requirements. The essence of these languages is that they integrate a declarative specification of inferences with control information. The languages differ in the way they achieve this integration and each of them has shortcomings. We propose a unifying semantical framework that integrates the core of the different solutions and overcomes their problems. We define a semantics and axiomatization with the Modal Change Logic (MCL). The main contribution of the paper is not to introduce yet another specification language. Instead we aim at four goals: (1) defining a framework for describing the dynamic reasoning behavior of knowledge-based systems which integrates existing approaches; (2) defining a semantics for the specification of the dynamic reasoning behavior of a knowledge-based system within the states as algebras setting that overcomes several shortcomings and ad-hoc solutions of existing approaches; and (3) providing an axiomatizatio n that enables the development of mechanized proof support. (4) Through conceptual and semantical clarity, we investigate the relationships to similar work in software engineering and database engineering opening possibilities for further cross-fertilization of these fields.
Year
DOI
Venue
1998
10.1016/S0169-023X(98)00047-0
Data Knowl. Eng.
Keywords
Field
DocType
knowledge-based system,modal change logic,knowledge based system,dynamic logic,software engineering,specification language,modal logic,axiomatic semantics,knowledge based systems,formal specification
Specification language,Data mining,Programming language,Axiomatic semantics,Computer science,Expert system,Knowledge-based systems,Formal specification,Modal logic,Knowledge base,Semantics,Database
Journal
Volume
Issue
ISSN
26
3
0169-023X
Citations 
PageRank 
References 
11
1.30
20
Authors
3
Name
Order
Citations
PageRank
Dieter Fensel15545662.62
Rix Groenboom212519.05
G. R. de Lavalette3111.30