استنتاج توزیع شده برروی آنتولوژیها و قوانین در منطق order-sorted
نویسندگان
چکیده مقاله:
عامل‌های هوشمند به عنوان وسایل برجسته‌ای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته می‌شوند. این عاملها با یکپارچه‌سازی آنتولوژیها و قوانین در وب معنایی، می‌توانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیع‌شده کارا برای یکپارچه‌سازی آنتولوژیها و قوانین در چندین پایگاه دانش است. روش‌های ارائه شده برای استنتاج توزیع‌شده، اغلب بسیار زمانبر و حافظه‌بر بوده، به استنتاج کامل و دقیقی منجر نمی‌شوند. در این مقاله ما برای رفع این مشکل سیستم استنتاج توزیع شده‌ای را پیشنهاد می‌کنیم که بر اساس منطق order-sorted به ارائه دانش می-پردازد. طرح پیشنهادی برای استنتاج توزیع شده از انتشار صفات دائمی و غیردائمی معتبر بین پایگاه‌های دانش استفاده می‌کند. همچنین با در نظر گرفتن زمان و موقعیت صفات برای استنتاج، صفات غیردائمی معتبر بلا استفاده نمی‌مانند و از آنها در زمان و موقعیت معتبرشان برای استنتاج توزیع شده استفاده می‌شود. بنابراین، علاوه بر استنتاج کامل، دانش به دست آمده در پایگاه‌های دانش توزیع شده به طور کامل در نظر گرفته شده و استنتاج توزیع‌شده‌ای با کارایی بالا، دقیق و بدون از دست دادن دانش خواهیم داشت.
منابع مشابه
اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کاملOrder-Sorted Generalization
Generalization, also called anti-unification, is the dual of unification. Given terms t and t′, a generalization is a term t′′ of which t and t′ are substitution instances. The dual of a most general unifier (mgu) is that of least general generalization (lgg). In this work, we extend the known untyped generalization algorithm to an order-sorted typed setting with sorts, subsorts, and subtype po...
متن کاملOrder-Sorted Inductive Types
System F ! is an extension of system F ! with subtyping and bounded quantiication. Order-sorted algebra is an extension of many-sorted algebra with overloading and subtyping. We combine both formalisms to obtain IF ! , a higher-order typed-calculus with subtyping, bounded quan-tiication and order-sorted inductive types, i.e. data types with built-in subtyping and overloading. Moreover we show t...
متن کاملOrder Sorted Quotient Algebra
Let R be a non empty poset. One can verify that there exists an order sorted set of R which is binary relation yielding. Let R be a non empty poset, let A, B be many sorted sets indexed by the carrier of R, and let I1 be a many sorted relation between A and B. We say that I1 is os-compatible if and only if the condition (Def. 1) is satisfied. (Def. 1) Let s1, s2 be elements of the carrier of R....
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 2 شماره 3
صفحات 53- 66
تاریخ انتشار 2011-10-23
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023