]>
ISO 19103:2005 Truth
http://standards.iso.org/iso/19103/ed-1/en/
2005-07-15
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-1/en/
DiscreteTruth
http://standards.iso.org/iso/19103/ed-1/en/
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-1/en/
truthValue() .eq. value
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 "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} .eq. possibly true{truthValue() .eq. 0} .eq. never true{truthValue() < 1} .eq. possibly false{truthValue() .eq. 1} .eq. never false{truthValue() < 1}AND{truthValue() > 0} .eq. uncertain
http://standards.iso.org/iso/19103/ed-1/en/
truthValue .gt..eq. 0.0
truthValue .gt..eq. 0.0
value
http://standards.iso.org/iso/19103/ed-1/en/
Boolean
http://standards.iso.org/iso/19103/ed-1/en/
TRUE
FALSE
Logical
http://standards.iso.org/iso/19103/ed-1/en/
TRUE
FALSE
MAYBE