مشخصات کتاب

A New Perspective on Nonmonotonic Logics

ویرایش:  
نویسندگان: Dov M. Gabbay,  Karl Schlechta  
سری:  
ISBN (شابک) : 9783319468174 
ناشر: Springer 
سال نشر: 2016 
تعداد صفحات: 365 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

در صورت تبدیل فایل کتاب A New Perspective on Nonmonotonic Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب دیدگاه جدید در منطق غیر یکنواخت

در این کتاب، نویسندگان نتایج جدیدی را در مورد درونیابی برای منطق های غیر یکنواخت، استقلال انتزاعی (تابع)، قاعده کال واچومر تلمودی، و یک راه حل معادله ای از تعهدات خلاف وظیفه ارائه می کنند. فصل ساخت رسمی هسته مفهومی کتاب است، جایی که نویسندگان ایده های چندین نوع منطق غیر یکنواخت و تجزیه و تحلیل آنها از مفاهیم «طبیعی» را در یک منطق رسمی ترکیب می کنند، یک ساختار ترجیحی ویژه که وضوح صوری را با مزایای شهودی ترکیب می کند. از پیش‌فرض‌های رایتر، وراثت غیرقابل ابطال، بازنگری نظریه و ملاحظات معرفتی. این برای محققان در زمینه علوم کامپیوتر و منطق ریاضی مناسب است.

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

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

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

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

دانلود کتاب Human Judgment and Social Policy : Irreducible Uncertainty, Inevitable Error, Unavoidable Injustice

دانلود کتاب Cults Inside Out: How People Get in and Can Get Out

دانلود کتاب EMQs for the NMRCGP Applied Knowledge Test: With Answers Discussed, Second Edition

دانلود کتاب Astrochemistry and Astrobiology

دانلود کتاب Advances in Computing Systems and Applications: Proceedings of the 3rd Conference on Computing Systems and Applications