明日黄花迹难寻：形式逻辑

2018-12-04 本文已影响0人编程回忆录

如果将认知过程定义为对符号的逻辑运算，人工智能的基础就是形式逻辑；
谓词逻辑是知识表示的主要方法；
基于谓词逻辑系统可以实现具有自动推理能力的人工智能；
不完备性定理向”认知的本质是计算“这一人工智能的基本理念提出挑战。

上一篇下一篇

猜你喜欢

热点阅读