(ML)2: A Formal Language for KADS Models

Abstract This paper reports on an investigation into a formal language for specifying KADS models of expertise. After arguing the need for and the use of such formal representations, we discuss each of the layers of a KADS model of expertise in the subsequent sections, and define the formal constructions that we use to represent the KADS entities at every layer: order-sorted logic at the domain layer, meta-logic at the inference layer and dynamic-logic at the task layer. All these constructions together make up (ML)2, the language that we use to represent models of expertise. We illustrate the use of (ML)2 in a small example model. We conclude by describing our experience to date with constructing such formal models in (ML)2, and by discussing some open problems that remain for future work.

[1]  Frank van Harmelen,et al.  Meta-Level Inference Systems , 1991 .

[2]  Manfred Schmidt-Schauß,et al.  Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989, Lecture Notes in Computer Science.

[3]  Anthony G. Cohn,et al.  On the Solution of Schubert's Steamroller in Many-Sorted Logic , 1985, IJCAI.

[4]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[5]  M. Schmidt-Schauβ.  Computational Aspects of an Order-Sorted Logic with Term Declarations , 1989 .

[6]  Christoph Walther,et al.  A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.

[7]  David J. Israel.  The Role of Logic in Knowledge Representation , 1983, Computer.

[8]  Bob J. Wielinga,et al.  Differentiating Problem Solving Methods , 1992, EKAW.

[9]  Mark A. Musen.  Automated generation of model-based knowledge acquisition tools , 1989 .

[10]  Fausto Giunchiglia,et al.  Reflection in Constructive and Non-constructive Automated Reasoning , 1988, META.

[11]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[12]  Brian Cantwell Smith,et al.  Reflection and semantics in LISP , 1984, POPL.

[13]  Larry Eshelman,et al.  MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems , 1988 .

[14]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[15]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[16]  Rod M. Burstall,et al.  Structured Theories in LCF , 1983, CAAP.

[17]  B. Chandrasekaran.  Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks , 1987, IJCAI.

[18]  Frank van Harmelen,et al.  A Conceptual Modelling Framework for Knowledge-level Reflection , 1991, AI Commun..

[19]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[20]  Robert C. Moore.  The role of logic in artificial intelligence , 1985 .

[21]  Jan Treur,et al.  On the use of reflection principles in modelling complex reasoning , 1991, Int. J. Intell. Syst..

[22]  Solomon Feferman,et al.  Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.

[23]  Willem Jonker,et al.  Yet Another Formalisation of KADS Conceptual Models , 1992, EKAW.

[24]  Christoph Walther.  A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.

[25]  T. Broadbent,et al.  Module Algebra , 1970, Nature.

[26]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[27]  Frank van Harmelen,et al.  A formalization of knowledge-level models for knowledge acquisition , 1993 .