R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

ویرایش: [1st ed. 2021] 
نویسندگان: Wei Li. Yuefei Sui  
سری:  
ISBN (شابک) : 9811629439, 9789811629433 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 212
[210] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

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



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

این کتاب ترکیبی غنی از تئوری و عمل را ارائه می‌دهد. برای دانشجویان، محققان و شاغلین در زمینه منطق مناسب است. همچنین برای همه کسانی که به داده ها، دیجیتالی کردن و صحت و ثبات اطلاعات، در منطق های مدال، منطق های غیر یکنواخت، منطق های تصمیم پذیر/غیرقابل تصمیم، برنامه نویسی منطقی، منطق های توصیف، منطق های پیش فرض و شبکه های وراثت معنایی علاقه مند هستند، بسیار مفید است.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given which uses finite injury priority method in recursion theory. Moreover, two applications of R-calculus are given to default theory and semantic inheritance networks.

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.