美国天普大学（Temple University）计算机系王培教授在北京大学逻辑、语言与认知中心作演讲，介绍王培教授在AGI方面的研究。

NARS推理系统及在AGI方面的应用

6 月 11 日 晚，北京大学逻辑、语言与认知研究中心逻辑前沿讨论会在北京大学哲学系会议室进行。美国天普大学（Temple University）计算机系 王培 教授应邀参加，并就其在AGI方面的研究作了精彩报告。参加当晚讨论的还有逻辑中心的 诸位 老师，以及哲学系逻辑专业的博士生和硕士生等。

会议主席 周北海 教授致完欢迎辞后，报告正式开始。

王培 教授认为现在的人工智能中的情况不同于数学，因此需要一种完全不同于数理逻辑的智能逻辑。常用的将概率论、集合论等数学手段引入经典逻辑的方法只能部分解决AI中的问题，尤其处理不完全信息和知识时存在很多不足，而不能完全应用于AI。为此他建立了一种全新的适用于经验推理的逻辑，称之为NARS（Non-Axiomatic Reasoning System非公理推理系统）。在NARS有形式逻辑（语言，语义和推理规则），并可在计算机系统中实现。在报告中， 王 教授指出智能可被理解为合理性和有效性（即做正确的事）。我们可根据从人类思考的过程总结出的规律来建造AI。总而言之，逻辑是对有效推理的研究或者在个人推理中水平和范围上思考过程的规律性。因此，通过将各种思考过程转换为推理过程，我们可以根据逻辑建立一个AI系统。NARS完全基于不完全知识和信息，从而是有限的，实时的，开放的和适应的系统。NARS完全不同于传统理论。NARS中对逻辑中的真值、外延、内涵等词赋予了新的含义，将所有的量词经验化。在NARS中，语句的真值是一对数(频率和信任度)，由语句的可作证据的支持决定。NAR建立一个适合于其论域的推理系统,可作用于不完全知识和资源。同时，NARS可通过实施在计算机系统中实现，从而达到它的目标。这样建立的一个推理系统可为AI中的许多问题提供一个统一的解决方法。报告中， 王培 教授介绍了已初步完成的前六部分工作，对后期的第七、八部分工作做了预览，并就其中的问题希望与我中心同仁进行交流、探讨。

报告结束后，与会 诸位 老师分别就报告中的相关问题提出自己的问题与见解。大家高度评价了 王培 教授的创新精神，并对其报告中的一些问题作了深入探讨。最后， 周北海 教授代表北京大学逻辑、语言与认知研究中心再次对 王培 教授的到来和精彩的报告表示感谢，并欢迎他再次到来。

（张闵敏）