توضیحاتی در مورد کتاب :
اصول شبکه های معنایی: کاوش در بازنمایی دانش اطلاعات مربوط به نظریه و کاربردهای شبکه های معنایی را ارائه می دهد. این کتاب به مسائل مربوط به بازنمایی دانش می پردازد که موضوعات نظری را مستقل از پیاده سازی های خاص مورد بحث قرار می دهد.
این کتاب که در سه بخش شامل 19 فصل سازماندهی شده است، با مروری بر ساختار شبکه معنایی برای نمایش دانش به عنوان الگوی به هم پیوسته آغاز می شود. گره ها و کمان ها این متن سپس مفاهیم فرعی و طبقهبندی را تحلیل میکند و چارچوبی را ترکیب میکند که بسیاری از رویکردهای قبلی را ادغام میکند و از آنها فراتر میرود تا شرحی از انتزاع ارائه کند و تا حدی مفاهیم را تعریف کند. فصلهای دیگر تحلیلهای رسمی را در نظر میگیرند که روشهای استدلال را با شبکههای معنایی و پیچیدگی محاسباتی آنها بررسی میکنند. این کتاب همچنین رمزگذاری دانش زبانی را مورد بحث قرار می دهد. فصل آخر به یک رویکرد رسمی برای بازنمایی دانش میپردازد که بر اساس ایدههایی که خارج از ادبیات هوش مصنوعی در تحقیق در مورد مبانی زبانهای برنامهنویسی نشات میگیرد، میباشد.
این کتاب منبع ارزشمندی برای ریاضیدانان است.
فهرست مطالب :
Content:
THE MORGAN KAUFMANN SERIES IN REPRESENTATION AND REASONING, Page ii
Front Matter, Page iii
Copyright, Page iv
PREFACE, Pages ix-xi
INTRODUCTION TO ISSUES IN KNOWLEDGE REPRESENTATION, Pages 1-11
CURRENT ISSUES IN SEMANTIC NETWORKS: Panel Discussion with All Participants, Pages 13-43
1 - UNDERSTANDING SUBSUMPTION AND TAXONOMY: A Framework for Progress, Pages 45-94, W.A. Woods
2 - SEMANTIC NETS ARE IN THE EYE OF THE BEHOLDER, Pages 95-107, Lenhart K. Schubert
3 - WHY SEMANTIC NETWORKS?, Pages 109-136, Lokendra Shastri
4 - CABLES, PATHS, AND “SUBCONSCIOUS” REASONING IN PROPOSITIONAL SEMANTIC NETWORKS, Pages 137-156, Stuart C. Shapiro
5 - TOWARD THE EXPRESSIVE POWER OF NATURAL LANGUAGE, Pages 157-189
6 - SENTENCES, SITUATIONS, AND PROPOSITIONS, Pages 191-227, Robert Wilensky
INTRODUCTION TO FORMAL ANALYSES, Pages 229-230
7 - INHERITANCE THEORY AND NETWORKS WITH ROLES, Pages 231-266, Richmond H. Thomason, David S. Touretzky
8 - EXTENSIONS AS POSSIBLE WORLDS, Pages 267-281, Lynn Andrea Stein
9 - THE TRACTABILITY OF PATH-BASED INHERITANCE1, Pages 283-297, Bart Selman, Hector J. Levesque
10 - ALL: Formalizing Access-Limited Reasoning, Pages 299-330, J.M. Crawford, Benjamin Kuipers
11 - TERMINOLOGICAL CYCLES: Semantics and Computational Properties, Pages 331-361, Bernhard Nebel
12 - LOGICAL DIMENSIONS OF SOME GRAPH FORMALISMS, Pages 363-380, Wlodek Zadrozny
INTRODUCTION TO SYSTEMS FOR KNOWLEDGE REPRESENTATION, Pages 381-383
13 - THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS, Pages 385-400, Robert Mac Gregor
14 - LIVING WITH CLASSIC: When and How to Use a KL-ONE-Like Language, Pages 401-456, Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Alexander Borgida
15 - UTILIZING KNOWLEDGE: The Components of the SB-ONE Knowledge Representation Workbench, Pages 457-486, Alfred Kobsa
16 - REASONING WITH GRAPH OPERATIONS, Pages 487-505, Roger T. Hartley, Michael J. Coombs
17 - REPRESENTING AND REASONING ABOUT PHYSICAL SYSTEMS USING PRIME MODELS, Pages 507-525, Rattikorn Hewett, Barbara Hayes-Roth
18 - INTEGRATING LANGUAGE AND MEANING IN STRUCTURED INHERITANCE NETWORKS, Pages 527-542, Paul S. Jacobs
19 - A FRAME-LIKE KNOWLEDGE REPRESENTATION INTEGRATING ABSTRACT DATA TYPES AND LOGIC, Pages 543-563, Douglas Skuce
INDEX, Pages 565-582
توضیحاتی در مورد کتاب به زبان اصلی :
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.