دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantic Matchmaking with Nonmonotonic Description Logics
دانلود کتاب تطبیق معنایی با منطق توصیف غیر یکنواخت
مشخصات کتاب
Semantic Matchmaking with Nonmonotonic Description Logics
ویرایش:
نویسندگان: Stephan Grimm
سری:
ISBN (شابک) : 1614993351, 9781614993353
ناشر: IOS Press
سال نشر: 2009
تعداد صفحات: 279
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Semantic Matchmaking with Nonmonotonic Description Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تطبیق معنایی با منطق توصیف غیر یکنواخت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تطبیق معنایی با منطق توصیف غیر یکنواخت
وب معنایی به یک زمینه تحقیقاتی بالغ تبدیل شده است. روش‌های آن برنامه‌های نوآورانه را در وب و خارج از شبکه جهانی وب پیدا می‌کنند. فناوری های زیربنایی آن تأثیر قابل توجهی بر زمینه های تحقیقاتی مجاور و کاربردهای صنعتی دارد. این مجموعه کتاب جدید در مورد آخرین هنر در مبانی، روش‌ها و کاربردهای وب معنایی و فناوری‌های زیربنایی آن گزارش می‌دهد. این یک انجمن مرکزی برای ارتباط تحولات اخیر است و شامل تک نگاری های تحقیقاتی، کتاب های درسی و مجلدات ویرایش شده در مورد همه موضوعات مرتبط با وب معنایی است. در این جلد اول چندین پسوند غیر یکنواخت برای منطق های توصیف (DLs) مورد بررسی قرار گرفته است، یعنی DLهای خود معرفتی، DLهای محدود و قوانین پیش فرض اصطلاحی، که همگی مکانیسم های استنتاج استاندارد DL را با اشکال جهان بسته و استدلال پیش فرض مرتبط با آن گسترش می دهند. ویژگی های عقل سلیم یک چارچوب همسان سازی برای توصیف منابع معنایی فرموله شده در فرمالیسم DL ایجاد شده است که از استنباط های مختلف DL برای قضاوت در مورد سازگاری منابع استفاده می کند. تأکید ویژه بر نگاشت تشریفات فنی معناشناسی مدل-نظری DLها به مفاهیم شهودی تر است که از جزئیات منطق برای پذیرش آسان تر چارچوب در برنامه ها انتزاع می کند. مشارکت‌های خاص تطابق معنایی با منطق‌های توصیف غیر یکنواخت حوزه‌های استدلال غیر یکنواخت با منطق توصیف در هوش مصنوعی، تطبیق توصیف‌های مبتنی بر هستی‌شناسی و کشف خدمات وب معنایی را در بر می‌گیرد. یک حساب تابلویی جدید برای استدلال در DLهای محدود معرفی شده است و نشان می‌دهد که چگونه می‌توان از پسوندهای غیر یکنواخت مختلف برای منطق‌های توصیف برای تحقق بخشیدن به ویژگی‌های عقل سلیم و استدلال دنیای بسته محلی در یک محیط وب معنایی به طور کلی استفاده کرد.
توضیحاتی درمورد کتاب به خارجی
Semantic web has grown into a mature field of research. Its methods find innovative applications on and off the World Wide Web. Its underlying technologies have significant impact on adjacent fields of research and on industrial applications. This new book series reports on the state-of-the-art in foundations, methods, and applications of semantic web and its underlying technologies. It is a central forum for the communication of recent developments and comprises research monographs, textbooks and edited volumes on all topics related to the semantic web. In this first volume several non-monotonic extensions to description logics (DLs) are investigated, namely auto-epistemic DLs, circumscriptive DLs and terminological default rules, all of which extend standard DL inference mechanisms by forms of closed-world and default reasoning associated to common-sense features. A matchmaking framework is established for semantic resource descriptions formulated in the DL formalism that uses various DL inferences to judge resource compatibility. Special emphasis lies on mapping the technical formalities of model-theoretic semantics of DLs to more intuitive notions that abstract from the details of logic for the framework’s easier adoption in applications. The particular contributions of Semantic Matchmaking with Nonmonotonic Description Logics span the fields of non-monotonic reasoning with description logics in artificial intelligence, matchmaking of ontology-based descriptions and semantic web service discovery. A novel tableaux calculus for reasoning in circumscriptive DLs is introduced and it is demonstrated how the various nonmonotonic extensions to description logics can be used to realize common-sense features and local closed-world reasoning in a semantic web setting in general.
