The Knowledge Acquisition and Representation Language KARL Book

	List of Figures
	List of Tables
	Preface
	Acknowledgement
1	Introduction	1
1.1	Model-based and Incremental Knowledge Engineering	1
1.2	The Knowledge Acquisition and Representation Language KARL	15
1.3	Some Arguments about Formal and Operational Specification Languages	28
2	Logical-Karl	39
2.1	Significant Ideas of Other Approaches Used for L-KARL	40
2.2	Syntax of L-KARL	43
2.3	Informal Semantics of L-KARL	50
2.4	A Comparison with F-logic and O-logic	61
3	Procedural-Karl	63
3.1	Significant Ideas of Other Approaches Used for P-KARL	64
3.2	Syntax of P-KARL	66
3.3	Informal Semantics of P-KARL	69
4	The Karl Model of Expertise	71
4.1	The Sisyphus Example	72
4.2	The Domain Layer	73
4.3	The Inference Layer	93
4.4	The Task Layer	122
4.5	The Model of Cooperation	126
5	The Formal Semantics of Karl	133
5.1	The Formal Semantics of L-KARL	133
5.2	The Formal Semantics of P-KARL	172
5.3	The Formal Semantics of a Domain Layer	176
5.4	The Formal Semantics of an Inference Layer	178
5.5	The Formal Semantics of a Task Layer	183
6	Conclusion	187
	References	213
	Index	235