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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Tenth European Conference on AI (ECAI'92) |
| Pages | 582-586 |
| Publication status | Published - 1992 |
Bibliographical note
Harmelen, F.A.H. van and J. Balder. {(ML)}2: a formal language for {KADS} models of expertise (short version). In Proceedings of the Tenth European Conference on AI (ECAI'92). Pages 582-586. aug 1992.UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 16 Peace, Justice and Strong Institutions
Fingerprint
Dive into the research topics of '(ML)2: a formal language for KADS models of expertise (short version)'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver