ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Conditional and Preferential Logics: Proof Methods and Theorem Proving

دانلود کتاب منطق های شرطی و ترجیحی: روش های اثبات و اثبات قضیه

Conditional and Preferential Logics: Proof Methods and Theorem Proving

مشخصات کتاب

Conditional and Preferential Logics: Proof Methods and Theorem Proving

ویرایش:  
نویسندگان:   
سری: Frontiers in Artificial Intelligence and Applications 
ISBN (شابک) : 1607500949, 9781607500940 
ناشر: IOS Press 
سال نشر: 2010 
تعداد صفحات: 209 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 25


در صورت تبدیل فایل کتاب Conditional and Preferential Logics: Proof Methods and Theorem Proving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق های شرطی و ترجیحی: روش های اثبات و اثبات قضیه

این جلد شامل نسخه اصلاح شده و به روز شده نویسندگان Ph.D. پایان نامه و بر روش های اثبات و اثبات قضیه برای منطق های شرطی و ترجیحی متمرکز است. منطق های شرطی بسط های منطق کلاسیک با استفاده از عملگر شرطی هستند که معمولاً به صورت => نشان داده می شود. منطق های شرطی تاریخچه ای طولانی دارند و اخیراً در چندین حوزه هوش مصنوعی از جمله بازنگری و به روز رسانی باورها، نمایش استنتاج های علّی در برنامه ریزی اقدام و رسمی سازی پرس و جوهای فرضی در پایگاه های داده قیاسی کاربرد پیدا کرده اند. منطق های شرطی نیز به منظور رسمی کردن استدلال غیر یکنواخت به کار گرفته شده است. مطالعه روابط بین منطق شرطی و استدلال غیر یکنواخت منجر به کار اساسی کراوس، لمان و ماگیدور شده است که به اصطلاح چارچوب KLM را معرفی کرده اند. بر اساس این چارچوب، یک پایگاه دانش غیرقابل ابطال با مجموعه محدودی از ادعاهای شرطی به شکل A |~ B نشان داده می شود، که خواندن شهودی آنها "معمولا" (معمولاً)، Aها B هستند. عملگر |~ غیر یکنواخت است به این معنا که A |~ B به معنای A و C |~ B نیست. منطق چارچوب KLM، که به عنوان منطق ترجیحی نیز شناخته می شود، امکان استنتاج ادعاهای شرطی جدید را از یک پایگاه دانش داده شده فراهم می کند. علیرغم اهمیت آنها، مکانیسم های قیاسی بسیار کمی برای منطق های شرطی و ترجیحی ایجاد شده است. نویسنده در این کتاب با معرفی روش‌های اثباتی (حساب‌های متوالی و جدولی) برای منطق‌های شرطی و ترجیحی و نیز اثبات‌کننده‌های قضیه‌ای که با اجرای محاسبات پیشنهادی به دست می‌آیند، تلاش می‌کند (تا حدی) خلأ موجود را پر کند. IOS Press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های باکیفیت برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. برخی از حوزه هایی که در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر


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

This volume contains a revised and updated version of the authors Ph.D. dissertation and is focused on proof methods and theorem proving for conditional and preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. Conditional logics have a long history and recently they have found application in several areas of AI, including belief revision and update, the representation of causal inferences in action planning and the formalization of hypothetical queries in deductive databases. Conditional logics have also been applied in order to formalize nonmonotonic reasoning. The study of the relations between conditional logics and nonmonotonic reasoning has led to the seminal work by Kraus, Lehmann and Magidor, who have introduced the so-called KLM framework. According to this framework, a defeasible knowledge base is represented by a finite set of conditional assertions of the form A |~ B, whose intuitive reading is ""typically (normally), the A's are B's"". The operator |~ is nonmonotonic in the sense that A |~ B does not imply A and C |~ B. The logics of the KLM framework, also known as preferential logics, allow to infer new conditional assertion from a given knowledge base. In spite of their significance, very few deductive mechanisms have been developed for conditional and preferential logics. In this book, the author tries to (partially) fill the existing gap by introducing proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences



فهرست مطالب

Title page......Page 2
Preface......Page 6
Contents......Page 8
Introduction to Automated Reasoning - Monotonic vs Nonmonotonic Inference Systems......Page 10
Conditional Logics......Page 12
Preferential Logics......Page 13
Conditional Logics......Page 14
KLM Logics......Page 16
Proof Methods for Conditional Logics......Page 17
Proof Methods for Preferential Logics......Page 18
Theorem Provers......Page 19
Introduction......Page 20
Axiomatizations of Conditional Logics......Page 21
The Semantics of Conditional Logics......Page 23
The Selection Function Semantics......Page 24
The Sphere Semantics......Page 25
The Preference-Based Semantics......Page 26
Applications of Conditional Logics......Page 27
Nonmonotonic Reasoning......Page 29
The Solution of Kraus, Lehmann, and Magidor: the KLM Framework......Page 30
Rational Logic R......Page 32
Preferential Logic P......Page 36
Loop Cumulative Logic CL......Page 40
Cumulative Logic C......Page 45
Conditional Logics vs KLM Logics......Page 46
Introduction......Page 52
Recall to Conditional Logics......Page 53
A Sequent Calculus for Conditional Logics......Page 55
Basic Structural Properties of SeqS......Page 58
Soundness and Completeness of SeqS......Page 77
Decidability and Complexity......Page 80
Termination and Complexity for CK{+ID}{+MP}......Page 82
Termination and Complexity for CK+CEM{+ID}......Page 86
Termination and Complexity for CK+CS*......Page 88
Refinements and Other Properties for CK{+ID}{+MP}......Page 92
Refinements for CK{+ID}......Page 97
Uniform Proofs......Page 98
Examples in US\'......Page 110
Conclusions......Page 113
Introduction......Page 114
A Tableau Calculus for Preferential Logic P......Page 116
Decidability and Complexity of P......Page 123
A Tableau Calculus for Loop Cumulative Logic CL......Page 131
Decidability and Complexity of CL......Page 136
A Tableau Calculus for Cumulative Logic C......Page 137
A Tableau Calculus for Rational Logic R......Page 153
Soundness, Termination, and Completeness of T R......Page 155
Complexity of R......Page 163
Conclusions and Comparison with Other Works......Page 165
Introduction......Page 167
CondLean: a Theorem Prover for Conditional Logics......Page 168
The Constant Labels Version......Page 169
The Free Variables Version......Page 171
CondLean\'s Graphical User Interface......Page 173
CondLean vs a \"really-lean\" Implementation......Page 175
GoalDUCK: a Goal-Directed Theorem Prover for Conditional Logics......Page 179
Statistics: CondLean and GoalDUCK......Page 181
KLMLean: a Theorem Prover for KLM Logics......Page 184
KLMLean for P and CL......Page 185
KLMLean for C......Page 186
KLMLean for R......Page 188
KLMLean\'s Graphical User Interface......Page 190
Performances of KLMLean......Page 192
Conclusions......Page 196
Future Work......Page 197
Application to the Description Logics......Page 198
Bibliography......Page 202




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