]>
ISO 19103:2015 Truth
http://standards.iso.org/iso/19103/ed-2/en/
2015
ContinuousTruth
Any of the interpretations of truth as a continuous range of possible values, usually expressed as a measure.
http://standards.iso.org/iso/19103/ed-2/en/
true
DiscreteTruth
http://standards.iso.org/iso/19103/ed-2/en/
true
Probability
Continuous truth as a probability. The value (between 0.0 and 1.0) is a measure of belief (in the single occurrence case), or a measure of the distribution of occurrences (in the set case). The fine details of the semantics is the scope of probability and statistics, and the reader is directed towards his text of choice.
http://standards.iso.org/iso/19103/ed-2/en/
true
1
Truth
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 .gu.truth calculus.gu., but for consistency sake, this value mapping should always be available. For example, the following semantic mappings to simple Booleans always work:{truthValue() .gt. 0} .eq. possibly true{truthValue() .eq. 0} .eq. never true{truthValue() .lt. 1} .eq. possibly false{truthValue() .eq. 1} .eq. never false{truthValue() .lt. 1}AND{truthValue() .gt. 0} .eq. uncertain
http://standards.iso.org/iso/19103/ed-2/en/
true
value
http://standards.iso.org/iso/19103/ed-2/en/
Boolean
http://standards.iso.org/iso/19103/ed-2/en/
true
false
Logical
http://standards.iso.org/iso/19103/ed-2/en/
TRUE
FALSE
MAYBE