Open–Closed World Communication: A Boundary-Centered Architecture for Generative AI and Logical Reasoning

Generative AI and logical reasoning systems are often contrasted as probabilistic and symbolic approaches. This paper argues that a more consequential distinction concerns the boundaries of the knowledge worlds in which they operate. Generative AI works effectively in an open-ended semantic space: it combines learned knowledge, current context, retrieved information, and analogy to produce interpretations and candidate solutions. Logical systems such as Prolog, SMT solvers, and constraint engines operate more effectively in bounded spaces whose facts, rules, and admissible inference procedures are explicit. The paper proposes Open–Closed World Communication, a boundary-centered architecture that connects these two modes without collapsing one into the other. A third layer, Boundary Space, governs the transfer of knowledge through explicit states such as Candidate, Hypothesis, Grounded, Verified, and Committed Assertion. It preserves provenance, applies verification and policy, and prevents generated output from becoming authoritative knowledge merely because it was produced by an AI system. The architecture is bidirectional: failure or insufficiency in a Closed Reasoning Space can trigger controlled escalation to an Open Reasoning Space; validated results can then be committed back into a bounded knowledge snapshot and re-evaluated. The paper further places JDR (Job Descriptor) above these spaces as an intent-oriented orchestration layer that specifies reasoners, bridge policies, human checkpoints, and execution conditions. The result is a conceptual framework for combining generative discovery with logical rigor while retaining traceability, accountability, and human control. The proposal is positioned relative to logic programming, closed-world reasoning, retrieval-augmented generation, neural-symbolic AI, SMT solving, provenance models, and human-AI interaction. A minimal prototype and research agenda are presented.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-14
DOI
https://doi.org/10.5281/zenodo.22737883
Primary Topic
Logic, Reasoning, and Knowledge
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Open–Closed World Communication: A Boundary-Centered Architecture for Generative AI and Logical Reasoning

Masakatsu Sugimoto
Zenodo (CERN European Organization for Nuclear Research)
Logic, Reasoning, and Knowledge
preprint

Open–Closed World Communication: A Boundary-Centered Architecture for Generative AI and Logical Reasoning

Masakatsu Sugimoto
preprint en

Abstract

Generative AI and logical reasoning systems are often contrasted as probabilistic and symbolic approaches. This paper argues that a more consequential distinction concerns the boundaries of the knowledge worlds in which they operate. Generative AI works effectively in an open-ended semantic space: it combines learned knowledge, current context, retrieved information, and analogy to produce interpretations and candidate solutions. Logical systems such as Prolog, SMT solvers, and constraint engines operate more effectively in bounded spaces whose facts, rules, and admissible inference procedures are explicit. The paper proposes Open–Closed World Communication, a boundary-centered architecture that connects these two modes without collapsing one into the other. A third layer, Boundary Space, governs the transfer of knowledge through explicit states such as Candidate, Hypothesis, Grounded, Verified, and Committed Assertion. It preserves provenance, applies verification and policy, and prevents generated output from becoming authoritative knowledge merely because it was produced by an AI system. The architecture is bidirectional: failure or insufficiency in a Closed Reasoning Space can trigger controlled escalation to an Open Reasoning Space; validated results can then be committed back into a bounded knowledge snapshot and re-evaluated. The paper further places JDR (Job Descriptor) above these spaces as an intent-oriented orchestration layer that specifies reasoners, bridge policies, human checkpoints, and execution conditions. The result is a conceptual framework for combining generative discovery with logical rigor while retaining traceability, accountability, and human control. The proposal is positioned relative to logic programming, closed-world reasoning, retrieval-augmented generation, neural-symbolic AI, SMT solving, provenance models, and human-AI interaction. A minimal prototype and research agenda are presented.

Zenodo (CERN European Organization for Nuclear Research)
Tokyo University of Information Sciences (JP)
Logic, Reasoning, and Knowledge
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.