دانلود کتاب Analysis and synthesis of logics: how to cut and paste reasoning systems (به فارسی: تجزیه و تحلیل و سنتز منطق ها: نحوه برش و چسباندن سیستم های استدلال) نوشته شده توسط «Walter Carnielli – Marcelo Coniglio – Dov M. Gabbay – Paula Gouveia – Cristina Sernadas»
اطلاعات کتاب تجزیه و تحلیل و سنتز منطق ها: نحوه برش و چسباندن سیستم های استدلال
موضوع اصلی: تحصیلات
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Walter Carnielli – Marcelo Coniglio – Dov M. Gabbay – Paula Gouveia – Cristina Sernadas
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 610
حجم کتاب: 6 مگابایت
کد کتاب: 140206781X , 9781402067815
نوبت چاپ: 1
توضیحات کتاب تجزیه و تحلیل و سنتز منطق ها: نحوه برش و چسباندن سیستم های استدلال
با مثال‌های ساده‌ای که ارتباط منطق‌های برش و چسباندن را نشان می‌دهد، این مونوگراف یک تئوری ریاضی از ترکیب و تجزیه منطق‌ها، از منطق‌های مبتنی بر گزاره و مرتبه اول تا منطق‌های مبتنی بر مرتبه بالاتر و همچنین تا غیرحقیقت را توسعه می‌دهد. منطق های عملکردی این نظریه مکانیسم‌هایی را برای ترکیب ساختارهای معنایی و سیستم‌های قیاسی با ماهیت یکسان یا متفاوت (به عنوان مثال، دو حساب هیلبرت یا حساب هیلبرت و یک حساب تابلویی) پوشش می‌دهد. موضوع مهم حفظ اموال به طور گسترده مورد توجه قرار گرفته است. به عنوان مثال، زمانی که منطق های مؤلفه اصلی به درستی و کامل بودن شناخته می شوند، شرایط کافی برای درست و کامل بودن یک منطق ترکیبی فراهم می شود.
این کتاب خواننده را به خط مقدم تحقیقات فعلی در با نشان دادن دستاوردهای اخیر و جهت گیری های تحقیقات آینده (به ویژه مشکلات باز متعدد). همچنین نمونه‌هایی از کاربردهای بالقوه در زمینه‌های نوظهور مانند پروتکل‌های امنیتی، محاسبات کوانتومی، شبکه‌ها و نظریه استدلال ارائه می‌کند، و علاوه بر بحث در مورد کاربردهای کلاسیک‌تر مانند مشخصات نرم‌افزار، نمایش دانش، زبان‌شناسی محاسباتی و استدلال خودکار مدولار.
این تک‌نگاره برای محققین و دانشجویان فارغ التحصیل در منطق ریاضی، نظریه محاسبات و منطق فلسفی بدون دانش قبلی از مبحث ترکیب و تجزیه منطق، اما با دانش کاربردی از منطق درجه اول، مورد توجه محققین و دانشجویان تحصیلات تکمیلی خواهد بود. این کتاب همچنین برای افرادی که در پروژه های تحقیقاتی درگیر هستند که در آن از منطق به عنوان ابزار استفاده می شود و نیاز به کار با چندین منطق به طور همزمان اجباری است (به عنوان مثال، منطق زمانی، معرفتی و احتمالی) مرتبط خواهد بود.
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning.
This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).
دانلود کتاب «تجزیه و تحلیل و سنتز منطق ها: نحوه برش و چسباندن سیستم های استدلال»
