دانلود کتاب Non-Standard Inferences in Description Logics
49,000 تومان
استنتاج های غیر استاندارد در منطق های توصیف
| موضوع اصلی | الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 254 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540423974,9783540423973 |
| نوبت چاپ | 1 |
| نویسنده | Ralf Küsters (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2001 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
استنتاج های غیر استاندارد در منطق های توصیف
منطقهای توصیفی (DL) برای نمایش دانش ساختیافته استفاده میشوند. خدمات استنتاج تست سازگاری پایگاه های دانش و سلسله مراتب زیرمفهوم/ابر مفهوم محاسباتی ویژگی اصلی سیستم های DL هستند. تحقیقات فشرده در طول پانزده سال گذشته منجر به سیستم های بسیار بهینه شده ای شده است که اجازه می دهد تا در مورد پایگاه های دانش به طور کارآمد استدلال کنیم. با این حال، برنامه های کاربردی اغلب به استنباط های غیر استاندارد اضافی برای پشتیبانی از ساخت و نگهداری پایگاه های دانش نیاز دارند، بنابراین روش های استنتاج دوباره ناقص می شوند.
این کتاب، که نسخه اصلاح شده ای از پایان نامه دکتری نویسنده است، یک نکته قابل توجه را تشکیل می دهد. گامی برای پر کردن این شکاف با ارائه یک پایه رسمی عالی از برجسته ترین استنتاج های غیر استاندارد است. توضیحات ارائه شده شامل تعاریف دقیق، الگوریتم های کامل و تجزیه و تحلیل کامل پیچیدگی است. این کتاب با پایه محکمی که دارد، به عنوان مبنایی برای تحقیقات آینده نیز عمل می کند.
Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-standard inferences to support both the construction and the maintenance of knowledge bases, thus making the inference procedures again incomplete.
This book, which is a revised version of the author’s PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Blockchain for 5G Healthcare Applications: Security and privacy solutions (Healthcare Technologies)
| موضوع اصلی | کامپیوترها - الگوریتم ها و ساختارهای داده |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | The Institution of Engineering and Technology |
| تعداد صفحه | 582 |
| حجم فایل | 13.91 مگابایت |
| کد کتاب | 1839533250 , 9781839533259 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.