# 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.