Guarded logic
Encyclopedia
Guarded logic is a choice set
of dynamic logic
involved in choices, where outcomes are limited.
A simple example of guarded logic is as follows: if X is true, then Y, else Z can be expressed in dynamic logic as (X?;Y)∪(~X?;Z). This shows a guarded logical choice: if X holds, then X?;Y is equal to Y, and ~X?;Z is blocked, and a ∪block is also equal to Y. Hence, when X is true, the primary performer of the action can only take the Y branch, and when false the Z branch.
A real-world example is the idea of paradox
: something cannot be both true and false. A guarded logical choice is one where any change in true affects all decisions made down the line.
Choice Set
A choice set is one scenario, also known as a treatment, provided for evaluation by respondents in a choice experiment. Responses are collected and used to create a choice model...
of dynamic logic
Dynamic logic
Dynamic logic may mean:* In theoretical computer science, dynamic logic is a modal logic for reasoning about dynamic behaviour* In digital electronics, dynamic logic is a technique used for combinatorial circuit design* A different concept proposed by Leonid Perlovsky...
involved in choices, where outcomes are limited.
A simple example of guarded logic is as follows: if X is true, then Y, else Z can be expressed in dynamic logic as (X?;Y)∪(~X?;Z). This shows a guarded logical choice: if X holds, then X?;Y is equal to Y, and ~X?;Z is blocked, and a ∪block is also equal to Y. Hence, when X is true, the primary performer of the action can only take the Y branch, and when false the Z branch.
A real-world example is the idea of paradox
Paradox
Similar to Circular reasoning, A paradox is a seemingly true statement or group of statements that lead to a contradiction or a situation which seems to defy logic or intuition...
: something cannot be both true and false. A guarded logical choice is one where any change in true affects all decisions made down the line.