DMCA
(ML)²: A formal language for KADS models (1992)
| Venue: | In Proc. of the 10th European Conference on Artificial Intelligence |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Harmelen92(ml)²:a,
author = {Frank Van Harmelen and John Balder},
title = {(ML)²: A formal language for KADS models},
booktitle = {In Proc. of the 10th European Conference on Artificial Intelligence},
year = {1992},
pages = {582--586},
publisher = {John Wiley & Sons}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. We present (ML) 2 , a formal language for the representation of KADS models of expertise. (ML) 2 is a combination of first order predicate logic (for the declarative representation of domain knowledge) , meta-logic (for the representation of how to use the domain knowledge) and dynamic logic (for the representation of control information). After a brief summary of KADS, we describe how each of the four KADS layers is represented in (ML) 2 , and we compare our formalism to other formalisms that have been proposed for the formalisation of KADS models. 1 Introduction One of the central concerns of "knowledge engineering " is the construction of a model of problem solving behaviour. One of the prominent approaches in recent years to this problem (at least in Europe) has been the KADS methodology for knowledge engineering [9]. KADS is centered around a so-called model of expertise which describes the problem solving expertise of the system to be modelled independent of a possi...
