​非公理推理系统：通向“统一的”智能理论｜周四直播·AGI读书会

导语

为了深入探讨 AGI 相关话题，集智俱乐部联合集萃深度感知技术研究所所长岳玉涛、麻省理工学院博士沈马成、天普大学博士生徐博文，共同发起 AGI 通用人工智能读书会。读书会从2023年9月21日开始，每周四晚上 19:00-21:00进行，预计持续7-10周。

本次分享是系列读书会的第七期分享，由天普大学博士生徐博文带来关于“非公理推理系统”的分享。

分享内容简介

AGI领域中的一个代表性项目是“非公理推理系统”（NARS, Non-Axiomatic Reasoning System，简称“纳思”），其有着坚实的哲学和理论基础，是一个十分有潜力的项目。
传统的基于“一阶谓词逻辑(FOPL)”的“专家系统”等符号主义方法面临着“符号接地(symbol grounding)”问题，且在系统“诞生”后通常不再学习“新的”知识了。相反，非公理推理系统被预设了其工作在知识与资源相对不足的条件下，知识是在系统与环境的交互中获得的。其所采用的“非公理逻辑(NAL, Non-Axiomatic Logic)”中，知识的“真”由经验决定，“基于经验的语义学(experience-grounded semantics)”为符号接地问题提供了解决方案。非公推理系统中的任务处理可以被“打断”，该机制保证了系统的实时性；系统的信念(beliefs)通过前向推理(forward inference)派生出新的信念，建构出系统的“世界观”；系统的目标(goals)也是“后天”获得的而非人类开发者预设的，且目标可通过反向推理(backward inference)派生出新的目标，建构出系统的“价值观”。非公理推理系统可视为一个“概念网络”，通过自组织过程进行学习和思维。通过该系统可建立起一套“统一的”智能理论，解释各个认知功能和纷繁复杂的智能现象。
本次分享将对“非公理推理系统”（纳思）做初步的介绍，特别是其中与深度学习等当下主流工作不同的、有价值的、有启发意义的推论。

分享内容大纲

• 非公理逻辑——何为“真(truth)”？

• 非公理推理系统（纳思）理论概览

• AI系统如何自己学会解决问题？

• AI系统如何寻找自己“存在的意义”？

• 纳思中的推理、规划、决策、感知、运动等过程

主要涉及核心概念

• 不足预设(AIKR, the Assumption of Insufficient Knowledge and Resources)

• 非公理逻辑(NAL, Non-Axiomatic Logic)

• 非公理推理系统(NARS, Non-Axiomatic Reasoning System)

• 逐例式问题求解(case-by-case problem solving)

主讲人

徐博文，美国天普大学PhD在读，研究方向为通用人工智能（AGI），致力于探索通用智能的理论并创造“真正的”人工智能。个人主页：http://www.xubowen.site/

主要涉及到的参考文献

Wang, Pei. “Intelligence: From definition to design.” International Workshop on Self-Supervised Learning. PMLR, 2022.

直播信息

直播时间：

2023年11月9日（本周四）19:00-21:00

参与方式：扫码参与AGI通用人工智能读书会，加入群聊，获取系列读书会回看权限，与社区的一线科研工作者与企业实践者沟通交流，共同推动AGI通用人工智能社区的发展。

AGI读书会启动

为了深入探讨 AGI 相关话题，集智俱乐部联合集萃深度感知技术研究所所长岳玉涛、麻省理工学院博士沈马成、天普大学博士生徐博文，共同发起 AGI 读书会，涵盖主题包括：智能的定义与度量、智能的原理、大语言模型与信息世界的智能、感知与具身智能、多视角下的人工智能、对齐技术与AGI安全性、AGI时代的未来社会。读书会从2023年9月21日开始，每周四晚上 19:00-21:00，预计持续7-10周。欢迎感兴趣的朋友报名参与！

详情请见：

AGI 读书会启动：迈向通用人工智能的跨学科路径

点击“阅读原文”，报名读书会