首页
学习
活动
专区
圈层
工具
发布
社区首页 >专栏 >开放世界与封闭世界:经典本体论推理和 AI 大模型推理

开放世界与封闭世界:经典本体论推理和 AI 大模型推理

作者头像
人月聊IT
发布于 2026-10-09 08:06:25
发布于 2026-10-09 08:06:25
180
举报
概述
大家好,我是人月聊IT。今天继续聊本体论里面经常谈到的开放世界和封闭世界,经典本体推理和AI大模型推理之间的关系和联系。

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

目录
  • 一、两种假设,一条分界线
    • 1.1 开放世界假设:没有声明,不等于为假
    • 1.2 封闭世界假设:无法证明为真,就等于假
    • 1.3 一张表看清两种假设
    • 1.4 判断一段推理属于哪种假设
    • 1.5 两个概念的出处
  • 二、经典本体论:默认活在开放世界里
    • 2.1 这是 OWL 的设计哲学,不是配置项
    • 2.2 一个推理实例
    • 2.3 "未知"不等于"不确定",更不等于 0.5
    • 2.4 那知识图谱里的置信度是怎么回事
    • 2.5 推理机不会替你猜公理
    • 2.6 公理是硬约束,不是概率值
  • 三、AI 大模型:另一种意义上的"推理"
    • 3.1 token 概率不等于命题真值
    • 3.2 概率生成,不是形式化演绎
    • 3.3 既不是开放世界,也不是封闭世界
    • 3.4 大模型也能表现出封闭世界,但那是外加的
  • 四、融合:LLM 与经典本体的分工与流程
    • 4.1 一个典型的验证流水线
    • 4.2 本体验证能做什么,不能做什么
    • 4.3 SHACL:在 OWL 旁边放一台封闭世界的校验器
    • 4.4 工程上的常见搭配
    • 4.5 融合的关键不在技术,在边界
  • 五、总结
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档