上传者: lycwhu
|
上传时间: 2022-09-24 13:07:02
|
文件大小: 4.35MB
|
文件类型: PPTX
NARS(Non-Axiomatic Reasoning System),即非公理化推理系统,中文名为纳思,目标是创造通用的“思考机器”。美国天普大学 (Temple University) 计算机与信息科学系王培教授于1995年提出。
NARS由逻辑部分和控制部分组成。逻辑部分即非公理化逻辑(Non-Axiomatic Logic,简称NAL),采用专用的形式语言Narsese表示。