(ML)2: A formal language for KADS models of expertise
| Autor: | Frank van Harmelen, John Balder |
|---|---|
| Rok vydání: | 1992 |
| Předmět: |
Computer science
Programming language business.industry General Engineering Inference Human Factors and Ergonomics computer.software_genre Education Domain (software engineering) Task (project management) Human-Computer Interaction Hardware and Architecture Formal language Artificial intelligence Layer (object-oriented design) business computer Software |
| Zdroj: | Knowledge Acquisition. 4:127-161 |
| ISSN: | 1042-8143 |
| DOI: | 10.1016/1042-8143(92)90017-u |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|