TY - GEN

T1 - (ML)2: a formal language for KADS models of expertise

AU - van Harmelen, F.A.H.

AU - Balder, J.R.

N1 - Harmelen, F.A.H. van and J. R. Balder. (ML)2: a formal language for KADS models of expertise. Volume 4. Pages 127-161. 1992. Special issue: `The {KADS} approach to knowledge engineering', reprinted in KADS: A Principled Approach to Knowledge-Based System Development}, 1993, Schreiber, A.Th. et al. (eds.). Journal Knowledge Acquisition Journal. Number 1.

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 127

EP - 161

BT - KADS: A Principled Approach to Knowledge-Based System Development

ER -