Papers
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
Tags
Discussion