期刊名称：Intelligent Systems in Electrical Engineering
印刷版ISSN：2251-6530
电子版ISSN：2252-083X
出版年度：2011
卷号：2
期号：3
页码：53-66
语种：Persian
摘要：عامل‌های هوشمند به عنوان وسايل برجسته‌ای در راستای تحقق بخشيدن به نگرش وب معنايی در نظر گرفته می‌شوند. اين عاملها با يکپارچه‌سازی آنتولوژیها و قوانين در وب معنايی، می‌توانند با يکديگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزيع‌شده کارا برای يکپارچه‌سازی آنتولوژیها و قوانين در چندين پايگاه دانش است. روش‌های ارائه شده برای استنتاج توزيع‌شده، اغلب بسيار زمانبر و حافظه‌بر بوده، به استنتاج کامل و دقيقی منجر نمی‌شوند. در اين مقاله ما برای رفع اين مشکل سيستم استنتاج توزيع شده‌ای را پيشنهاد می‌کنيم که بر اساس منطق order-sorted به ارائه دانش می-پردازد. طرح پيشنهادی برای استنتاج توزيع شده از انتشار صفات دائمی و غيردائمی معتبر بين پايگاه‌های دانش استفاده می‌کند. همچنين با در نظر گرفتن زمان و موقعيت صفات برای استنتاج، صفات غيردائمی معتبر بلا استفاده نمی‌مانند و از آنها در زمان و موقعيت معتبرشان برای استنتاج توزيع شده استفاده می‌شود. بنابراين، علاوه بر استنتاج کامل، دانش به دست آمده در پايگاه‌های دانش توزيع شده به طور کامل در نظر گرفته شده و استنتاج توزيع‌شده‌ای با کارايی بالا، دقيق و بدون از دست دادن دانش خواهيم داشت.
其他摘要：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.
关键词：آنتولوژي‌ها و قوانين; استنتاج توزيع شده; دائمي بودن ويژگي; منطق Order Sorted.
其他关键词：Distributed reasoning; Ontologies and rules; Order-sorted logic; Rigidity.
