3
Shared Docs
3
Same-Page
4 / 3
Mentions
HT_013251 336 A Glossary based, even though these other links can be processed via (e.g. PLN) logical inference via interpreting them logically. e Lojban: A constructed human language, with a completely formalized syntax and a highly formalized semantics, and a small but active community of speakers. I
logue: Linguistic interaction between two or more parties. In a CogPrime context, this may be in English or another natural language, or it may be in Lojban or Psynese. e Dialogue Control: The process of determining what to say at each juncture in a dialogue. This is distinguished from the linguistic asp
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
ogue: Linguistic interaction between two or more parties. In a CogPrime context, this may be in English or another natural language, or it may be in Lojban or Psynese. • Dialogue Control: The process of determining what to say at each juncture in a dialogue. This is distinguished from the linguistic as
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
ogue: Linguistic interaction between two or more parties. In a CogPrime context, this may be in English or another natural language, or it may be in Lojban or Psynese. • Dialogue Control: The process of determining what to say at each juncture in a dialogue. This is distinguished from the linguistic as
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
Entities connected to both Lojban and VariableAtoms
ConceptNodes
ORGANIZATIONOpenCog
ORGANIZATION
Marc Rich
PERSON
George W. Bush
PERSON
Woody Allen
PERSONCogPrime
ORGANIZATION
Stephen Hawking
PERSON
Gerald Edelman
PERSONMindAgents
PERSONAllen Interval Algebra
ORGANIZATIONPredicateNodes
ORGANIZATIONPredicateNode
LOCATIONHebbian Learning
ORGANIZATION
Jean Piaget
PERSONImplicationLinks
ORGANIZATIONCombo
LOCATION
Lawrence Krauss
PERSONthe Truth Value
ORGANIZATIONAttentionalFocus
ORGANIZATION
Vicky Ward
PERSON