ملیحه امینی - کارشناسی ارشد کامپیوتر، دانشگاه آزاد اسلامی- واحد مشهد- باشگاه پژوهشگران جوان- مشهد- ایران
محمود نقیب زاده - گروه مهندسی کامپیوتر، دانشگاه فردوسی مشهد- مشهد- ایران
سید هاشم محتشمی - دانشجوی کارشناسی ارشد کامپیوتر هوش مصنوعی، دانشگاه آزاد اسلامی واحد مشهد- مشهد- ایران

عامل های هوشمند به عنوان وسایل برجسته ای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته می شوند. این عاملها با یکپارچه سازی آنتولوژ ی ها و قوانین در وب معنایی، می توانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیع شده کارا برای یکپارچه سازی آنتولوژی ها و قوانین در چندین پایگاه دانش است. روش های ارائه شده برای استنتاج توزیع شده، اغلب بسیار زمانبر و حافظه بر بوده، به استنتاج کامل و دقیقی منجر نمی شوند. در این مقاله ما برای رفع این مشکل سیستم استنتاج توزیع شده ای را پیشنهاد می کنیم که بر اساس منطق order-sorted به ارائه دانش می-پردازد. طرح پیشنهادی برای استنتاج توزیع شده از انتشار صفات دائمی و غیردائمی معتبر بین پایگاه های دانش استفاده می کند. همچنین با در نظر گرفتن زمان و موقعیت صفات برای استنتاج، صفات غیردائمی معتبر بلا استفاده نمی مانند و از آنها در زمان و موقعیت معتبرشان برای استنتاج توزیع شده استفاده می شود. بنابراین، علاوه بر استنتاج کامل، دانش به دست آمده در پایگاه های دانش توزیع شده به طور کامل در نظر گرفته شده و استنتاج توزیع شده ای با کارایی بالا، دقیق و بدون از دست دادن دانش خواهیم داشت.

آنتولوژی ها و قوانین, استنتاج توزیع شده, دائمی بودن ویژگی, منطق Order Sorted