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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.