NARS基本原理-简介-PPT-11页

NARS（Non-Axiomatic Reasoning System），即非公理化推理系统，中文名为纳思，目标是创造通用的“思考机器”。美国天普大学 (Temple University) 计算机与信息科学系王培教授于1995年提出。 NARS由逻辑部分和控制部分组成。逻辑部分即非公理化逻辑（Non-Axiomatic Logic，简称NAL），采用专用的形式语言Narsese表示。