+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
The Knowledge Acquisition and Representation Language Karl - Dieter Fensel

The Knowledge Acquisition and Representation Language Karl

Hardcover Published: 31st August 1995
ISBN: 9780792396017
Number Of Pages: 238

Share This Book:

Hardcover

$316.20
or 4 easy payments of $79.05 with Learn more
Ships in 10 to 15 business days

Earn 632 Qantas Points
on this Book

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.

List of Figures
List of Tables
Preface
Acknowledgement
Introductionp. 1
Model-based and Incremental Knowledge Engineeringp. 1
The Knowledge Acquisition and Representation Language KARLp. 15
Some Arguments about Formal and Operational Specification Languagesp. 28
Logical-Karlp. 39
Significant Ideas of Other Approaches Used for L-KARLp. 40
Syntax of L-KARLp. 43
Informal Semantics of L-KARLp. 50
A Comparison with F-logic and O-logicp. 61
Procedural-Karlp. 63
Significant Ideas of Other Approaches Used for P-KARLp. 64
Syntax of P-KARLp. 66
Informal Semantics of P-KARLp. 69
The Karl Model of Expertisep. 71
The Sisyphus Examplep. 72
The Domain Layerp. 73
The Inference Layerp. 93
The Task Layerp. 122
The Model of Cooperationp. 126
The Formal Semantics of Karlp. 133
The Formal Semantics of L-KARLp. 133
The Formal Semantics of P-KARLp. 172
The Formal Semantics of a Domain Layerp. 176
The Formal Semantics of an Inference Layerp. 178
The Formal Semantics of a Task Layerp. 183
Conclusionp. 187
Referencesp. 213
Indexp. 235
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780792396017
ISBN-10: 0792396014
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 238
Published: 31st August 1995
Publisher: Springer
Country of Publication: US
Dimensions (cm): 23.39 x 15.6  x 1.6
Weight (kg): 0.54

Earn 632 Qantas Points
on this Book