<<Type>> Truth {Analysis}
Documentation
The root or truth classification trees. The only constant between the subclasses here is that 1.0 is TRUE, and 0.0 is FALSE. This makes Probability work nicely. Other algebraic tricks may be more appropriate to other version of "truth calculus", but for consistency sake, this value mapping should always be available. For example, the following semantic mappings to simple Booleans always work:
{truthValue() > 0} = possibly true
{truthValue() = 0} = never true
{truthValue() < 1} = possibly false
{truthValue() = 1} = never false
{truthValue() < 1}AND{truthValue() > 0} = uncertain
Parent Package | Truth | Abstract | No |
Export Control | PublicAccess | Link Class for | None |
Class Kind | NormalClass | Cardinality | n |
Space | | Concurrency | Sequential |
Persistence | Yes | | |
Operations