منطق محافظتشده
منطق محافظتشده (به انگلیسی: Guarded logic) یک مجموعه گزینه از منطق پویای درگیر در گزینهها است. در این منطق، نتایج محدود میباشد.[۱]
یک «گزینه منطق محافظتشده»، گزینهای است که هر تغییری در صحت آن روی همهٔ تصمیمهای پایینتر از آن تأثیر میگذارد.[۲]
مثالها[ویرایش]
مثال اول[ویرایش]
یک مثال ساده از منطق محافظتشده به این صورت است:
اگر X صحیح باشد، آنوقت Y را انتخاب کن در غیر اینصورت Z را انتخاب کن.
در منطق پویا به صورت: (X?;Y)∪(~X?;Z) بیان میشود.
این مثال، یک «گزینه منطقی محافظتشده» را نشان میدهد: اگر X برقرار است آنوقت برابر Y است و برابر BLOCKED میباشد، و Y∪block برابر Y است.
پس وقتیکه X صحیح است، عملگر اصلی عمل تنها میتواند شاخه Y را انتخاب کند، و در صورتی که X غلط باشد، شاخه Z انتخاب میگردد.[۳]
مثال دوم[ویرایش]
یک مثال از جهان واقعی ایده پارادوکس است: هیچ چیز نمیتواند هم صحیح باشد و هم غلط.[۲]
منابع[ویرایش]
- ↑ "Guarded logic". Wikipedia (به انگلیسی). 2020-03-15.
- ↑ ۲٫۰ ۲٫۱ Nieuwenhuis, Robert; Andrei Voronkov (2001). Logic for Programming, Artificial Intelligence, and Reasoning. Springer. pp. 88–89. ISBN 3-540-42957-3.
- ↑ "Formal modeling and analysis of timed system". International Conference on Formal Modelling and Analysis of Timed Systems No4. Paris, France. September 25–27, 2006.