Epstein Secrets

PLN performs the translation from Evaluation into Inheritance form via the inference steps Evaluation contains (Tree° Image4) --> \\ definition of SatisfyingSet Member Image4 (SatisfyingSet (Evaluation contains(Tree0 *)) ) -- \\ definition of hasTreeO Member Image4 hasTree0 --> \\ M2I, Member to Inheritan

uctionRule. Its input must look like X_Link A B X_Link B C And its output then looks like X_Link A C Here, X_Link may be either InheritanceLink, SubsetLink, ImplicationLink or Extension- allmplicationLink. A PLN formula goes along with a PLN rule, and tells the uncertain truth value of the output, base

n by ExtensionalEquivalenceLink ConceptNode: EatingEvents SatisfyingSetLink PredicateNode: eat In other words, we say that "EatingEvents" is the SatisfyingSet of the predicate "eat": it is the set of entities that satisfy the predicate "eat". Note that the truth values of MemberLink and EvaluationLink are

obvious meaning, e.g. ConceptNode cat ConceptNode animal SubsetLink cat animal EFTA00624024 13.3 Atoms: Their Types and Weights 249 Note that SubsetLink refers to a purely extensional subset relationship, and that Inheri- tanceLlnk should be used for the generic "intensional + extensional" analogue of

ven by ExtensionalEquivalenceLink ConceptNode: EatingEvents SatisfyingSetLink PredicateNode: eal In other words, we say that "EatingEvents" is the SatisfyingSet of the predicate "eat": it is the set of entities that satisfy the predicate "eat". Note that the truth values of MemberLink and EvaluationLink are f

meaning, e.g. ConceptNode cat ConceptNode animal SubsetLink cat animal HOUSE_OVERSIGHT_013164 13.3 Atoms: Their Types and Weights 249 Note that SubsetLink refers to a purely extensional subset relationship, and that Inheri- tanceLInk should be used for the generic "intensional + extensional" analogue of