Publications

Coverage at a Glance

Bucket	What it means	Representative items
Standalone publication cards already exist	These works already have dedicated cards under Publications and are linked throughout the sections below.	The Hidden Pattern; Probabilistic Logic Networks; OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond; Meta-MeTTa; MetaMo: A Robust Motivational Framework for Open-Ended AGI
Already represented in RawData or Publication Maps, but not yet promoted to standalone publication cards	These papers are already in the wiki's research pipeline and remain good candidates for future publication-card promotion.	A General Theory of General Intelligence; What Kind of Programming Language Best Suits Integrative AGI?; Patterns of Quantum Cognition II: Quantum Logic as a Foundation for AGI
Internal or prepublication design-note layer	These items are valuable to technical readers, but they are not all conventional public papers and should be treated separately from the peer-reviewed / arXiv publication set.	Hyperseed-1: Core Ontology; HyperClaw: Cognitive Orchestration via Attention-Metaprotocol

Investor / Overview Shortlist

• Hyperon architecture: OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond
• Roadmap and positioning: OpenCog Hyperon: A Practical Path to Beneficial AGI and ASI
• Language/runtime: Meta-MeTTa: an operational semantics for MeTTa
• Knowledge substrate: A Selectivity Theorem and a Hierarchical Corollary; Graphs, Metagraphs, RAM, CPU
• Cognitive architecture: Toward a Formal Model of Cognitive Synergy; MetaMo: A Robust Motivational Framework for Open-Ended AGI
• Reasoning: Probabilistic Logic Networks; Probabilistic Logic Networks for Temporal and Procedural Reasoning

Research Trajectory

Era	Focus	Key Publication
Philosophical (1993–2006)	Patternist theory of mind	The Hidden Pattern (2006)
Experimental (2006–2014)	CogPrime cognitive engine	Engineering General Intelligence (2014)
Foundational (2021–2023)	MeTTa language and MORK substrate	OpenCog Hyperon Whitepaper (2023)
Applied (2024–2025)	Multi-domain AGI deployment	AGI-25: PRIMUS, MetaMo, PLN/NARS papers
Orchestration (2026–)	Hybrid AGI coordination	HyperClaw: Cognitive Orchestration (2026)

Books

• Goertzel (1993), The Structure of Intelligence: A New Mathematical Model of Mind — Springer. First formal treatment of the patternist philosophy of mind that underlies Hyperon's design.
• Goertzel (1994), Chaotic Logic: Language, Thought, and Reality from the Perspective of Complex Systems Science — Plenum Press. Introduces logic as a dynamic, self-organizing process — a direct precursor to MeTTa's non-deterministic evaluation model.
• Goertzel (2006), The Hidden Pattern: A Patternist Philosophy of Mind — BrownWalker Press. Foundational philosophy underlying AtomSpace and MeTTa knowledge representation designs.
• Goertzel, Pennachin (eds.) (2007), Artificial General Intelligence — Springer. First systematic survey of the AGI research field.
• Goertzel, Hart (eds.) (2008), OpenCog: A Software Framework for Integrative Artificial General Intelligence — Atlantis Press.
• Goertzel, Lian, Arel, de Garis, Chen (eds.) (2012), Theoretical Foundations of Artificial General Intelligence — Atlantis Press.
• Goertzel et al. (2009), Probabilistic Logic Networks — Springer. Full PLN formalism and applications.
• Goertzel, Pennachin, Geisweiller (2014), Engineering General Intelligence, Vols. 1–2 — Atlantis Press. Full CogPrime architecture specification.
• Goertzel (ed.) (2014), AGI: Concept, State of the Art, and Future Prospects — Collection of AGI direction essays.
• Goertzel (2016), The AGI Revolution: An Inside View of the Rise of Artificial General Intelligence — Humanity+ Press.

Hyperon Yellow Papers (Formal Specifications)

Technical design documents and formal proofs defining core Hyperon components. Items marked [internal] are not yet publicly available.

