سیستم های انتقال فازی
ترجمه نشده

سیستم های انتقال فازی

عنوان فارسی مقاله: منطق مودال فازی برای سیستم های انتقال فازی
عنوان انگلیسی مقاله: A Fuzzy Modal Logic for Fuzzy Transition Systems
مجله/کنفرانس: یادداشت های الکترونیکی در علوم نظری رایانه – Electronic Notes in Theoretical Computer Science
رشته های تحصیلی مرتبط: مهندسی کامپیوتر
گرایش های تحصیلی مرتبط: مهندسی الگوریتم ها و محاسبات
کلمات کلیدی فارسی: شبیه سازی دوگانه، شبیه سازی، سیستم های انتقال فازی، منطق مودال، جبر Godel
کلمات کلیدی انگلیسی: bisimulation; simulation; fuzzy transition systems;modal logic;Godel algebra
نوع نگارش مقاله: مقاله پژوهشی (Research Article)
نمایه: Scopus
شناسه دیجیتال (DOI): https://doi.org/10.1016/j.entcs.2020.02.006
دانشگاه: CIDMA, Dep. Mathematics, U. Aveiro, QuantaLab INESC TEC, U. Minho, Portugal
ناشر: الزویر - Elsevier
نوع ارائه مقاله: ژورنال
نوع مقاله: ISI
سال انتشار مقاله: 2020
ایمپکت فاکتور: 0.821 در سال 2019
شاخص H_index: 53 در سال 2020
شاخص SJR: 0.286 در سال 2019
شناسه ISSN: 1571-0661
شاخص Quartile (چارک): Q3 در سال 2019
فرمت مقاله انگلیسی: PDF
تعداد صفحات مقاله انگلیسی: 19
وضعیت ترجمه: ترجمه نشده است
قیمت مقاله انگلیسی: رایگان
آیا این مقاله بیس است: خیر
آیا این مقاله مدل مفهومی دارد: ندارد
آیا این مقاله پرسشنامه دارد: ندارد
آیا این مقاله متغیر دارد: ندارد
کد محصول: E14872
رفرنس: دارای رفرنس در داخل متن و انتهای مقاله
فهرست انگلیسی مطالب

Abstract


۱ Introduction


۲ Classic Modal Logic


۳ Fuzzy Modal Logic


۴ Simulation and bisimulation


۵ Bisimilarity


۶ Modal Invariance


۷ Conclusion


References

نمونه متن انگلیسی مقاله

Abstract


This paper intends to contribute with a new fuzzy modal logic to model and reason about transition systems involving uncertainty in behaviours. Our formalism supports fuzziness at transitions and on the proposition symbols assignment levels. Against of other approaches in the literature, our bisimulation and bisimilarity notions generalise the analogous standard notions of classic modal logic and of process algebras. Moreover, the outcome of our logic is also fuzzy, with the semantic interpretation of connectives supported by the G¨odel algebra.


Introduction


For 50 years, fuzzy sets and fuzzy logic have been an area of active research (cf. [13]). Fuzzy automata [17], fuzzy Markov processes [1], fuzzy petri nets [25,16], fuzzy reactive frames [24] and fuzzy discrete event systems [22] are some of the formalisms that have been considering to model computational systems that deal with uncertainty and fuzzy sets. In this work, we will focus on fuzzy transition systems or fuzzy labelled transition systems, which are a generalisation of transition systems or labelled transition systems (widely used in computer science) with [0, 1]- weights on the transitions [26,27,15]. It is well known that bisimulations and simulations are a worth way of comparing two transition systems. They have been considered in several frameworks, such as fuzzy automata [7,8] fuzzy Markov process [9], fuzzy discrete systems [22], weighted labelled transition system [26,27,15]. All of them have special motivations and, consequently, different formulations. For example, in [26,6,5] bisimulations are defined as equivalence relations. There are other approaches that focus on horizontal and vertical bisimulations [15] and some other which define bisimulations as fuzzy relations [7].

  • اشتراک گذاری در

دیدگاه خود را بنویسید:

تاکنون دیدگاهی برای این نوشته ارسال نشده است

سیستم های انتقال فازی
نوشته های مرتبط
مقالات جدید
پیوندها