ForAllLink

From OpenCog
Jump to: navigation, search

A type of BindLink used by PLN to represent universal quantification.

For example, ∀x.(if x eats haggis then x gets sick) is written as

ForAllLink
   VariableNode $X
   ImplicationLink
       EvaluationLink eats ($X, haggis)
       InheritanceLink $X sick

PLN has some special math for handling the uncertain truth values of ForAllLinks, which as of March 2013 is not implemented in the PLN code.