Skip to main content
Article thumbnail
Location of Repository

MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowledge-based Systems

By Machine Learning, Rix Groenboom, Knowledge Acquisition, Dieter Fensel and R. Groenboom


. We investigate the formal specification of the dynamic reasoning process of knowledge-based systems. The main contributions of the paper are: defining a formal framework for describing the dynamic reasoning behaviour of knowledge-based systems which unifies existing approaches; defining a semantics for the specification of the dynamic reasoning behaviour of a knowledgebased system within the states as algebra setting that overcomes several shortcomings of the existing approaches; and providing for the first time an axiomatization and proof theory of specification languages for knowledge-based systems. We achieve this by developing the logical language MLPM (Modal Logic of Predicate Modification). 1 INTRODUCTION The model of expertise as developed in the KADS-I and CommonKADS projects [13] has become a widely used framework for developing and describing knowledge-based systems (KBS). Such a model of expertise can be used to describe the reasoning process and the knowl..

Year: 1996
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.