عنوان : ( قوانین استنتاج برای استلزام های احتمالاتی مفصل مبنا )
نویسندگان: الناز معدنی خوش بخت , محمد امینی , علی دولتی ,
Full Textچکیده
در منطق فازی ارزش گذاری گزاره های شرطی با استفاده از عملگر های استلزام انجام می شود. عملگرهای استلزامی توابع دو متغیره ای بر تکیه گاه مربع واحد و تعمیمی از استلزام دو ارزشی منطق کلاسیک هستند. روش های گوناگونی برای ساخت عملگرهای استلزامی ارائه شده است. یک رده از این توابع، استلزام های احتمالاتی هستند که براساس توابع مفصل ساخته می شوند. در این مقاله به معرفی روش های ساخت چهار خانواده از استلزام های احتمالاتی مفصل مبنا پرداخته می شود و برخی از قوانین استنتاج برای دو خانواده از این عملگرها مطالعه می شود. در پایان کاربردهایی از این مفاهیم در پزشکی، کشاورزی و منابع آب های زیرزمینی ارائه می شود.
کلمات کلیدی
, استلزام, قانون −Tشرطی, قانون تفکیک دو مقدم, قانون عکس نقیض, مفصل
@article{paperid:1099783,
author = {معدنی خوش بخت, الناز and امینی, محمد and علی دولتی},
title = {قوانین استنتاج برای استلزام های احتمالاتی مفصل مبنا},
journal = {سیستم های فازی و کاربردها},
year = {2024},
volume = {7},
number = {1},
month = {July},
issn = {2717-4409},
pages = {125--150},
numpages = {25},
keywords = {استلزام، قانون −Tشرطی، قانون تفکیک دو مقدم، قانون عکس نقیض، مفصل},
}
%0 Journal Article
%T قوانین استنتاج برای استلزام های احتمالاتی مفصل مبنا
%A معدنی خوش بخت, الناز
%A امینی, محمد
%A علی دولتی
%J سیستم های فازی و کاربردها
%@ 2717-4409
%D 2024
