(ML)2: a formal language for KADS models of expertise (short version)

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

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 languageEnglish
Title of host publicationProceedings of the Tenth European Conference on AI (ECAI'92)
Pages582-586
Publication statusPublished - 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.

Cite this

van Harmelen, F. A. H., & Balder, J. (1992). (ML)2: a formal language for KADS models of expertise (short version). In Proceedings of the Tenth European Conference on AI (ECAI'92) (pp. 582-586)