研究课题与问题图谱

RESEARCH QUESTIONS / PROBLEM MAP
SRI的研究并非始于某个领域名称或流行词汇,而是源自尚未解决的根本性问题。本页面是一个公开索引,旨在将每个研究课题连接到其理论、系统、研究项目、出版物和所需的证据。
研究课题
Q01
观察者是什么
能否将观察者定义为参与信息选择、表达和更新的结构,而不仅仅是外部浏览者。
Q02
意图如何改变选择
目标、价值、约束和注意力的方向,如何作用于从可能性集合中进行的选择。
Q03
表达变化后什么得以保留
当语言、公式、图表、模型或数据格式发生转换时,哪些结构得以保存,又在哪里意义会丢失。
Q04
不兼容的多个模型如何共存
当一个现象有多种解释时,如何在避免过早整合的前提下进行比较和验证。
Q05
AI如何支持人类能动性而不消解它
是否可以设计出一种系统,让AI自由地进行探索和提案,同时将价值判断、公开判断和责任留给人类。
Q06
系统持续的条件是什么
探究一个拥有记忆、制度、目的、审计和可更新性的系统,在环境变化中不崩溃并得以进化的条件。
Q07
如何将理论转化为物理或社会架构
定义一套验证单位,用于将抽象概念迁移到计算、软件、组织、教育、城市和基础设施等领域。
Q08
不确定性下智能应如何行动
研究在信息不足、模型不一致或存在未知风险的情况下,如何做出保持可逆性和可解释性的决策。
Q09
计算能保证什么
区分数值实验、形式验证、探索和AI推理所能展示的范围,以及无法从这些范围内推导出的论断。
Q10
证明在哪里结束,解释从哪里开始
明确形式结论、经验含义、哲学解释和社会实施判断之间的边界。
问题图谱的使用方法
每个问题都不是一个可以独立完成的文章。它将关联理论(Theory)、系统(System)、项目(Program)、出版物(Publication)和证据(Evidence)连接起来,追踪其目前进展到何种程度。公开信息至少会附带以下状态:
- Open:问题已定义,正在持续调查和验证
- Working Hypothesis:存在解释候选,但尚未充分验证
- Under Computation:正在进行计算、探索或形式化
- Externally Reviewable:已公开外部可查阅的成果物和证据
- Revised:已根据反例、批判或新证据进行了更新
公开原则
我们优先考虑论断的边界,而非引人注目的解释。不会将未解决的问题表述为已解决;不会将AI的探索结果作为证明来处理;也不会混淆外部研究与SRI的独立假设。研究的价值不在于结论有多么华丽,而在于能够追踪问题、证据、反证和修订过程。
相关页面
将问题转化为可研究的形式
宏大的问题本身只是美丽的格言,无法进行验证。SRI针对每个问题整理了其对象范围、术语定义、现有研究、竞争性解释、可观察差异、所需证据和停止条件。例如,“观察者是什么”这个问题,不会将物理学上的测量、认知上的注意力、AI系统上的输入选择和组织上的决策者视为同一概念,而是区分出共同结构与相异点。
Question Record的标准项目
- Scope:研究对象范围(包含什么,排除什么)
- Definitions:主要术语的定义
- Known Work:与现有研究、理论和实现的关系
- Competing Models:不兼容的解释或反例
- Required Evidence:推进或否决所需的证据
- Observable Difference:模型间不同的预测结果
- Status:Open、Working Hypothesis、Under Computation、Reviewable、Revised
问题之间的关联
Q01到Q10并非孤立存在。观察者的定义影响着表达的选择,表达的差异改变了计算可以保证的范围,而保证的极限则制约了委托给AI判断的内容。此外,要持续跨越时间系统的要素,需要保留过去决策和修订记录(Provenance)。问题图谱就是为了可视化这种依赖关系。
公开未解决的状态
如果研究网站只展示了完成的结论,读者将无法判断当前的研究位置和剩余的问题。SRI将缺乏的证据、失败的路径以及尚未解决的空白也纳入公开范围。但是,如果公开会损害知识产权、个人信息或安全性,则仅记录其存在状态,并对具体内容进行保密。
外部参与方式
每个问题未来都会设立一个窗口,接收相关的文献、反例、重现结果和合作研究提案。我们欢迎的不仅是赞同意见,也包括前提的错误、与现有研究的重复以及更简单的解释。采纳或不采纳的判断理由也会在可公开的范围内进行记录。
}


