Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5614006> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Q5614006 subject Q7470268.
- Q5614006 abstract "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.".
- Q5614006 wikiPageWikiLink Q1166618.
- Q5614006 wikiPageWikiLink Q1585964.
- Q5614006 wikiPageWikiLink Q1692111.
- Q5614006 wikiPageWikiLink Q3836453.
- Q5614006 wikiPageWikiLink Q4809258.
- Q5614006 wikiPageWikiLink Q483372.
- Q5614006 wikiPageWikiLink Q5104043.
- Q5614006 wikiPageWikiLink Q5614006.
- Q5614006 wikiPageWikiLink Q7470268.
- Q5614006 comment "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.".
- Q5614006 label "Guarded logic".