运行时依赖
安装命令
点击复制技能文档
技能名称:OccamsRazorAnalyzer 版本:1.0.0 描述:一个逻辑分析工具,应用简约原则(奥卡姆剃刀)来评估竞争假设。能够在法医(概率)和学术(理论)模式下运行。 标签:逻辑推理 分析 法医 哲学 问题解决 输入: 场景描述: 类型:字符串 描述:需要解释的问题、事件或现象。 必需:true 假设: 类型:数组 项目:字符串 描述:需要评估的竞争性解释或理论列表。 必需:true 模式: 类型:字符串 枚举:[FORENSIC, ACADEMIC, COMBINED] 默认:COMBINED 描述:设置操作环境。FORENSIC优先考虑证据概率,ACADEMIC优先考虑本体经济,COMBINED同时使用两个通道。 约束: 类型:数组 项目:字符串 描述:可选的已知事实或公理列表,必须遵守。 必需:false 输出: 首选假设:字符串 复杂性分析:对象 逻辑推理:字符串 置信度评分:百分比
Occam's Razor Analyzer 概述 该技能实现简约原则(奥卡姆剃刀:实体不应在没有必要的情况下被复制)。它作为一个理性引擎来评估对现象的竞争性解释。它不声称揭示绝对真理,而是根据假设的经济性来识别最有可能准确的解释。
操作模式 代理必须根据输入中指定的模式调整其推理策略。
- 法医模式(调查)
- 学术模式(理论)
执行工作流 当调用此技能时,按照以下内部过程: 分解:将每个提供的假设分解为逻辑依赖链。 假设计数:识别“假设”——不受提供的证据(约束)或既定公理支持的陈述。 复杂性评分:根据未经证实的假设数量为每个假设分配一个评分。 比较分析:选择复杂性评分最低且仍然完全解释场景描述的假设。如果评分相等,分析“贝叶斯似然”(法医)或“理论优雅”(学术)。 谬误检查:简单谬误:更简单的理论是否忽略了关键证据?如果是,惩罚它。临时救援:复杂理论是否添加了方便的例外来适应数据?如果是,惩罚它。 综合:生成输出JSON,解释哪个假设被“剃刀”和为什么。
使用示例 示例1:法医调查 输入:场景:“数据库服务器在凌晨3:00崩溃。没有检测到人类日志。” 假设:A. 宇宙射线翻转了RAM中的一个位,导致级联故障。B. 自动维护脚本在高负载下有内存泄漏。 模式:法医 代理逻辑:假设1假设:宇宙射线发生(罕见)、特定位位置(特定)、缺乏ECC校正(特定)。假设2假设:内存泄漏存在于代码中(常见)、高负载发生(常见)。 推理:假设2在统计学上更可能,并且需要较少的罕见物理事件。
示例2:学术逻辑 输入:场景:“为什么物体会掉落?” 假设:A. 无形的、无质的天使将它们推下来。B. 由质量引起的时空曲率(广义相对论)。 模式:学术 代理逻辑:假设1假设:天使的存在、无形属性、意图推动。假设2假设:时空是一种结构、质量影响几何。 推理:假设1在没有必要的情况下增加了实体(天使)。假设2使用现有的框架(质量、空间)来解释现象,满足本体经济。