مشخصات کتاب

The Logic of Knowledge Bases

ویرایش: 1st 
نویسندگان: Hector J. Levesque,  Gerhard Lakemeyer  
سری:  
ISBN (شابک) : 0262122324, 9781423726470 
ناشر: The MIT Press 
سال نشر: 2001 
تعداد صفحات: 301 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب The Logic of Knowledge Bases به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق مبانی دانش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق مبانی دانش

ایده پایگاه های دانش در قلب هوش مصنوعی نمادین یا "سنتی" نهفته است. یک سیستم مبتنی بر دانش تصمیم می گیرد که چگونه با اجرای رویه های استدلال رسمی بر روی مجموعه ای از دانش که به صراحت نشان داده شده است - یک پایگاه دانش، عمل کند. سیستم برای کارهای خاص برنامه ریزی نشده است. بلکه به آن چیزی گفته می شود که باید بداند و انتظار می رود بقیه را استنباط کند. این کتاب در مورد منطق چنین پایگاه های دانشی است. این به تفصیل رابطه بین بازنمایی های نمادین دانش و حالات انتزاعی دانش را تشریح می کند و در طول مسیر مبانی دانش، پایگاه های دانش، سیستم های مبتنی بر دانش، و بازنمایی و استدلال دانش را بررسی می کند. با فرض آشنایی با منطق محمول مرتبه اول، این کتاب مدل ریاضی جدیدی از دانش را ارائه می دهد که کلی و گویا است و در عین حال در عمل نسبت به مدل های قبلی قابل اجراتر است. این کتاب سبکی از استدلال معنایی و تحلیل رسمی را ارائه می دهد که با رویکردهای دیگر دست و پا گیر یا کاملاً غیرعملی است. همچنین نشان می دهد که چگونه می توان با یک پایگاه دانش به عنوان یک نوع داده انتزاعی رفتار کرد که به طور کامل به صورت انتزاعی توسط عملیات سطح دانش تعریف شده روی آن مشخص شده است.

توضیحاتی درمورد کتاب به خارجی

The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge--a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest.This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.

فهرست مطالب

Preface......Page 16
Acknowledgements......Page 18
1 Introduction......Page 22
2 A First-Order Logical Language......Page 38
3 An Epistemic Logical Language......Page 62
4 Logical Properties of Knowledge......Page 76
5 The TELL and ASK Operations......Page 98
6 Knowledge Bases as Representations of Epistemic States......Page 116
7 The Representation Theorem......Page 130
8 Only-Knowing......Page 146
9 Only-Knowing and Autoepistemic Logic......Page 162
10 On the Proof Theory of OL......Page 182
11 Only-Knowing-About......Page 198
12 Avoiding Logical Omniscience......Page 214
13 The Logic EOL......Page 242
14 Knowledge and Action......Page 264
Epilogue......Page 292
References......Page 294
Index......Page 300

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Michael Maiers Chymisches Cabinet

دانلود کتاب Beschreibung der Aegyptischen Sammlung des Niederländischen Reichsmuseums der Altertümer in Leiden: Mumiensärge des Neuen Reiches

دانلود کتاب Bankbetriebliche Planung: Planungsmöglichkeiten bei Kreditbanken, Sparkassen u. Kreditgenossenschaften

دانلود کتاب Process Piping Design Handbook : the Fundamentals of Piping Design: Drafting & Design Methods for Process Applications

دانلود کتاب Higher Order Necessary Conditions in Optimal Control Theory