کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6855823 1437690 2018 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Back-and-forth systems for fuzzy first-order models
ترجمه فارسی عنوان
سیستم های عقب و جلو برای مدل های فرضی فازی
کلمات کلیدی
منطق فازی ریاضی، منطق فازی اولویت، منطق غیر کلاسیک، معادله اولیه، سیستم های برگشت و جلو، نظریه مدل،
ترجمه چکیده
این مقاله همچنان مطالعه نظریه مدل منطق فازی با توجه به مسئله اساسی طبقه بندی مدل ها با توجه به نظریه ی اول نظریه خود ادامه می دهد. سه تعریف متفاوت از معادلات ابتدایی برای مدل های مرتبه اول فازی معرفی شده و با نمونه های مناسب مخلوط جدا می شوند. ما چندین شرایط عقب و جلو را ارائه می دهیم که براساس ساختار دو طبقه بندی کلاسیک و ساختارهای غیر کلاسیک است که برای به دست آوردن معادله اولیه در موارد خاص مفید است، همانطور که در چند نمونه نشان داده شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش مقاله
سیستم های عقب و جلو برای مدل های فرضی فازی
چکیده انگلیسی
This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples. We propose several back-and-forth conditions, based both on classical two-sorted structures and on non-classical structures, that are useful to obtain elementary equivalence in particular cases as we illustrate with several examples.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 345, 15 August 2018, Pages 83-98
نویسندگان
, , ,