دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
دانلود کتاب اتوماسیون استدلال با اطلاعات ناقص: از مبانی معنایی تا محاسبات کارآمد
مشخصات کتاب
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
ویرایش: 1
نویسندگان: Torsten Schaub (auth.)
سری: Lecture Notes in Computer Science 1409
ISBN (شابک) : 9783540645153, 9783540697930
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1997
تعداد صفحات: 163
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب اتوماسیون استدلال با اطلاعات ناقص: از مبانی معنایی تا محاسبات کارآمد: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اتوماسیون استدلال با اطلاعات ناقص: از مبانی معنایی تا محاسبات کارآمد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اتوماسیون استدلال با اطلاعات ناقص: از مبانی معنایی تا محاسبات کارآمد
استدلال با اطلاعات ناقص یک چالش بزرگ برای هر سیستم هوشمند
است. در واقع، ما انتظار داریم که چنین سیستم‌هایی با از دست
دادن اطلاعات فلج نشوند، بلکه با پر کردن شکاف‌های موجود در
اطلاعات به نتایج قابل قبولی دست یابند.
یک روش همه‌کاره برای استدلال در غیاب اطلاعات، استدلال به‌طور
پیش‌فرض است. هدف این کتاب ارائه ابزارهای رسمی و عملی برای
خودکارسازی استدلال با اطلاعات ناقص با شروع از رویکردی است که
در چارچوب منطق پیش فرض اتخاذ شده است. برای این تلاش، پلی بین
معناشناسی رسمی، بر روی سیستم‌ها برای استدلال پیش‌فرض، تا
اجرای کارآمد ایجاد شده است.
توضیحاتی درمورد کتاب به خارجی
Reasoning with incomplete information constitutes a major
challenge for any intelligent system. In fact, we expect such
systems not to become paralyzed by missing information but
rather to arrive at plausible results by bridging the gaps in
the information available.
A versatile way of reasoning in the absence of information is
to reason by default. This book aims at providing formal and
practical means for automating reasoning with incomplete
information by starting from the approach taken by the
framework of default logic. For this endeavor, a bridge is
spanned between formal semantics, over systems for default
reasoning, to efficient implementation.
فهرست مطالب
Introduction....Pages 1-10
The original approach: Classical default logic....Pages 11-21
An alternative approach: Constrained default logic....Pages 23-32
Putting default logics into perspective....Pages 33-51
A context-based framework for default logics....Pages 53-62
Possible worlds semantics for default logics....Pages 63-74
Adding specificity to default logics....Pages 75-83
Adding lemma handling to default logics....Pages 85-91
Query-answering in default logics....Pages 93-134
A Prolog-technology compiler for query-answering....Pages 135-142
Conclusions and perspectives....Pages 143-145
نظرات کاربران
کتاب های تصادفی
دانلود کتاب An Atlas and Survey of Latin American History
دانلود کتاب Industrial Relations and European State Traditions
دانلود کتاب Theorie der Elektrizität: Zweiter Band Einführung in die Quantentheorie der Atome und der Strahlung
