مشخصات کتاب

Relative Complexities of First Order Calculi

ویرایش: 1 
نویسندگان: Elmar Eder (auth.)  
سری: Artificial Intelligence / Künstliche Intelligenz 
ISBN (شابک) : 9783528051228, 9783322842220 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1992 
تعداد صفحات: 178 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

کلمات کلیدی مربوط به کتاب پیچیدگی های نسبی محاسبات مرتبه اول: ریاضیات، عمومی

در صورت تبدیل فایل کتاب Relative Complexities of First Order Calculi به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب پیچیدگی های نسبی محاسبات مرتبه اول

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

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

In this paper, a comparison is made of several proof calculi in terms of the lengths of shortest proofs for some given formula of first order predicate logic with function symbols. In particular, we address the question whether, given two calculi, any derivation in one of them can be simulated in the other in polynomial time. The analogous question for propositional logic has been intensively studied by various authors because of its implications for complexity theory. And it seems there has not been as much endeavour in this field in first order logic as there has been in propositional logic. On the other hand, fOr most of the practical applications of logic, a powerful tool such as the language of first order logic is needed. The main interest of this investigation lies in the calculi most frequently used in automated theorem proving, the resolution calculus, and analytic calculi such as the tableau calculus and the connection method. In automated theorem proving there are two important aspects of complexity. In order to have a good theorem proving system, we must first have some calculus in which we can express our derivations in concise form. And second, there must be an efficient search strategy. This book deals mainly with the first aspect which is a necessary condition for the second since the length of a shortest proof always also gives a lower bound to the complexity of any strategy.

فهرست مطالب

Front Matter....Pages i-2
Introduction....Pages 3-5
Calculi for First Order Logic....Pages 7-43
Comparison of Calculi for First Order Logic....Pages 44-78
The Extension Rule in First Order Logic....Pages 79-135
Connection Structures....Pages 136-158
Back Matter....Pages 159-174

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

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

دانلود کتاب Entity Framework 6 Recipes

دانلود کتاب Kritische Politikdidaktik: Zu einer pädagogischen Theorie der Politik für die schulische und außerschulische Bildungsarbeit

دانلود کتاب The prisons we deserve

دانلود کتاب Seven Principles for Being in God's Will

دانلود کتاب Biscuit, Cookie and Cracker Manufacturing Manuals. Manual 4: Baking and Cooling of Biscuits