会员
周边
新闻
博问
闪存
众包
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
Veritas Aeterna
博客园
首页
新随笔
联系
管理
订阅
2020年4月1日
【人工智能导论】逻辑学:消解规则(归结原理)的证明
摘要: 查阅了很多书,都是将归结原理作为结论直接引入,而没有证明。疑惑了两三天,最终给出了证明。(感谢文学系的一位朋友提供了重要思路)
阅读全文
posted @ 2020-04-01 20:13 非正常人类样本
阅读(4202)
评论(0)
推荐(0)
公告