این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
هوش محاسباتی در مهندسی برق، جلد ۲، شماره ۳، صفحات ۵۳-۶۶
عنوان فارسی استنتاج توزیع شده برروی آنتولوژی‌ها و قوانین در منطق order-sorted
چکیده فارسی مقاله عامل‌های هوشمند به عنوان وسایل برجسته‌ای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته می‌شوند. این عاملها با یکپارچه‌سازی آنتولوژ‌ی‌ها و قوانین در وب معنایی، می‌توانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیع‌شده کارا برای یکپارچه‌سازی آنتولوژی‌ها و قوانین در چندین پایگاه دانش است. روش‌های ارائه شده برای استنتاج توزیع‌شده، اغلب بسیار زمانبر و حافظه‌بر بوده، به استنتاج کامل و دقیقی منجر نمی‌شوند. در این مقاله ما برای رفع این مشکل سیستم استنتاج توزیع شده‌ای را پیشنهاد می‌کنیم که بر اساس منطق order-sorted به ارائه دانش می-پردازد. طرح پیشنهادی برای استنتاج توزیع شده از انتشار صفات دائمی و غیردائمی معتبر بین پایگاه‌های دانش استفاده می‌کند. همچنین با در نظر گرفتن زمان و موقعیت صفات برای استنتاج، صفات غیردائمی معتبر بلا استفاده نمی‌مانند و از آنها در زمان و موقعیت معتبرشان برای استنتاج توزیع شده استفاده می‌شود. بنابراین، علاوه بر استنتاج کامل، دانش به دست آمده در پایگاه‌های دانش توزیع شده به طور کامل در نظر گرفته شده و استنتاج توزیع‌شده‌ای با کارایی بالا، دقیق و بدون از دست دادن دانش خواهیم داشت.
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Distributed Reasoning on Ontologies and Rules in Order-Sorted Logic
چکیده انگلیسی مقاله Intelligent agents are considered as significant means towards realizing the semantic web vision. On the Semantic Web, integrating ontologies and rules enables software agents to interoperate between them however, this leads to a problem, that no studies have focused on effective distributed reasoning for integrating ontologies and rules in multiple knowledge-bases. The methods that have been presented for distributed reasoning not only get a lot of times and memory, but also do not lead to a complete and sound reasoning. In this paper, to solve this problem, we present a distributed reasoning system that deals with the representation of the knowledge-base of order sorted logic. This logic is able to describe the hierarchy of predicates and inheritance of expressions that there are in our natural language. To have a distributed reasoning, our proposed method uses the expansion of rigid and valid-non-rigid properties between knowledge-bases. Furthermore, with considering time and the situation of properties for reasoning, the non-rigid properties have not been ignored in fact, in their valid time and situation, they are used. With this method, we achieve a complete reasoning and, moreover, the extracted knowledge is completely considered in the knowledge-bases and we have a distributed reasoning with high efficiency and sound without missing any information.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله سید هاشم محتشمی | seyed hashem
دانشگاه آزاد اسلامی, واحد مشهد
سازمان اصلی تایید شده: دانشگاه آزاد اسلامی مشهد (Islamic azad university of mashhad)

محمود نقیب زاده |
دانشگاه فردوسی مشهد
سازمان اصلی تایید شده: دانشگاه فردوسی (Ferdowsi university)

ملیحه امینی |
دانشگاه آزاد اسلامی, واحد مشهد و باشگاه پژوهشگران جوان دانشگاه آزاد اسلامی واحد مشهد
سازمان اصلی تایید شده: دانشگاه آزاد اسلامی مشهد (Islamic azad university of mashhad)

نشانی اینترنتی http://isee.ui.ac.ir/article_15320_cdd9c0a88a53bb749054823df90d6f3c.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/1306/article-1306-343840.pdf
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات