عنوان مقاله :
استنتاج توزيع شده برروي آنتولوژيها و قوانين در منطق order-sorted
عنوان فرعي :
Distributed Reasoning on Ontologies and Rules in Order-Sorted Logic
پديد آورندگان :
اميني، مليحه نويسنده كارشناسي ارشد كامپيوتر، دانشگاه آزاد اسلامي- واحد مشهد- باشگاه پژوهشگران جوان- مشهد- ايران , , نقيب زاده، محمود نويسنده گروه مهندسي كامپيوتر، دانشگاه فردوسي مشهد- مشهد- ايران , , محتشمي، سيد هاشم نويسنده دانشجوي كارشناسي ارشد كامپيوتر هوش مصنوعي، دانشگاه آزاد اسلامي واحد مشهد- مشهد- ايران ,
اطلاعات موجودي :
فصلنامه سال 1390
كليدواژه :
دايمي بودن ويژگي , منطق Order Sorted , آنتولوژيها و قوانين , استنتاج توزيع شده
چكيده فارسي :
عامل‌هاي هوشمند به عنوان وسايل برجسته اي در راستاي تحقق بخشيدن به نگرش وب معنايي در نظر گرفته مي شوند. اين عاملها با يكپارچه سازي آنتولوژيها و قوانين در وب معنايي، مي توانند با يكديگر تعامل و همكاري داشته باشند، اما مشكل اساسي، نبود امكان استنتاج توزيع شده كارا براي يكپارچه سازي آنتولوژيها و قوانين در چندين پايگاه دانش است. روش‌هاي ارايه شده براي استنتاج توزيع شده، اغلب بسيار زمانبر و حافظه بر بوده، به استنتاج كامل و دقيقي منجر نمي شوند. در اين مقاله ما براي رفع اين مشكل سيستم استنتاج توزيع شده اي را پيشنهاد مي كنيم كه بر اساس منطق order-sorted به ارايه دانش مي-پردازد. طرح پيشنهادي براي استنتاج توزيع شده از انتشار صفات دايمي و غيردايمي معتبر بين پايگاه‌هاي دانش استفاده مي كند. همچنين با در نظر گرفتن زمان و موقعيت صفات براي استنتاج، صفات غيردايمي معتبر بلا استفاده نمي مانند و از آنها در زمان و موقعيت معتبرشان براي استنتاج توزيع شده استفاده مي شود. بنابراين، علاوه بر استنتاج كامل، دانش به دست آمده در پايگاه‌هاي دانش توزيع شده به طور كامل در نظر گرفته شده و استنتاج توزيع شده اي با كارايي بالا، دقيق و بدون از دست دادن دانش خواهيم داشت.
عنوان نشريه :
هوش محاسباتي در مهندسي برق
عنوان نشريه :
هوش محاسباتي در مهندسي برق
اطلاعات موجودي :
فصلنامه با شماره پیاپی سال 1390
كلمات كليدي :
#تست#آزمون###امتحان
