带权威的贝叶斯认识论:面向促进真理的自主科学推理的形式化架构
人工智能
2025-06-23 v1 计算与语言
数据库
计算机科学中的逻辑
逻辑
摘要
科学文献的指数级扩张已超越了 human experts 和当前人工智能系统的 epistemic processing 能力。本文引入贝叶斯认识论带权威(Bayesian Epistemology with Weighted Authority,简称 BEWA),一个形式化结构化的架构,将信念建模为对结构化科学主张的动态、概率一致的函数。每个主张都被情境化、作者归因,并通过复制评分、引用加权和时间衰减进行评估。通过证据条件的贝叶斯推理、矛盾处理和认识衰减机制进行信念更新。该架构支持图基的主张传递、作者信誉建模、密码学锚定和零知识审计验证。通过将科学推理形式化为可计算验证的认识网络,BEWA 为促进机器推理系统实现真理效用、理性信念收敛和跨动态科学领域的 audit-resilient 完整性,提供了新的基础。
引用
@article{arxiv.2506.16015,
title = {Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning},
author = {Craig S. Wright},
journal= {arXiv preprint arXiv:2506.16015},
year = {2025}
}
备注
91 pages, 0 figures, includes mathematical appendix and formal proofs. Designed as a foundational submission for a modular autonomous epistemic reasoning system. Suitable for logic in computer science, AI epistemology, and scientific informatics