- Guarded logic
Guarded logic is a
choice set ofdynamic 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. [ Citation| first= | last=| coauthors=| contribution=Formal modeling and analysis of timed system| title=International Conference on Formal Modelling and Analysis of Timed Systems No4| editor-first=| editor-last=| coeditors=| publisher=| place=Paris, France| pages=| date=September 25-27, 2006| year=2006| id= | contribution-url=| format=| accessdate=2008-09-16 ]
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. [cite book | last = Nieuwenhuis | first = Robert | authorlink = | coauthors = Andrei Voronkov | title = Logic for Programming, Artificial Intelligence, and Reasoning | publisher = Springer | date = 2001 | location = | pages = 88-89 | url = | doi = | id = | isbn = 3540429573 ]References
Wikimedia Foundation. 2010.
