Principles of Semantic Networks: Explorations in the Representation of KnowledgeJohn F. Sowa Principles of Semantic Networks: Explorations in the Representation of Knowledge provides information pertinent to the theory and applications of semantic networks. This book deals with issues in knowledge representation, which discusses theoretical topics independent of particular implementations. Organized into three parts encompassing 19 chapters, this book begins with an overview of semantic network structure for representing knowledge as a pattern of interconnected nodes and arcs. This text then analyzes the concepts of subsumption and taxonomy and synthesizes a framework that integrates many previous approaches and goes beyond them to provide an account of abstract and partially defines concepts. Other chapters consider formal analyses, which treat the methods of reasoning with semantic networks and their computational complexity. This book discusses as well encoding linguistic knowledge. The final chapter deals with a formal approach to knowledge representation that builds on ideas originating outside the artificial intelligence literature in research on foundations for programming languages. This book is a valuable resource for mathematicians. |
Other editions - View all
Common terms and phrases
abstract acyclic algorithm application argument Artificial Intelligence aspectuals assertional attribute descriptions belief network Brachman chapter Chardonnay CLASSIC classifier complete computational concept conceptual graphs constraints context corresponding credulous extensions default defined definition denote described domain models edge entities event example existential fact Figure fillers first-order logic formal formula function grape higraphs implementation individual inference inheritance hierarchy instance intensional interpretation Intuitively IS-A KL-ONE knowledge base knowledge representation system Levesque linguistic M-expression mapping Mary meaning model theory model-theoretic Morgan Kaufmann Publishers natural language NDFA nodes notation NP-hard object operations partitions path path-based person predicate calculus prime models primitive problem properties proposition PTNT quantifier query reasoning refer relation relationships represent role rules San Mateo Schmolze Schubert Section semantic nets semantic networks sentence Shapiro situations SNePS Sowa specific structure subsumes subsumption syntactic taxonomy terminological cycles theorem theory tion Touretzky value restriction variables verb wine