استنتاج توزیع شده برروی آنتولوژیها و قوانین در منطق order-sorted
Authors
Abstract:
عامل‌های هوشمند به عنوان وسایل برجسته‌ای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته می‌شوند. این عاملها با یکپارچه‌سازی آنتولوژیها و قوانین در وب معنایی، می‌توانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیع‌شده کارا برای یکپارچه‌سازی آنتولوژیها و قوانین در چندین پایگاه دانش است. روش‌های ارائه شده برای استنتاج توزیع‌شده، اغلب بسیار زمانبر و حافظه‌بر بوده، به استنتاج کامل و دقیقی منجر نمی‌شوند. در این مقاله ما برای رفع این مشکل سیستم استنتاج توزیع شده‌ای را پیشنهاد می‌کنیم که بر اساس منطق order-sorted به ارائه دانش می-پردازد. طرح پیشنهادی برای استنتاج توزیع شده از انتشار صفات دائمی و غیردائمی معتبر بین پایگاه‌های دانش استفاده می‌کند. همچنین با در نظر گرفتن زمان و موقعیت صفات برای استنتاج، صفات غیردائمی معتبر بلا استفاده نمی‌مانند و از آنها در زمان و موقعیت معتبرشان برای استنتاج توزیع شده استفاده می‌شود. بنابراین، علاوه بر استنتاج کامل، دانش به دست آمده در پایگاه‌های دانش توزیع شده به طور کامل در نظر گرفته شده و استنتاج توزیع‌شده‌ای با کارایی بالا، دقیق و بدون از دست دادن دانش خواهیم داشت.
similar resources
اثر بربرین در تنظیم آستروسیتهای 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...
full textاثر بربرین در تنظیم آستروسیتهای 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...
full textHigher-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...
full textOrder-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...
full textOrder-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...
full textOrder 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....
full textMy Resources
Journal title
volume 2 issue 3
pages 53- 66
publication date 2011-10-23
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023