• Potapov (2021), MeTTa Specification — Formal language specification for Meta-Type Talk. [design doc]
• Meta-MeTTa: an operational semantics for MeTTa — Meredith, Goertzel, Warrell, Vandervorst (2023). Formal semantics and MeTTa-to-Rholang compilation proof. arXiv:2305.17218. See Publication Map.
• Graphs, Metagraphs, RAM, CPU — Vepstas (2023). AtomSpace metagraph formalism, content addressing, sheaf theory bridge. v2.1.1, 70pp.
• A Selectivity Theorem and a Hierarchical Corollary — Goertzel (2025). Formal foundations for MORK/ZAM efficiency. See Publication Map.
• Goertzel (2024), Hyperseed-1: Core Ontology — Ontological seeding specification for Hyperon knowledge bases. [design doc, internal]
• Goertzel (2026), HyperClaw: Cognitive Orchestration via Attention-Metaprotocol — Design proposal for attention-based meta-layer coordination across Hyperon subsystems. [design doc]

Hyperon Era (2020–Present)

Architecture & Framework

• OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond — Goertzel et al. (2023). Primary architectural whitepaper. arXiv:2310.18318. See Publication Map.
• OpenCog Hyperon: A Practical Path to Beneficial AGI and ASI — Goertzel (2025). AGI-25, Springer LNCS vol. 16057. [peer-reviewed]
• Goertzel (2021), A General Theory of General Intelligence — Metagraph-theoretic AGI foundations. arXiv:2103.15100
• Goertzel (2021), Reflective Metagraph Rewriting as a Foundation for an AGI "Language of Thought" — arXiv:2112.08272
• Goertzel (2021), Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms on Probabilistically Typed Metagraphs — arXiv:2102.10581
• Goertzel (2023), Bridging AGI Theory and Practice with Galois Connections — AGI-23. Springer LNCS 13921. Theoretical sequel to the 2017 synergy paper, providing modern categorical formalization. [peer-reviewed]
• Goertzel (2017), Toward a Formal Model of Cognitive Synergy — arXiv:1703.04361. The foundational paper defining synergy as a mathematical relationship for overcoming computational stuckness.

MeTTa Language & Formal Semantics

• Meredith, Goertzel, Warrell, Vandervorst (2023), Meta-MeTTa: an operational semantics for MeTTa — arXiv:2305.17218. See Publication Map.
• Warrell, Potapov, Vandervorst, Goertzel (2022), A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems — AGI-22. arXiv:2203.15970 [peer-reviewed]
• Potapov, Bogdanov (2022), Univalent Foundations of AGI are (not) All You Need — AGI-21. Springer LNCS 13154, pp. 184–195. [peer-reviewed]
• Goertzel (2020), What Kind of Programming Language Best Suits Integrative AGI? — AGI-20. arXiv:2004.05267
• Cody (2025), MeTTa-TMPAL: MeTTa-Based Architecture for a Self-writing Process Algebra of Learning — AGI-25. [peer-reviewed]

Knowledge Representation & AtomSpace

• Vepstas (2023), Graphs, Metagraphs, RAM, CPU — AtomSpace metagraph formalism, content addressing, sheaf theory bridge. v2.1.1, 70pp.
• Vepstas (2022), Purely Symbolic Induction of Structure — AGI-22. Springer LNCS 13539, pp. 134–144. [peer-reviewed]
• Goertzel (2025), A Selectivity Theorem and a Hierarchical Corollary — Formal foundations for MORK/ZAM efficiency. See Publication Map.

Predictive Coding & Cognitive Architecture

