Dieter Fensel

The Knowledge Acquisition and Representation Language, KARL (eBook, PDF)

• Format: PDF

Produktbeschreibung

Within the framework of so-called second generation expert systems [62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions [166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual model is the KADS model of expertise which is characterized by its clear distinction of different know ledge types and by the usage of specific modeling primitives to describe these different knowledge types [185]. The semi formal KADS expertise model entails all the advantages and disadvantages which have been identified for semi-formal system models e.g. in the software engineering community.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer New York
• Seitenzahl: 238
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781461522751
• Artikelnr.: 43993127

Inhaltsangabe

1 Introduction.- 1.1 Model-based and Incremental Knowledge Engineering.- 1.2 The Knowledge Acquisition and Representation Language KARL.- 1.3 Some Arguments about Formal and Operational Specification Languages.- 2 Logical-Karl.- 2.1 Significant Ideas of Other Approaches Used for L-KARL.- 2.2 Syntax of L-KARL.- 2.3 Informal Semantics of L-KARL.- 3 Procedural-Karl.- 3.1 Significant Ideas of Other Approaches Used for P-KARL.- 3.2 Syntax of P-KARL.- 3.3 Informal Semantics of P-KARL.- 4 The Karl Model of Expertise.- 4.1 The Sisyphus Example.- 4.2 The Domain Layer.- 4.3 The Inference Layer.- 4.4 The Task Layer.- 4.5 The Model of Cooperation.- 5 The Formal Semantics of Karl.- 5.1 The Formal Semantics of L-KARL.- 5.2 The Formal Semantics of P-KARL.- 5.3 The Formal Semantics of a Domain Layer.- 5.4 The Formal Semantics of an Inference Layer.- 5.5 The Formal Semantics of a Task Layer.- 6 Conclusion.- 6.1 Highlights of KARL.- 6.2 Related Work.- 6.3 Shortcomings of KARL.- 6.4 Future Work.- References.