人工智能实验六_子句集化简
第 六 次 实 验 报 告 人 工 智 能 及 其 应 用 学 号 ：
20177710541 姓名 ：
王帅兵 2020 年 年 10 月 月 12 日
目 目 录 1 实 验 内
容 ..........................................................
............................................................
................. 3 2 实 验 目
的 ..........................................................
............................................................
................. 3 3 实 验 步
骤 ..........................................................
............................................................
................. 4 4 实 验 结
果 ..........................................................
............................................................
................. 4 5 存 在 问
题 ..........................................................
............................................................
.................. 5
1 实验 内容 第一题：使用归结原理证明下述推理正确。
（1）已知：狗都会吠叫和咬人。
任何动物吠叫时总是吵人的。
资源评论