• ActPC-Geom: Towards Scalable Online Neural-Symbolic Learning via Accelerating Active Predictive Coding with Information Geometry — Goertzel (2025). arXiv:2501.04832
• view (PRIMUS-Based AGI) not supported for Publications+ActPC Chem — Goertzel (2024). arXiv:2412.16547
• Goertzel (2024), Metagoals Endowing Self-Modifying AGI Systems with Goal Stability or Moderated Goal Evolution — arXiv:2412.16559
• Patterns of Quantum Cognition I: From Chronomorphisms to Quantum Propagators — Goertzel (2025), AGI-25. [peer-reviewed]
• Goertzel (2026, forthcoming), Patterns of Quantum Cognition II: Quantum Logic as a Foundation for AGI — Announced follow-up to Part I. [forthcoming]
• The Emergence of Modularization from Architecture Search via Optimal Transport — Goertzel (2025), AGI-25. Self-organization into modules; foundational justification for the PRIMUS architecture. [peer-reviewed]

Reasoning (PLN, NARS, NACE)

• Geisweiller, Yusuf (2023), Probabilistic Logic Networks for Temporal and Procedural Reasoning — AGI-23. ResearchGate [peer-reviewed]
• PLN and NARS Often Yield Similar strength × confidence Given Highly Uncertain Term Probabilities — Goertzel (2024). arXiv:2412.19524
• Hammer, Isaev et al. (2024), Non-Axiomatic Reasoning for an Autonomous Mobile Robot — IEEE ICRA 2024, pp. 17079–17085. [peer-reviewed]
• Isaev, Hammer (2025), NARS-GPT: An Integrated Reasoning System for Natural Language Interactions — IntelliSys 2025, Springer. [peer-reviewed]
• Hammer, Isaev et al. (2023), Comparative Reasoning for Intelligent Agents — AGI-23. Springer LNCS 13921, pp. 126–135. [peer-reviewed]
• Isaev, Hammer (2023), Memory System and Memory Types for Real-Time Reasoning Systems — AGI-23. Springer LNCS 13921, pp. 147–157. [peer-reviewed]
• Johansson, Hammer, Lofthouse (2025), Arbitrarily Applicable Same/Opposite Relational Responding with NARS — AGI-25. [peer-reviewed]
• Geisweiller, Yusuf (2023), Rational OpenCog Controlled Agent — AGI-23. Springer LNCS 13921, pp. 95–104. [peer-reviewed]

Motivation & MetaMo

• MetaMo: A Robust Motivational Framework for Open-Ended AGI — Lian, Goertzel (2025). AGI-25. [peer-reviewed]
• Embodying Abstract Motivational Principles in Concrete AGI Systems: From MetaMo to Open-Ended OpenPsi — Lian, Goertzel (2025). AGI-25. [peer-reviewed]

Neural-Symbolic Integration & LLMs

• Goertzel (2023), Generative AI vs. AGI: The Cognitive Strengths and Weaknesses of Modern LLMs — arXiv:2309.10371
• Potapov, Potapova (2025), The Role of LLMs in AGI — AGI-25, Part II. [peer-reviewed]
• Goertzel et al. (2020), Embedding Vector Differences Can Be Aligned With Uncertain Intensional Logic Differences — AGI-20. arXiv:2005.12535
• Intensional Inheritance Between Concepts: An Information-Theoretic Interpretation — Goertzel (2025). arXiv:2501.17393
• Goertzel, Suarez-Madrigal, Yu (2020), Guiding Symbolic Natural Language Grammar Induction via Transformer-Based Sequence Probabilities — AGI-20. arXiv:2005.12533

Formal Verification & Mathematics

• Integrating Formal Verification into an AGI Cognitive Architecture — Z. Goertzel, B. Goertzel et al. (2025), AITP 2025 (MeTTaMath). [peer-reviewed]
• Goertzel (2020), Combinatorial Decision Dags: A Natural Computational Model for General Intelligence — AGI-20. arXiv:2004.05268
• Goertzel (2020), Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation — arXiv:2012.14474

Evolutionary Learning (MOSES)

• Looks (2006), Competent Program Evolution — Doctoral dissertation, Washington University in St. Louis.

Applied AGI Roadmap

Papers and proposals positioning Hyperon capabilities in specific real-world domains.

