استنتاج توزیع شده برروی آنتولوژیها و قوانین در منطق order-sorted
(ندگان)پدیدآور
امینی, ملیحهنقیب زاده, محمودمحتشمی, سید هاشمنوع مدرک
Textمقاله علمی فارسی
زبان مدرک
فارسیچکیده
عاملهای هوشمند به عنوان وسایل برجستهای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته میشوند. این عاملها با یکپارچهسازی آنتولوژیها و قوانین در وب معنایی، میتوانند با یکدیگر تعامل و همکاری داشته باشند، اما مشکل اساسی، نبود امکان استنتاج توزیعشده کارا برای یکپارچهسازی آنتولوژیها و قوانین در چندین پایگاه دانش است. روشهای ارائه شده برای استنتاج توزیعشده، اغلب بسیار زمانبر و حافظهبر بوده، به استنتاج کامل و دقیقی منجر نمیشوند. در این مقاله ما برای رفع این مشکل سیستم استنتاج توزیع شدهای را پیشنهاد میکنیم که بر اساس منطق order-sorted به ارائه دانش می-پردازد. طرح پیشنهادی برای استنتاج توزیع شده از انتشار صفات دائمی و غیردائمی معتبر بین پایگاههای دانش استفاده میکند. همچنین با در نظر گرفتن زمان و موقعیت صفات برای استنتاج، صفات غیردائمی معتبر بلا استفاده نمیمانند و از آنها در زمان و موقعیت معتبرشان برای استنتاج توزیع شده استفاده میشود. بنابراین، علاوه بر استنتاج کامل، دانش به دست آمده در پایگاههای دانش توزیع شده به طور کامل در نظر گرفته شده و استنتاج توزیعشدهای با کارایی بالا، دقیق و بدون از دست دادن دانش خواهیم داشت.
کلید واژگان
آنتولوژیها و قوانیناستنتاج توزیع شده
دائمی بودن ویژگی
منطق Order Sorted
شماره نشریه
3تاریخ نشر
2011-10-231390-08-01
ناشر
معاونت پژوهش و فناوری دانشگاه اصفهانUniversity of Isfahan
سازمان پدید آورنده
کارشناسی ارشد کامپیوتر، دانشگاه آزاد اسلامی- واحد مشهد- باشگاه پژوهشگران جوان- مشهد- ایرانگروه مهندسی کامپیوتر، دانشگاه فردوسی مشهد- مشهد- ایران
دانشجوی کارشناسی ارشد کامپیوتر هوش مصنوعی، دانشگاه آزاد اسلامی واحد مشهد- مشهد- ایران
شاپا
2251-65302252-083X




