برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Explanatory Nonmonotonic Reasoning

دانلود کتاب استدلال غیر یکنواخت توضیحی

مشخصات کتاب

Explanatory Nonmonotonic Reasoning

دسته بندی: منطق
ویرایش:  
نویسندگان: Alexander Bochman  
سری: Advances in Logic 4 
ISBN (شابک) : 9812561013, 9789812561015 
ناشر: World Scientific 
سال نشر: 2005 
تعداد صفحات: 424 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 46,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 16

در صورت تبدیل فایل کتاب Explanatory Nonmonotonic Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب استدلال غیر یکنواخت توضیحی

بسیاری از رویکردها در زمینه غیر یکنواخت و ?commonsense? استدلال در واقع بازنمایی های متفاوتی از ایده ها و ساختارهای اساسی یکسان است. این کتاب یک رسمی سازی منطقی از رویکرد اصلی و توضیحی به استدلال غیر یکنواخت ارائه می دهد. از فرمالیسم اساسی روابط دو پیامد و همچنین سیستم های مشتق شده از پیش فرض، خود معرفتی و استنتاج علی استفاده می کند تا در یک چارچوب واحد سیستم های متنوعی مانند منطق پیش فرض، منطق های غیر یکنواخت خود معرفتی و مدال، منطق های ورودی/خروجی و علی، نظریه استدلال را پوشش دهد. ، و معناشناسی برنامه های منطق عمومی با نفی به عنوان شکست. این رویکرد یک جدایی واضح بین جنبه های منطقی (یکنواخت) و غیر یکنواخت استدلال غیر یکنواخت فراهم می کند. این جداسازی به ویژه اجازه می دهد تا منطق های زیربنایی برنامه نویسی منطقی مدرن را مشخص کرده و در نتیجه ارتباط بین برنامه نویسی منطقی و منطق را بازیابی کند.

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

Many approaches in the field of nonmonotonic and ?commonsense? reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs with negation as failure. This approach provides a clear separation between logical (monotonic) and nonmonotonic aspects of nonmonotonic reasoning. The separation allows, in particular, to single out the logics underlying modern logic programming and restore thereby the connection between logic programming and logic.