کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4944024 | 1437734 | 2016 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Logical characterizations of simulation and bisimulation for fuzzy transition systems
ترجمه فارسی عنوان
خصوصیات منطقی شبیه سازی و تقسیم بندی برای سیستم های انتقال فازی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
بی اختیاری، تکمیل فازی برچسب گذاری سیستم، مشخصه منطقی، شبیه سازی، صدا،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we provide sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic. The logic for characterizing fuzzy simulation has neither negation nor disjunction, which is very different from the well-known logical characterizations of probabilistic simulations, although the completeness proofs of our characterization results are inspired by relevant research in probabilistic concurrency theory. The logic for characterizing fuzzy bisimulation also deviates from that for probabilistic bisimulations.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 301, 15 October 2016, Pages 19-36
Journal: Fuzzy Sets and Systems - Volume 301, 15 October 2016, Pages 19-36
نویسندگان
Hengyang Wu, Yuxin Deng,