“第十章 基于知识的AI”版本间的差异
来自cslt Wiki
| 第9行： | 第9行： | ||
==扩展阅读== | ==扩展阅读== | ||
| − | * | + | * 百度百科：自动定理证明[https://baike.baidu.com/item/%E8%87%AA%E5%8A%A8%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E/3155595] |
| + | * 百度百科：逻辑理论家[https://baike.baidu.com/item/%E9%80%BB%E8%BE%91%E7%90%86%E8%AE%BA%E5%AE%B6/22387669] | ||
| + | * 机器之心：逻辑理论家[https://www.jiqizhixin.com/graph/technologies/597094cc-d100-4834-98c3-00e905d3f79c] | ||
| + | |||
==演示链接== | ==演示链接== | ||
2022年8月1日 (一) 08:11的版本
教学资料
扩展阅读
演示链接
