And Formula

From OpenCog
Jump to: navigation, search

And Formula

Inputs: list of truth values t_0, t_1, ...., t_(n-1)

Ouput: and = t_0*t_1*...*t_(n-1)

Consistency conditions: none

Comment: This And formula assumes the truth values arise from independent random variables.

Formulas can be implemented in Atomese using the PredicateFormulaLink.