• Finance: Goertzel (2026), Architecture of Automated Crypto-Finance Agent — Design proposal for ASI Alliance decentralized finance agent stack. [design doc]
• Robotics: Hammer, Isaev et al. (2024), Non-Axiomatic Reasoning for an Autonomous Mobile Robot — IEEE ICRA 2024, pp. 17079–17085. [peer-reviewed]
• Longevity: See Rejuve Bio for ongoing biomedical knowledge graph research applying Hyperon to longevity data pipelines.
• Mathematics: Integrating Formal Verification into an AGI Cognitive Architecture — Z. Goertzel, B. Goertzel et al. (2025), AITP 2025. [peer-reviewed]
• AI Alignment: Goertzel et al. (2025), The Elowyn: Quest of Time AI Alignment Framework — Internal whitepaper defining the alignment-via-strategic-play thesis for the EARTHwise partnership. See Elowyn. [internal doc]

---

OpenCog Legacy (2006–2014)

AGI Theory & Architecture

• General Theory of General Intelligence — Goertzel (2021). Now listed under Hyperon Era above.
• CogPrime Architecture — Goertzel et al. (2013)
• OpenCogPrime Cognitive Synergy — Goertzel (2009)
• OpenCog Software Framework — Hart, Goertzel (2008)
• Cognitive API and AGI Assessment — Goertzel, Yu (2014)
• From Here to AGI — Goertzel, Yu (2014)
• OpenCog NS Hybrid Neural-Symbolic — Goertzel (2010)
• Perception Processing for AGI — Goertzel (2012)
• Compositional Spatiotemporal Deep Learning — Goertzel (2011)
• Lifelong Forgetting — Goertzel (2011)

Reasoning (PLN & ECAN)

• Guiding PLN with Attention Allocation — Harrigan, Goertzel, Iklé, Belayneh (2014)
• Nonlinear Dynamical Attention via Information Geometry — Iklé, Goertzel (2011)
• Economic Attention Networks — Iklé, Pitt, Goertzel, Sellman (2009)
• Uncertain Interval Algebra — Sadeghi, Goertzel (2014)
• Uncertain Spatiotemporal Logic — Geisweiller, Goertzel (2010)
• Grounding Possible Worlds Semantics — Iklé, Goertzel (2010)
• Probabilistic Quantifier Logic — Iklé, Goertzel (2008)

Motivation & Emotion (OpenPsi/MetaMo)

• OpenPsi Cognitive Model — Cai, Goertzel, Geisweiller (2011)
• PSI Affective Dynamics — Cai, Goertzel et al. (2011)
• Inferential Dynamics for Virtual Animals — Goertzel, Pennachin (2008)

Natural Language Processing

• Syntax-Semantic Mapping — Lian, Goertzel (2012)
• NLP Architecture for Embodied AGI — Goertzel, Pennachin et al. (2010)
• Sentence Generation for AI — Lian, Goertzel et al. (2010)
• Pragmatic Path to Linguistic AGI — Goertzel (2008)

Pattern Mining & Perception

• FISHGRAM Pattern Mining — O'Neill, Goertzel (2012)
• Deep Learning Perception with PLN — Goertzel, Sanders, O'Neill (2013)

Embodiment & Virtual Worlds

• Humanoid Robotics Architecture — Goertzel, Hanson, Yu (2014)
• Cognitive Synergy in Animated Agents — Goertzel, Pitt et al. (2011)
• __R — Goertzel, Pitt et al. (2011)
• __R — Goertzel, de Garis et al. (2010)
• __R — Goertzel, Pennachin et al. (2008)

Evolutionary Learning (MOSES)

• Program Representation for AGI — Looks, Goertzel (2009)

Background Resources

• Solomonoff Universal Induction — Solomonoff
• AIXI Universal AI — Hutter
• Goedel Machine — Schmidhuber
• Goedel Incompleteness Theorems — Gödel
• Wang (2013), Non-Axiomatic Logic: A Model of Intelligent Reasoning — World Scientific. Primary reference for the NAL/NARS framework used in metta-nars and nartech_ros.
• JAGI Journal — Open-access AGI journal
• AGI Conference Series — Annual AGI conference