کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951374 | 1441446 | 2017 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Thresholded semantic framework for a fully integrated fuzzy logic language
ترجمه فارسی عنوان
چارچوب معنایی آستانه برای یک زبان منطقی فازی کامل
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
برنامه نویسی منطقی فازی، روابط مشابهی، معنای رسمی، معنای اصطلاح معانی عملیاتی، صحت،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL programming language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has been recently designed and implemented for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. Also, we define an immediate consequence operator that allows us to give a fixpoint characterization of the least Herbrand model for a FASILL program. A remarkable aspect of our declarative and fixpoint semantics is the fact that both have been enriched with the use of thresholds thanks to the natural ability of the underlying fuzzy language for managing such constructs. Moreover, we have connected both semantics with an operational one, which also manages thresholds in an efficient way, by proving the correctness of the whole semantic framework.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 93, December 2017, Pages 42-67
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 93, December 2017, Pages 42-67
نویسندگان
Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad,