کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
397641 | 1438450 | 2014 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Consistency reasoning in lattice-based fuzzy Description Logics
ترجمه فارسی عنوان
استدلال انطباق در منطق فازی مبتنی بر شبکه منطق
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
فازی توضیح منطق، مخازن ذخیره شده، هنجارهای مثلثی، الگوریتم تابلو فرش،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
The contribution of the paper is twofold. On the one hand, we provide a tableaux-based algorithm for deciding consistency when the underlying lattice is finite. The algorithm generalizes the one developed for classical SHI. On the other hand, we identify decidable and undecidable classes of fuzzy Description Logics over infinite lattices. For all the decidable classes, we also provide tight complexity bounds.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 55, Issue 9, December 2014, Pages 1917-1938
Journal: International Journal of Approximate Reasoning - Volume 55, Issue 9, December 2014, Pages 1917-1938
نویسندگان
Stefan Borgwardt, Rafael Peñaloza,