Document Mentions (3 shared documents)

EFTA00624128_sub_006 - EFTA00624128_555

2 mentions1 same-page

Page ?Same page

more Atoms. Links and Nodes are the two basic kinds of Atoms. • Link Parser: A natural language syntax parser, created by Sleator and Temperley at Carnegie-Mellon University, and currently used as part of OpenCogPrime's natural language comprehension and natural language generation system. • Link2Atom: A system for tran

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

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

or more Atoms. Links and Nodes are the two basic kinds of Atoms. Link Parser: A natural language syntax parser, created by Sleator and Temperley at Carnegie-Mellon University, and currently used as part of OpenCogPrime’s natural language comprehension and natural language generation system. Link2Atom: A system for transla

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