326 A Glossary e GB: Global Brain e GEOP: Goal Evaluator Operating Procedure (in a GOLEM context) e GIS: Geospatial Information System e GOLEM: Goal-Oriented LEarning Meta-architecture e GP: Genetic Programming e HOI: Higher-Order Inference e HOPLN: Higher-Order PLN e HR: Historical Repository (in a GOLEM context) e HTM: Hierarchical Temporal Memory e IA: (Allen) Interval Algebra (an algebra of temporal intervals) e IRC: Imitation / Reinforcement / Correction (Learning) e LIFES: Learning-Integrated Feature Selection e LTI: Long Term Importance e MA: MindAgent e MOSES: Meta-Optimizing Semantic Evolutionary Search e MSH: Mirror System Hypothesis e NARS: Non-Axiomatic Reasoning System e NLGen: A specific software component within OpenCog, which provides one way of dealing with Natural Language Generation e OCP: OpenCogPrime e OP: Operating Program (in a GOLEM context) e PEPL: Probabilistic Evolutionary Procedure Learning (e.g. MOSES) e PLN: Probabilistic Logic Networks e RCC: Region Connection Calculus e RelEx: A specific software component within OpenCog, which provides one way of dealing with natural language Relationship Extraction e SAT: Boolean SATisfaction, as a mathematical / computational problem e SMEPH: Self-Modifying Evolving Probabilistic Hypergraph e SRAM: Simple Realistic Agents Model e STI: Short Term Importance e STV: Simple Truth VAlue e TV: Truth Value e VLTI: Very Long Term Importances e WSPS: Whole-Sentence Purely-Syntactic Parsing A.2 Glossary of Specialized Terms e Abduction: A general form of inference that goes from data describing something to a hypothesis that accounts for the data. Often in an OpenCog context, this refers to the PLN abduction rule, a specific First-Order PLN rule (If A implies C, and B implies C, then maybe A is B), which embodies a simple form of abductive inference. But OpenCog may also carry out abduction, as a general process, in other ways. e Action Selection: The process via which the