منطق محافظت‌شده

منطق محافظت‌شده (به انگلیسی: Guarded logic) یک مجموعه گزینه از منطق پویای درگیر در گزینه‌ها است. در این منطق، نتایج محدود می‌باشد.^[۱]

یک «گزینه منطق محافظت‌شده»، گزینه‌ای است که هر تغییری در صحت آن روی همهٔ تصمیم‌های پایین‌تر از آن تأثیر می‌گذارد.^[۲]

مثال‌ها[ویرایش]

مثال اول[ویرایش]

یک مثال ساده از منطق محافظت‌شده به این صورت است:

اگر X صحیح باشد، آنوقت Y را انتخاب کن در غیر اینصورت Z را انتخاب کن.

در منطق پویا به صورت: (X?;Y)∪(~X?;Z) بیان می‌شود.

این مثال، یک «گزینه منطقی محافظت‌شده» را نشان می‌دهد: اگر X برقرار است آنوقت برابر Y است و $\thicksim X?;Z$ برابر 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.

این یک مقالهٔ خرد منطق است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.

[1] "Guarded logic". Wikipedia (به انگلیسی). 2020-03-15.

[:0-2] ۲٫۰ ^۲٫۱ Nieuwenhuis, Robert; Andrei Voronkov (2001). Logic for Programming, Artificial Intelligence, and Reasoning. Springer. pp. 88–89. ISBN 3-540-42957-3.

[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.

[۱]

[۲]

[۳]