作业帮 > 综合 > 作业

关于人工智能里的离散数学问题

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/05/23 12:27:52
关于人工智能里的离散数学问题
规则一:任何人的兄弟不是女性
规则二:任何人的姐妹必是女性
事实:Mary是Bill的姐妹
求证:用归结推理法证明Mary不是Tom的兄弟
证明如下.