Truth Value Types of Atoms

From OpenCog
Jump to: navigation, search

The truth value type is according to PLN. In the table below 'F' = Fuzzy TV, 'P' =Probabilistic TV, 'N' = None and 'D' = Depends

Atom Type Default Truth value type according to PLN Notes
AfterLink F
AndLink P
AssociativeLink P
AsymmetricHebbianLink P
AtTimeLink F
AttractionLink P
AverageLink P
BeforeLink F
BindLink N
ContainsLink F
ContextLink D ContextLink C L … should take the TV type that L takes
CosenseLink P ?
DuringLink F
EqualsLink F I assume this is a temporal link?
EquivalenceLink P
EvaluationLink F
ExecutionLink F
ExecutionOutputLink N
ExistsLink P
ExtensionalSimilarityLink P
FalseLink ??? What is FalseLink?
FeatureLink ??? Not sure about this either
FinishedByLink F
FinishesLink F
ForAllLink P
FrameElementLink P I think this is probably obsolete anyway
FrequencyLink ???
HebbianLink P
HolonymLink F ?? Holonyms from Wordnet are crisp but what about uncertain holonyms?
ImplicationLink P
InheritanceLink P
IntensionalInheritanceLink P
IntensionalSimilarityLink P
InterpretationLink P
InverseHebbianLink P
IsAcceptableSecondArgLink N
LatestLink ??
LemmaLink P ? This is crisp for current NLP application I guess; but in the context of language learning could it become probabilistic?
LinkGrammarDisjunctNode P? "
LinkGrammarRelationshipNode P? "
ListLink N
MeetsLink F
MemberLink F
MetByLink F
NotLink P
OntologicalInheritanceLink P
OrLink P
OrderedLink N
OverlappedByLink F
OverlapsLink F
ParseLink P? This is crisp for current NLP application I guess; but in the context of language learning could it become probabilistic?
PartOfSpeechLink P? "
PredictiveAttractionLink P
PredictiveImplicationLink P
QuantityLink P
ReferenceLink P
SatisfyingSetLink N
SchemaEvaluationLink P
SchemaExecutionLink P
ScholemLink N could become P in some future version
SequentialAndLink P
SetLink N
SimilarityLink P
SimultaneousAndLink P
SimultaneousEquivalenceLink P
StartedByLink F
StartsLink F
SubsetLink P
SymmetricHebbianLink P
SymmetricInverseHebbianLink P