|
|
قانون تفکیک دو مقدم برای استلزامهای احتمالاتی مفصل مبنا
|
|
|
|
|
نویسنده
|
معدنی خوشبخت ا. ,دولتی ع.
|
منبع
|
هفتمين سمينار نظريه مفصل و كاربردهاي آن - 1401 - دوره : 7 - هفتمین سمینار نظریه مفصل و کاربردهای آن - کد همایش: 01221-31141 - صفحه:0 -0
|
چکیده
|
عملگرهای استلزامی توابع دو متغیرهای بر مربع واحد و تعمیمی از استلزام دو ارزشی منطق کلاسیک هستند. روشهای مختلفی برای ساخت عملگرهای استلزامی ارائه شده است. یک رده از این توابع، استلزامهای احتمالاتی هستند که براساس توابع مفصل ساخته میشوند. در این مقاله قانون تفکیک دو مقدم برای این رده از استلزامها مطالعه میشود.
|
کلیدواژه
|
استلزام، قانون تفکیک دو مقدم، منطق کلاسیک، منطق فازی، مفصل.
|
آدرس
|
, iran, , iran
|
پست الکترونیکی
|
dolati50@yahoo.com
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|