کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
397640 1438450 2014 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On finitely-valued Fuzzy Description Logics
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
On finitely-valued Fuzzy Description Logics
چکیده انگلیسی

This paper deals with finitely-valued fuzzy description languages from a logical point of view. From recent results in Mathematical Fuzzy Logic and following [44], we develop a Fuzzy Description Logic based on the fuzzy logic of a finite BL-chain. The constructors of the languages presented in this paper correspond to the connectives of that logic (containing an involutive negation, Monteiro–Baaz delta and hedges). The paper addresses the hierarchy of fuzzy attributive languages; knowledge bases and their reductions; reasoning tasks; and complexity. Our results regarding decidability together with a summary of the known results related to computational complexity are of particular interest. In Appendix B we also provide axiomatizations for expansions of the logic of a finite BL-chain considered in the paper.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 55, Issue 9, December 2014, Pages 1890–1916
نویسندگان
, , ,