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 -