Optimised ExpTime Tableaux for ?ℋℐ? over Finite Residuated Lattices
المؤلفون المشاركون
Gong, Jianxing
Huang, Jian
Zhao, Xinye
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-15، 15ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-04-07
دولة النشر
مصر
عدد الصفحات
15
التخصصات الرئيسية
الملخص EN
This study proposes to adopt a novel tableau reasoning algorithm for the description logic ?ℋℐ? with semantics based on a finite residuated De Morgan lattice.
The syntax, semantics, and logical properties of this logic are given, and a sound, complete, and terminating tableaux algorithm for deciding fuzzy ABox consistency and concept satisfiability problem with respect to TBox is presented.
Moreover, based on extended and/or completion-forest with a series of sound optimization technique for checking satisfiability with respect to a TBox in the logic, a new optimized ExpTime (complexity-optimal) tableau decision procedure is presented here.
The experimental evaluation indicates that the optimization techniques we considered result in improved efficiency significantly.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Huang, Jian& Zhao, Xinye& Gong, Jianxing. 2014. Optimised ExpTime Tableaux for ?ℋℐ? over Finite Residuated Lattices. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-491715
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Huang, Jian…[et al.]. Optimised ExpTime Tableaux for ?ℋℐ? over Finite Residuated Lattices. Journal of Applied Mathematics No. 2014 (2014), pp.1-15.
https://search.emarefa.net/detail/BIM-491715
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Huang, Jian& Zhao, Xinye& Gong, Jianxing. Optimised ExpTime Tableaux for ?ℋℐ? over Finite Residuated Lattices. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-491715
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-491715
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر