منطق محافظتشده: تفاوت میان نسخهها
معنی منطق محافظتشده با مثال ذکر شده است. |
(بدون تفاوت)
|
نسخهٔ ۱۶ مارس ۲۰۲۰، ساعت ۱۰:۵۹
منطق محافظتشده (به انگلیسی: 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.