دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A New Perspective on Nonmonotonic Logics
دانلود کتاب چشم انداز جدیدی در منطق غیرموتونیک
مشخصات کتاب
A New Perspective on Nonmonotonic Logics
ویرایش: 1st ed. 2016 نویسندگان: Dov M. Gabbay, Karl Schlechta سری: ISBN (شابک) : 9783319468150, 3319468154 ناشر: Springer سال نشر: 2016 تعداد صفحات: 367 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب چشم انداز جدیدی در منطق غیرموتونیک: استدلال غیر یکنواخت.، منطق، نمادین و ریاضی.، منطق، استدلال غیر یکنواخت، عصب شناسی
در صورت تبدیل فایل کتاب A New Perspective on Nonmonotonic Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چشم انداز جدیدی در منطق غیرموتونیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب چشم انداز جدیدی در منطق غیرموتونیک
در این کتاب، نویسندگان نتایج جدیدی را در مورد درونیابی برای
منطق های غیر یکنواخت، استقلال انتزاعی (تابع)، قاعده تلمودی
Kal Vachomer، و یک راه حل معادله ای از تعهدات خلاف وظیفه
ارائه می کنند. فصل ساخت رسمی هسته مفهومی کتاب است، جایی که
نویسندگان ایده های چندین نوع منطق غیر یکنواخت و تجزیه و تحلیل
آنها از مفاهیم "طبیعی" را در یک منطق رسمی ترکیب می کنند، یک
ساختار ترجیحی خاص که وضوح صوری را با مزایای شهودی ترکیب می
کند. از پیش‌فرض‌های رایتر، وراثت قابل ابطال، بازنگری نظریه، و
ملاحظات معرفتی.
این برای محققان در حوزه علوم کامپیوتر و منطق ریاضی مناسب است.
توضیحاتی درمورد کتاب به خارجی
In this book the authors present new results on interpolation
for nonmonotonic logics, abstract (function) independence,
the Talmudic Kal Vachomer rule, and an equational solution of
contrary-to-duty obligations. The chapter on formal
construction is the conceptual core of the book, where the
authors combine the ideas of several types of nonmonotonic
logics and their analysis of 'natural' concepts into a formal
logic, a special preferential construction that combines
formal clarity with the intuitive advantages of Reiter
defaults, defeasible inheritance, theory revision, and
epistemic considerations.
It is suitable for researchers in the area of computer science and mathematical logic.
فهرست مطالب
Front Matter....Pages i-x
Front Matter....Pages 1-1
Introduction....Pages 3-62
Front Matter....Pages 63-63
Basic Algebraic and Logical Definitions....Pages 65-74
Defeasible Inheritance....Pages 75-90
Reiter Defaults and Autoepistemic Logic....Pages 91-95
Preferential Structures and Related Concepts....Pages 97-130
Deontic Logic, Contrary-to-Duty Obligations....Pages 131-144
Theory Revision, Theory Contraction and Conditionals....Pages 145-157
Neurology....Pages 159-174
Front Matter....Pages 175-175
Independence and Interpolation....Pages 177-199
Probabilistic and Abstract Independence....Pages 201-232
Formal Construction....Pages 233-266
The Talmudic Kal Vachomer Rule....Pages 267-282
Equational CTD....Pages 283-344
Conclusion....Pages 345-349
Back Matter....Pages 351-365
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Decoding Anorexia: How Breakthroughs in Science Offer Hope for Eating Disorders
دانلود کتاب Property Will Cost Us the Earth
دانلود کتاب Dell'arte poetica
