Document Mentions (3 shared documents)

EFTA00623759_sub_004 - EFTA00623759_369

2 mentions1 same-page

Page ?Same page

terarchical graph of the main concepts in one of Douglas HoEstadter's books. Naturally, real concept heter

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

EFTA00624128_sub_006 - EFTA00624128_555

2 mentions1 same-page

Page ?Same page

un references. Lingua, 44:311-338, 1978. Hof79. Douglas Holstadter. Codel, Escher, Bach: An Eternal Golde

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

HOUSE_OVERSIGHT_012899_sub_004 - HOUSE_OVERSIGHT_013267

2 mentions1 same-page

Page ?Same page

eterarchical graph of the main concepts in one of Douglas Hofstadter’s books. Naturally, real concept heter

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