Domain Algebra
Formal mathematics for domain-local semantics, composition, admissibility, closure, fixed points, and structure-preserving computational realization.
domainalgebra.org ↗Research Infrastructure
Methods, systems, platforms, and evidence produced through research.
This page is intentionally broader than the Research page. It is where formal methods, software, educational resources, prototypes, datasets, governance structures, and field implementations can accumulate without turning the research architecture into a product catalogue.
Formal Methods & Specifications
Structures that constrain how cognition, computation, and evidence are represented.
OIBAR
Open · Is · But · Action · Result: a structured method for recording explicit cognition, differences, boundaries, action, and outcome.
WBCA & HCB
Methods for making reasoning depth, cognitive conflict, judgment processes, and human cognitive capability observable.
OCG / CDC / DCG Structures
Structured cognitive units and domain-contextualized graph structures used across executable cognition and governance implementations.
opencognitivegraph.org ↗Systems & Platforms
Working environments where research becomes inspectable and usable.
Open Cognitive Graph
Cognitive structure, decision, assessment, and governance implementations, including OCG Book, AI Atlas, OCG Bench, OCG Assess, and AIR Governance.
Open OCG ↗FDE Notebook
A reasoning-record environment for implementation teams: not only what the system became, but how requirements, boundaries, decisions, and field judgment changed over time.
Science Notebook
A longitudinal research account that records questions, hypotheses, evidence, revisions, and cognitive growth rather than only final results or grades.
AI4S Writing
Process-based scientific writing and research-team knowledge management built around the evolution of research thinking, not only final manuscript production.
logic.codes
OCG-based orchestration, recursive invocation, structured state, and LLM enhancement experiments.
OWN AI
Early-stage exploration of long-term personal cognitive infrastructure, memory, authorship, and intellectual continuity.
ownai.host ↗Education & Cognitive Learning
Learning assets designed around cognitive capability rather than tool proficiency.
AI Literacy & The First Cognitive Commons
Books, cognitive maps, tutorials, agents, learning structures, and school-facing resources for AI literacy beyond tool use.
ailiteracy.online ↗Cognitive Computing Tutorials
Clojure, C++, graph algorithms, and related computing material taught through cognitive and structural methods for the AI era.
GraphAI
Connects classical algorithms to their application and interpretation in contemporary AI systems.
Cognitive Visual Games
Early experiments using branching narrative and direct cognitive-graph visualization to make reasoning structure visible and trainable.
Executable Cognition for Second-Language Learning
A language-learning direction based on understanding language generation and compositional structure rather than memorizing isolated surface forms.
Governance Infrastructure
Structures for responsible institutional AI and regulatory work.
RAI Governance
Structured work across privacy, security, ethics, fairness, accountability, risk, and institutional governance.
Global AI & Technology Law Compliance
Multi-jurisdiction legal and regulatory structures for comparing requirements and turning them into traceable compliance decisions.
AIR Governance
Domain and jurisdiction overlays for environmental evidence, assessment judgment, regulatory response, and governance action.
View via OCG ↗Experimental Systems
Higher-variance work that tests how far the research can travel.
Persistent Intent-to-Agent Systems
Long-lived agents built from structured intent, state, boundaries, and event-driven action rather than one-shot task execution.
Autonomous Agent Transaction & Economy
Experiments in autonomous coordination, transaction, exchange, and emergent behavior among persistent agents.
Domain Algebra Applications
Applied DA work in areas including LLM enhancement and affective computing, kept separate from the mathematical definition of DA itself.
Use, Test, Extend