# KEHOME/knowledge/theory/Sowa/SowaKR.ho
# Dec/17/2002
# John F. Sowa, "Knowledge Representation:
# Logical, Philosophical, and Computational Foundations",
# Brooks Cole Publishing Co., 1999.
toc is begin hierarchy
Table of Contents
/ 1. Logic
// 1.1 Historical Background 1
// 1.2 Representing Knowledge in Logic 11
// 1.3 Varieties of Logic 18
// 1.4 Names, Types, and Measures 29
// 1.5 Unity Amidst Diversity 39
/ 2. Ontology
// 2.1 Ontological Categories 51
// 2.2 Philosophical Background 55
// 2.3 Top-Level Categories 67
// 2.4 Describing Physical Entities 78
// 2.5 Defining Abstractions 89
// 2.6 Sets, Collections, Types, and Categories 97
// 2.7 Space and Time 109
/ 3. Knowledge Representations
// 3.1 Knowledge Engineering 132
// 3.2 Representing Structure in Frames 143
// 3.3 Rules and Data 156
// 3.4 Object-Oriented Systems 169
// 3.5 Natural Language Semantics 178
// 3.6 Levels of Representation 186
/ 4. Processes
// 4.1 Times, Events, and Situations 206
// 4.2 Classification of Processes 213
// 4.3 Procedures, Processes, and Histories 217
// 4.4 Concurrent Processes 223
// 4.5 Computation 232
// 4.6 Constraint Satisfaction 239
// 4.7 Change 245
/ 5. Purposes, Contexts, and Agents
// 5.1 Purpose 265
// 5.2 Syntax of Contexts 274
// 5.3 Semantics of Contexts 284
// 5.4 First-Order Reasoning in Contexts 297
// 5.5 Modal Reasoning in Contexts 307
// 5.6 Encapsulating Objects in Contexts 321
// 5.7 Agents 330
/ 6. Knowledge Soup
// 6.1 Vagueness, Uncertainty, Randomness, and Ignorance 348
// 6.2 Limitations of Logic 356
// 6.3 Fuzzy Logic 364
// 6.4 Nonmonotonic Logic 373
// 6.5 Theories, Models, and the World 383
// 6.6 Semiotics 394
/ 7. Knowledge Acquisition and Sharing
// 7.1 Sharing Ontologies 408
// 7.2 Conceptual Schema 417
// 7.3 Accommodating Multiple Paradigms 427
// 7.4 Relating Different Knowledge Represeations 438
// 7.5 Language Patterns 445
// 7.6 Tools for Knowledge Acquisition 452
/ Appendix A: Summary of Notations
// A.1 Predicate Calculus 467
// A.2 Conceptual Graphs 476
// A.3 Knowledge Interchange Format 489
/ Appendx B: Ontology Base
// B.1 Principles of Ontology 492
// B.2 Top-Level Categories 497
// B.3 Role and Relation Types 502
// B.4 Thematic Roles 506
// B.5 Placement of the Thematic Roles 510
/ Appendix C: Extended Examples
// C.1 Hotel Reservation System 513
// C.2 Library Database 515
// C.3 ACE Vocabulary 518
// C.4 Translating ACE to Logic 518
/ Answers to Selected Exercises
/ Bibliography
/ Name Index
/ Subject Index
end begin hierarchy toc
For more information, see the index and the preface of the book.
Send comments to John F. Sowa.