ورود
مقالات فارسیISIکنفرانسهاژورنالها

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

Publish place: Journal of Computational Intelligence in Electrical Engineering، Vol: 2، Issue: 3
Publish Year: 1390
نوع سند: مقاله ژورنالی
زبان: Persian
View: 262

This Paper With 14 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:
https://civilica.com/doc/1360074

شناسه ملی سند علمی:

JR_ISEE-2-3_004

تاریخ نمایه سازی: 6 دی 1400

Abstract:

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

Keywords:

Authors

ملیحه امینی

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

محمود نقیب زاده

گروه مهندسی کامپیوتر، دانشگاه فردوسی مشهد- مشهد- ایران

سید هاشم محتشمی

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Lassila, O. and Swick, R., "Resource description framework (rdf) model ...
  • Patel-Schneider, P.F., Hayes, P. and Horrocks, I. "OWL Web Ontology ...
  • Boley, H. and Tabet, S., “The Rule Markup Initiative” http://www.ruleml.org/ ...
  • Baader, F., Calvanese, D., McGuinness, D., Nardi, D. and Patel-Schneider ...
  • Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B. ...
  • Bouquet, P., Giunchiglia, F., Harmelen, F., Serafini, L. and Stuckenschmidt, ...
  • Kaneiwa, K. "The completeness of logic programming with sort predicates", ...
  • Beierle, C., Hedtsuck, U., Pletat, U., Schmitt, P.H., Siekmann, J. ...
  • Walther, C. "A mechanical solution of Schubert’s steamroller by many-sorted ...
  • Cohn, A.G., "Taxonomic reasoning with many sorted logics", Artificial Intelligence ...
  • Oberschelp, A., "Order sorted predicate logic", Workshop on Sorts and ...
  • Smith, B., "The Basic Tools of Formal Ontology ", Formal ...
  • Guarino, N. and Welty, C. "Ontological analysis of taxonomic relationships", ...
  • Sera_ni, L. and Tamilin, A., "DRAGO: Distributed Reasoning Architecture for ...
  • Schlicht, A. and Stuckenschmidt, H., "Towards Distributed Ontology Reasoning for ...
  • Kaneiwa, K. and Riichiro, M., "Distributed reasoning with ontologies and ...
  • Guarino, N., Carrara, M. and Giaretta, P., "An ontology of ...
  • Bellifemine, F., Caire, G. and Greenwood, D., "Developing multi-agent systems ...
  • Bellifemine, F., Poggi, A. and Rimassa, G., "Developing Multi-agent Systems ...
  • Horstmann, S. and Cornell, G., "Core Java", Volume ۱, Fundumental, ...
  • FRIEDMAN-HILL, E., "Jess in Action", Rule-Based Systems in Java, MANNING, ...
    • نمایش کامل مراجع