استنتاج توزيع شده برروي آنتولوژي‌ها و قوانين در منطق order-sorted

Distributed Reasoning on Ontologies and Rules in Order-Sorted Logic

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