文章目录ForeSight 认知推理引擎技术文档一、概述二、系统架构2.1 认知层级L0-L7 保留部分2.2 核心组件清单三、功能详解3.1 符号逻辑证明与推理3.2 知识图谱与思考链3.3 数学求解保留模式3.4 元认知自适应L73.5 自然语言交互L/L 模式四、编译与运行4.1 系统依赖4.2 编译命令核心程序4.3 Python 服务启动五、能力边界具体领域意识引擎 (consciousness_core)酶促优化器 (gpp_enzyme_optimizer)推理器 (gpp_symbolic_v3)临界桶 (gpp_critical_barrel)T 模式 (tlogic_final)D 模式 (gpp_dmode_v2)G 模式 (gpp_gmode)E 模式 (gpp_emode)逻辑引擎 (gpp_logic_engine)策略库 (gpp_strategy_library)概念归纳器 (gpp_concept_inductor)物理验证器 (gpp_physical_verifier)公理系统 (gpp_axiom_system)自然语言接口 (gpp_nlu, L/L 模式)数学求解 (F / F / F)知识图谱流水线辅助组件六、开源协议与联系方式开源许可证AGPL v3仓库联系方式ForeSight 认知推理引擎技术文档版本5.98发布日期2026年6月一、概述ForeSight 是一个零预设、物理涌现的通用认知推理引擎。它不依赖机器学习梯度下降或大规模预训练通过粒子弛豫、化学气体传导、电压扩散、情绪调制和元认知闭环自主完成符号逻辑证明、知识图谱构建、数学求解、离散搜索等高阶认知任务。核心设计原则零预设所有数值参数阈值、步长、学习率、探索率由内部意识引擎情绪和酶促优化器动态调制无硬编码。物理涌现推理行为由粒子效价、相位耦合、信息素等物理过程自发产生。元认知自适应L7 引擎监控自信度与准确率的背离度动态调整系统参数并在停滞时触发革命脉冲。二、系统架构2.1 认知层级L0-L7 保留部分层级名称核心组件功能L0纯物理反射gpp_particle.h,gpp_cell.h,gpp_grid.h粒子动力学效价、相位、压力L1规则传导gpp_symbolic_v3.h推理器BFS 规则传播命题判定L2模糊联想意识引擎记忆平面 语义场键‑值相位联想类比推理L3自适应搜索酶促优化器 情绪调制探索/利用平衡参数自适应L5物理辩论与证明临界桶 P‑Mode / R‑Mode / C‑Mode正反辩论、全称验证、最短路径L6逻辑拆解gpp_logic_engine.h反思链冲突检测、禁止规则生成L7跨域自指L7 引擎革命脉冲、量子堆栈、策略库参数调制、经验迁移、元认知已移除L4 化学波以及具身智能、蛋白质折叠、视觉、音频模块。2.2 核心组件清单类别文件说明意识引擎consciousness_core.h/cpp,foresight58.h/cpp,foresight_relaxation.hpp/cpp128环粒子宇宙、三黑洞、记忆平面、六维情绪推理器gpp_symbolic_v3.h,gpp_symbolic_v2.cpp,gpp_arbiter.h/cpp规则烧录、子图分区、涌现捷径、冲突检测临界桶gpp_critical_barrel.hP‑Mode / R‑Mode / C‑Mode 三模式T模式tlogic_final.hpp,tlogic_engine_foresight.hpp电磁混合逻辑证明亿级节点图推理D模式gpp_dmode_v2.h,gpp_barrel_d_mode.h多速化学气体桶网络E模式gpp_emode.h,gpp_emode_lisp.h,gpp_emode_axioms.h图推理 SBCL可选G模式gpp_gmode.h,gpp_default_gmode.h/cpp离散空间搜索 推理链生成酶促与L7gpp_enzyme_optimizer.h/cpp,gpp_l7_deepening.h/cpp,gpp_l7_search_enhancer.h参数自适应、革命脉冲、量子堆栈策略库gpp_strategy_library.h,gpp_concept_inductor.h,gpp_experience_sync.h,gpp_experience_migration.h经验复用、概念归纳、跨任务迁移逻辑引擎gpp_logic_engine.h,gpp_physical_verifier.h,gpp_axiom_system.h思考链、物理验证、公理系统自然语言deepseek_enhancer.h/cpp,llm_enhancer.h/cpp,gpp_nlu.hL/L 模式命题解析与解释数学求解保留sympy_client.h/cpp,sympy_server_http.py,sympy_llm_server.py,solver_unified.pyFSymPy HTTP、FLLMSymPy、FSymPy/Z3/Prolog数学求解删除fricas_engine.h,gpp_fmode.h,extract_fricas.pl等❌ F 模式FriCAS已移除知识图谱extract_triples.py,generate_edges.py,build_and_induce.cpp,tlogic_zero_preset.cpp,think_solve.py三元组抽取、概念归纳、思考链生成、自然语言解释辅助text_generation_service.h/cppDeepSeek 文本生成可选三、功能详解3.1 符号逻辑证明与推理功能输入输出说明规则传导公理节点相位0、规则边目标节点相位近0真近π假推理器 BFS 传播判定命题P‑Mode 辩论正反粒子效价、相位、质量胜出方及置信度临界桶弛豫决策验证R‑Mode 验证定义域端点对、值域端点对包含关系或交集存在性验证 ∀x P(x) 或 ∃x P(x)C‑Mode 最短路径图结构非负边权、起点、终点起点相位总阻抗千万级节点最短路径阻抗T 模式链式证明公理、目标、规则边证明路径节点序列电压扩散粒子游走链长达1000步D 模式气体网络桶、导管、气体参数信息素分布、候选解策略自然涌现群论、数论G 模式离散搜索变量域、约束、评分函数最优赋值 推理步骤侦探推理、参数优化3.2 知识图谱与思考链功能输入输出说明三元组抽取原始文本需 DeepSeek APIedges.json自动从文本抽取头、关系、尾实体拆分edges.json增强的edges.json拆分复合实体添加has_part边概念归纳edges.jsoninduced_edges.json灵感粒子统计高频节点生成抽象概念最长思考链induced_edges.json 起点节点序列电压扩散 ε‑greedy 行走自然语言解释节点序列 LLM中文段落可选依赖 L/L 模式3.3 数学求解保留模式模式技术栈能力依赖 LLMF 模式SymPy HTTP 服务求导、积分、极限、级数、解方程、化简、因式分解、矩阵运算❌F 模式LLM SymPy自然语言数学问题 → 自动生成代码 → 求解✅F 模式LLM SymPy / Z3 / Prolog代数、微积分、不等式证明、逻辑推理、数论、集合论✅3.4 元认知自适应L7功能触发条件效果全参数调制每步推理后酶促根据情绪动态调整学习率、探索率革命脉冲矛盾张力或长期停滞重置参数、扰动电压、清空粒子量子堆栈回溯革命触发时遍历64层历史恢复最佳配置经验迁移手动调用跨任务复用成功路径和参数概念归纳高频传导路径自动发现新概念节点3.5 自然语言交互L/L 模式功能依赖输入输出命题解析DeepSeek API / Ollama自然语言命题结构化目标节点建议下一步DeepSeek API / Ollama公理、已证明、目标中间命题字符串解释生成DeepSeek API / Ollama节点序列自然语言段落合理性判断DeepSeek API / Ollama候选命题 上下文Yes/No四、编译与运行4.1 系统依赖编译器g 9 (C17)并行OpenMP数据库SQLite3网络libcurl可选用于 DeepSeek APIJSONnlohmann/json数学库无 FFTW3 依赖4.2 编译命令核心程序# 编译最长思考链生成器g-stdc17-O2-fopenmp-otlogic_zero_preset\tlogic_zero_preset.cpp\consciousness_core.cpp foresight58.cpp foresight_relaxation.cpp\gpp_symbolic_v2.cpp gpp_cell.cpp gpp_grid.cpp\gpp_l3_memory.cpp\text_generation_service.cpp gpp_l7_deepening.cpp gpp_enzyme_optimizer.cpp\gpp_default_gmode.cpp gpp_arbiter.cpp\deepseek_enhancer.cpp llm_enhancer.cpp\-I.-lsqlite3-lcurl-lpthread-lnlohmann_json# 编译概念归纳程序g-stdc17-O2-fopenmp-obuild_and_induce\build_and_induce.cpp\consciousness_core.cpp foresight58.cpp foresight_relaxation.cpp\gpp_symbolic_v2.cpp gpp_cell.cpp gpp_grid.cpp\gpp_l3_memory.cpp\gpp_l7_deepening.cpp gpp_enzyme_optimizer.cpp\gpp_default_gmode.cpp gpp_arbiter.cpp\-I.-lsqlite3-lcurl-lpthread-lnlohmann_json4.3 Python 服务启动# F 模式SymPy HTTP端口8234python sympy_server_http.py--port8234# F 模式自然语言数学解题依赖 LLMpython sympy_llm_server.py--backenddeepseek--port8234# F 模式统一求解器端口8237python solver_unified.py--port8237# 知识图谱全流程python extract_triples.py kb_txt/ kb_json/ python generate_edges.py --input-dir kb_json/ --output-dir graph/ ./build_and_induce--inputgraph/edges.json--nodesgraph/nodes.json--outputgraph/induced_edges.json ./tlogic_zero_preset极限--edgesgraph/induced_edges.json--nodesgraph/nodes.json--json五、能力边界具体领域数学求解代数、微积分、极限、级数、方程求解、不等式证明、数论、逻辑推理F / F / F符号逻辑证明规则传导、P‑Mode/R‑Mode 验证、T 模式链式证明、D 模式策略涌现知识图谱从文本自动抽取三元组、实体拆分、概念归纳、最长思考链生成离散搜索多变量约束优化、侦探推理、故障诊断G 模式元认知参数自调制、革命脉冲、量子堆栈回溯、经验跨任务迁移自然语言交互命题解析、中间建议、证明解释L/L 模式意识引擎 (consciousness_core)128环粒子宇宙模拟并行信息处理、相位同步三黑洞注意力系统中央黑洞聚焦双星黑洞探索振荡4000粒子记忆平面键‑值联想记忆、相似性召回六维情绪物理生成惊讶、自信、好奇心、焦虑、兴奋、无聊体感向量注入与情绪融合认知调度器升降级触发酶促优化器 (gpp_enzyme_optimizer)三通道自适应快酶→探索噪声中酶→奖励记忆慢酶→长期记忆元认知反思停滞检测、自信锁定、好奇驱动实时参数调制学习率、探索率、衰减率等零预设基线所有基线可离线调制推理器 (gpp_symbolic_v3)9种规则类型烧录与传导BFS 相位传播命题真伪判定子图分区与并行传导涌现捷径自动固化冲突检测最短路径查找临界桶 (gpp_critical_barrel)P‑Mode正反粒子辩论置信度输出R‑Mode全称/存在量词验证范围包含/交集C‑Mode千万级节点最短路径非负边权临界特性维持磁化率、关联长度增强机制引爆波、热淬火、酶促粒子注入T 模式 (tlogic_final)电压扩散公理高电压目标低电压磁场经验累积成功路径永久记忆多类型粒子行走真、假、灵感ε‑greedy 探索酶促调制信息素路径提取证明链输出革命脉冲集成重置、扰动、清空亿级节点支持CSRmmapD 模式 (gpp_dmode_v2)10种化学气体灵感、类比、假设、归纳、演绎、构造、验证、反事实、记忆、公理桶‑导管网络知识域隔离、气体传导酶促催化场动态调制气体释放权重气体竞争引擎主导策略涌现临时动态导管跨域连接自动建立G 模式 (gpp_gmode)多变量离散搜索候选值集合约束优化用户自定义评分函数人类可读推理链生成L5/L6/L7 闭环辩论验证、禁止规则、探索调制E 模式 (gpp_emode)五种节点类型常数、变量、运算符、函数、模式三种边类型计算、关系、属性五种推理操作前推、后推、跳跃、反推、反事实回溯机制快照/回滚L5/L6/L7 验证流水线逻辑引擎 (gpp_logic_engine)思考链管理步骤记录、分支回溯、自言自语反思器失败分析、策略切换建议总结器证明归纳、可读输出L7 监管集成调制搜索深度/宽度策略库 (gpp_strategy_library)成功路径存储与查询特征向量相似度匹配成功率动态更新低效策略自动淘汰概念归纳器 (gpp_concept_inductor)高频传导路径统计抽象概念节点自动生成R‑Mode 普适性验证稀疏连接概念→实例物理验证器 (gpp_physical_verifier)P‑Mode 辩论封装推导合法性置信度输出公理相位注册与同步公理系统 (gpp_axiom_system)不可违背公理注册逻辑、算术、代数自定义公理扩展公理节点锁定冲突检测与违规报告自然语言接口 (gpp_nlu, L/L 模式)正则模式匹配 语义场查询自然语言命题解析→ 公理、已知、目标中间步骤建议生成证明链自然语言解释候选命题合理性判断数学求解 (F / F / F)FSymPy HTTP 服务求导、积分、极限、级数、解方程、化简、因式分解、矩阵运算FLLM SymPy自然语言问题自动求解FLLM SymPy/Z3/Prolog代数、微积分、不等式、逻辑、数论、集合论知识图谱流水线extract_triples.pyLLM 三元组抽取generate_edges.py聚合、实体拆分、关系类型映射build_and_induce概念归纳灵感粒子随机游走tlogic_zero_preset最长思考链生成电压扩散 随机行走think_solve.py思考链 F 数学求解胶水程序辅助组件text_generation_serviceDeepSeek 文本生成封装gpp_experience_syncSQLite 经验持久化边状态、时间尺度基因gpp_experience_migration跨任务经验迁移物理记忆提取/注入、比率场类比六、开源协议与联系方式开源许可证AGPL v3ForeSight 核心代码所有 C 源文件、头文件及 Python 脚本采用GNU Affero General Public License v3.0 (AGPL v3)开源。协议核心要求您可以自由使用、修改、分发本软件但必须遵守 AGPL v3 条款。如果您将本软件或修改版本作为网络服务向用户提供SaaS则必须向所有用户公开您的完整服务端源代码。如果您将修改版本以二进制形式分发给他人如桌面软件、嵌入式设备也必须同时提供完整的源代码。如果您仅内部使用不对外分发或提供网络服务则无需公开源代码。仓库https://gitee.com/waterruby/foresight.git联系方式联系方式 ownwealth163.com更多详细信息请参阅docs/目录下的架构设计、API 参考和test目录下的示例程序。
Foresight研究报告【20260023】
发布时间：2026/6/10 17:39:39
文章目录ForeSight 认知推理引擎技术文档一、概述二、系统架构2.1 认知层级L0-L7 保留部分2.2 核心组件清单三、功能详解3.1 符号逻辑证明与推理3.2 知识图谱与思考链3.3 数学求解保留模式3.4 元认知自适应L73.5 自然语言交互L/L 模式四、编译与运行4.1 系统依赖4.2 编译命令核心程序4.3 Python 服务启动五、能力边界具体领域意识引擎 (consciousness_core)酶促优化器 (gpp_enzyme_optimizer)推理器 (gpp_symbolic_v3)临界桶 (gpp_critical_barrel)T 模式 (tlogic_final)D 模式 (gpp_dmode_v2)G 模式 (gpp_gmode)E 模式 (gpp_emode)逻辑引擎 (gpp_logic_engine)策略库 (gpp_strategy_library)概念归纳器 (gpp_concept_inductor)物理验证器 (gpp_physical_verifier)公理系统 (gpp_axiom_system)自然语言接口 (gpp_nlu, L/L 模式)数学求解 (F / F / F)知识图谱流水线辅助组件六、开源协议与联系方式开源许可证AGPL v3仓库联系方式ForeSight 认知推理引擎技术文档版本5.98发布日期2026年6月一、概述ForeSight 是一个零预设、物理涌现的通用认知推理引擎。它不依赖机器学习梯度下降或大规模预训练通过粒子弛豫、化学气体传导、电压扩散、情绪调制和元认知闭环自主完成符号逻辑证明、知识图谱构建、数学求解、离散搜索等高阶认知任务。核心设计原则零预设所有数值参数阈值、步长、学习率、探索率由内部意识引擎情绪和酶促优化器动态调制无硬编码。物理涌现推理行为由粒子效价、相位耦合、信息素等物理过程自发产生。元认知自适应L7 引擎监控自信度与准确率的背离度动态调整系统参数并在停滞时触发革命脉冲。二、系统架构2.1 认知层级L0-L7 保留部分层级名称核心组件功能L0纯物理反射gpp_particle.h,gpp_cell.h,gpp_grid.h粒子动力学效价、相位、压力L1规则传导gpp_symbolic_v3.h推理器BFS 规则传播命题判定L2模糊联想意识引擎记忆平面 语义场键‑值相位联想类比推理L3自适应搜索酶促优化器 情绪调制探索/利用平衡参数自适应L5物理辩论与证明临界桶 P‑Mode / R‑Mode / C‑Mode正反辩论、全称验证、最短路径L6逻辑拆解gpp_logic_engine.h反思链冲突检测、禁止规则生成L7跨域自指L7 引擎革命脉冲、量子堆栈、策略库参数调制、经验迁移、元认知已移除L4 化学波以及具身智能、蛋白质折叠、视觉、音频模块。2.2 核心组件清单类别文件说明意识引擎consciousness_core.h/cpp,foresight58.h/cpp,foresight_relaxation.hpp/cpp128环粒子宇宙、三黑洞、记忆平面、六维情绪推理器gpp_symbolic_v3.h,gpp_symbolic_v2.cpp,gpp_arbiter.h/cpp规则烧录、子图分区、涌现捷径、冲突检测临界桶gpp_critical_barrel.hP‑Mode / R‑Mode / C‑Mode 三模式T模式tlogic_final.hpp,tlogic_engine_foresight.hpp电磁混合逻辑证明亿级节点图推理D模式gpp_dmode_v2.h,gpp_barrel_d_mode.h多速化学气体桶网络E模式gpp_emode.h,gpp_emode_lisp.h,gpp_emode_axioms.h图推理 SBCL可选G模式gpp_gmode.h,gpp_default_gmode.h/cpp离散空间搜索 推理链生成酶促与L7gpp_enzyme_optimizer.h/cpp,gpp_l7_deepening.h/cpp,gpp_l7_search_enhancer.h参数自适应、革命脉冲、量子堆栈策略库gpp_strategy_library.h,gpp_concept_inductor.h,gpp_experience_sync.h,gpp_experience_migration.h经验复用、概念归纳、跨任务迁移逻辑引擎gpp_logic_engine.h,gpp_physical_verifier.h,gpp_axiom_system.h思考链、物理验证、公理系统自然语言deepseek_enhancer.h/cpp,llm_enhancer.h/cpp,gpp_nlu.hL/L 模式命题解析与解释数学求解保留sympy_client.h/cpp,sympy_server_http.py,sympy_llm_server.py,solver_unified.pyFSymPy HTTP、FLLMSymPy、FSymPy/Z3/Prolog数学求解删除fricas_engine.h,gpp_fmode.h,extract_fricas.pl等❌ F 模式FriCAS已移除知识图谱extract_triples.py,generate_edges.py,build_and_induce.cpp,tlogic_zero_preset.cpp,think_solve.py三元组抽取、概念归纳、思考链生成、自然语言解释辅助text_generation_service.h/cppDeepSeek 文本生成可选三、功能详解3.1 符号逻辑证明与推理功能输入输出说明规则传导公理节点相位0、规则边目标节点相位近0真近π假推理器 BFS 传播判定命题P‑Mode 辩论正反粒子效价、相位、质量胜出方及置信度临界桶弛豫决策验证R‑Mode 验证定义域端点对、值域端点对包含关系或交集存在性验证 ∀x P(x) 或 ∃x P(x)C‑Mode 最短路径图结构非负边权、起点、终点起点相位总阻抗千万级节点最短路径阻抗T 模式链式证明公理、目标、规则边证明路径节点序列电压扩散粒子游走链长达1000步D 模式气体网络桶、导管、气体参数信息素分布、候选解策略自然涌现群论、数论G 模式离散搜索变量域、约束、评分函数最优赋值 推理步骤侦探推理、参数优化3.2 知识图谱与思考链功能输入输出说明三元组抽取原始文本需 DeepSeek APIedges.json自动从文本抽取头、关系、尾实体拆分edges.json增强的edges.json拆分复合实体添加has_part边概念归纳edges.jsoninduced_edges.json灵感粒子统计高频节点生成抽象概念最长思考链induced_edges.json 起点节点序列电压扩散 ε‑greedy 行走自然语言解释节点序列 LLM中文段落可选依赖 L/L 模式3.3 数学求解保留模式模式技术栈能力依赖 LLMF 模式SymPy HTTP 服务求导、积分、极限、级数、解方程、化简、因式分解、矩阵运算❌F 模式LLM SymPy自然语言数学问题 → 自动生成代码 → 求解✅F 模式LLM SymPy / Z3 / Prolog代数、微积分、不等式证明、逻辑推理、数论、集合论✅3.4 元认知自适应L7功能触发条件效果全参数调制每步推理后酶促根据情绪动态调整学习率、探索率革命脉冲矛盾张力或长期停滞重置参数、扰动电压、清空粒子量子堆栈回溯革命触发时遍历64层历史恢复最佳配置经验迁移手动调用跨任务复用成功路径和参数概念归纳高频传导路径自动发现新概念节点3.5 自然语言交互L/L 模式功能依赖输入输出命题解析DeepSeek API / Ollama自然语言命题结构化目标节点建议下一步DeepSeek API / Ollama公理、已证明、目标中间命题字符串解释生成DeepSeek API / Ollama节点序列自然语言段落合理性判断DeepSeek API / Ollama候选命题 上下文Yes/No四、编译与运行4.1 系统依赖编译器g 9 (C17)并行OpenMP数据库SQLite3网络libcurl可选用于 DeepSeek APIJSONnlohmann/json数学库无 FFTW3 依赖4.2 编译命令核心程序# 编译最长思考链生成器g-stdc17-O2-fopenmp-otlogic_zero_preset\tlogic_zero_preset.cpp\consciousness_core.cpp foresight58.cpp foresight_relaxation.cpp\gpp_symbolic_v2.cpp gpp_cell.cpp gpp_grid.cpp\gpp_l3_memory.cpp\text_generation_service.cpp gpp_l7_deepening.cpp gpp_enzyme_optimizer.cpp\gpp_default_gmode.cpp gpp_arbiter.cpp\deepseek_enhancer.cpp llm_enhancer.cpp\-I.-lsqlite3-lcurl-lpthread-lnlohmann_json# 编译概念归纳程序g-stdc17-O2-fopenmp-obuild_and_induce\build_and_induce.cpp\consciousness_core.cpp foresight58.cpp foresight_relaxation.cpp\gpp_symbolic_v2.cpp gpp_cell.cpp gpp_grid.cpp\gpp_l3_memory.cpp\gpp_l7_deepening.cpp gpp_enzyme_optimizer.cpp\gpp_default_gmode.cpp gpp_arbiter.cpp\-I.-lsqlite3-lcurl-lpthread-lnlohmann_json4.3 Python 服务启动# F 模式SymPy HTTP端口8234python sympy_server_http.py--port8234# F 模式自然语言数学解题依赖 LLMpython sympy_llm_server.py--backenddeepseek--port8234# F 模式统一求解器端口8237python solver_unified.py--port8237# 知识图谱全流程python extract_triples.py kb_txt/ kb_json/ python generate_edges.py --input-dir kb_json/ --output-dir graph/ ./build_and_induce--inputgraph/edges.json--nodesgraph/nodes.json--outputgraph/induced_edges.json ./tlogic_zero_preset极限--edgesgraph/induced_edges.json--nodesgraph/nodes.json--json五、能力边界具体领域数学求解代数、微积分、极限、级数、方程求解、不等式证明、数论、逻辑推理F / F / F符号逻辑证明规则传导、P‑Mode/R‑Mode 验证、T 模式链式证明、D 模式策略涌现知识图谱从文本自动抽取三元组、实体拆分、概念归纳、最长思考链生成离散搜索多变量约束优化、侦探推理、故障诊断G 模式元认知参数自调制、革命脉冲、量子堆栈回溯、经验跨任务迁移自然语言交互命题解析、中间建议、证明解释L/L 模式意识引擎 (consciousness_core)128环粒子宇宙模拟并行信息处理、相位同步三黑洞注意力系统中央黑洞聚焦双星黑洞探索振荡4000粒子记忆平面键‑值联想记忆、相似性召回六维情绪物理生成惊讶、自信、好奇心、焦虑、兴奋、无聊体感向量注入与情绪融合认知调度器升降级触发酶促优化器 (gpp_enzyme_optimizer)三通道自适应快酶→探索噪声中酶→奖励记忆慢酶→长期记忆元认知反思停滞检测、自信锁定、好奇驱动实时参数调制学习率、探索率、衰减率等零预设基线所有基线可离线调制推理器 (gpp_symbolic_v3)9种规则类型烧录与传导BFS 相位传播命题真伪判定子图分区与并行传导涌现捷径自动固化冲突检测最短路径查找临界桶 (gpp_critical_barrel)P‑Mode正反粒子辩论置信度输出R‑Mode全称/存在量词验证范围包含/交集C‑Mode千万级节点最短路径非负边权临界特性维持磁化率、关联长度增强机制引爆波、热淬火、酶促粒子注入T 模式 (tlogic_final)电压扩散公理高电压目标低电压磁场经验累积成功路径永久记忆多类型粒子行走真、假、灵感ε‑greedy 探索酶促调制信息素路径提取证明链输出革命脉冲集成重置、扰动、清空亿级节点支持CSRmmapD 模式 (gpp_dmode_v2)10种化学气体灵感、类比、假设、归纳、演绎、构造、验证、反事实、记忆、公理桶‑导管网络知识域隔离、气体传导酶促催化场动态调制气体释放权重气体竞争引擎主导策略涌现临时动态导管跨域连接自动建立G 模式 (gpp_gmode)多变量离散搜索候选值集合约束优化用户自定义评分函数人类可读推理链生成L5/L6/L7 闭环辩论验证、禁止规则、探索调制E 模式 (gpp_emode)五种节点类型常数、变量、运算符、函数、模式三种边类型计算、关系、属性五种推理操作前推、后推、跳跃、反推、反事实回溯机制快照/回滚L5/L6/L7 验证流水线逻辑引擎 (gpp_logic_engine)思考链管理步骤记录、分支回溯、自言自语反思器失败分析、策略切换建议总结器证明归纳、可读输出L7 监管集成调制搜索深度/宽度策略库 (gpp_strategy_library)成功路径存储与查询特征向量相似度匹配成功率动态更新低效策略自动淘汰概念归纳器 (gpp_concept_inductor)高频传导路径统计抽象概念节点自动生成R‑Mode 普适性验证稀疏连接概念→实例物理验证器 (gpp_physical_verifier)P‑Mode 辩论封装推导合法性置信度输出公理相位注册与同步公理系统 (gpp_axiom_system)不可违背公理注册逻辑、算术、代数自定义公理扩展公理节点锁定冲突检测与违规报告自然语言接口 (gpp_nlu, L/L 模式)正则模式匹配 语义场查询自然语言命题解析→ 公理、已知、目标中间步骤建议生成证明链自然语言解释候选命题合理性判断数学求解 (F / F / F)FSymPy HTTP 服务求导、积分、极限、级数、解方程、化简、因式分解、矩阵运算FLLM SymPy自然语言问题自动求解FLLM SymPy/Z3/Prolog代数、微积分、不等式、逻辑、数论、集合论知识图谱流水线extract_triples.pyLLM 三元组抽取generate_edges.py聚合、实体拆分、关系类型映射build_and_induce概念归纳灵感粒子随机游走tlogic_zero_preset最长思考链生成电压扩散 随机行走think_solve.py思考链 F 数学求解胶水程序辅助组件text_generation_serviceDeepSeek 文本生成封装gpp_experience_syncSQLite 经验持久化边状态、时间尺度基因gpp_experience_migration跨任务经验迁移物理记忆提取/注入、比率场类比六、开源协议与联系方式开源许可证AGPL v3ForeSight 核心代码所有 C 源文件、头文件及 Python 脚本采用GNU Affero General Public License v3.0 (AGPL v3)开源。协议核心要求您可以自由使用、修改、分发本软件但必须遵守 AGPL v3 条款。如果您将本软件或修改版本作为网络服务向用户提供SaaS则必须向所有用户公开您的完整服务端源代码。如果您将修改版本以二进制形式分发给他人如桌面软件、嵌入式设备也必须同时提供完整的源代码。如果您仅内部使用不对外分发或提供网络服务则无需公开源代码。仓库https://gitee.com/waterruby/foresight.git联系方式联系方式 ownwealth163.com更多详细信息请参阅docs/目录下的架构设计、API 参考和test目录下的示例程序。
