Document Mentions (3 shared documents)

EFTA00624128_sub_006 - EFTA00624128_555

2 mentions1 same-page

Page ?Same page

nt and/or interesting sub-hypergraphs in the Atom.space. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA00624

ection • LTI: Long Term Importance • MA: MindAgent • MOSES: Meta-Optimizing Semantic Evolutionary Search • MSH: Mirror System Hypothesis • NARS: Non-Axiomatic Reasoning System • NLGen: A specific software component within OpenCog, which provides one way of dealing with Natural Language Generation • OCP: OpenCogPrime • O

EFTA00623759_sub_004 - EFTA00623759_369

2 mentions1 same-page

Page ?Same page

ent and/or interesting sub-hypergraphs in the Atomspace. • First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order function.s. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. EFTA0062

HOUSE_OVERSIGHT_012899_sub_004 - HOUSE_OVERSIGHT_013267

2 mentions1 same-page

Page ?Same page

equent and/or interesting sub-hypergraphs in the Atomspace. First-Order Inference (FOI): The subset of PLN that handles Logical Links not in- volving VariableAtoms or higher-order functions. The other aspect of PLN, Higher-Order Inference, uses Truth Value formulas derived from First-Order Inference. HOUSE_OVER

eature Selection LTI: Long Term Importance MA: MindAgent MOSES: Meta-Optimizing Semantic Evolutionary Search MSH: Mirror System Hypothesis NARS: Non-Axiomatic Reasoning System NLGen: A specific software component within OpenCog, which provides one way of dealing with Natural Language Generation OCP: OpenCogPrime OP: Oper