题目内容
(请给出正确答案)
[主观题]
在自然推理系统P中构造下面推理的证明:只要A曾到过受害者房间并且11点以前没用离开,A就犯了谋杀罪,A曾到过受害者房间,如果A在11点以前离开,看门人会看到他,看门人没有看到他,所以A犯了谋杀罪.
答案
查看答案
第1题
在自然推理系统中,构造下列推理的证明。每个喜欢步行的人都不喜欢骑自行车。每个人或者喜欢骑自行车或者喜欢乘汽车。有的人不喜欢乘汽车。所以,有的人不喜欢步行。(个体域为人类集合)
第11题
A.科学家利用科学定理证明程序,证明了《数学推理》一书中第二章的这个定理
B.中国象棋程序在人机对弈时,能够根据以往的棋局,学习XX战术,从而避免因为类似的错误而失败
C.小张家里新买的最新款的电视机,能够根据电视周围光线强弱,自动地调整电视屏幕亮度
D.有种名为siri的手机软件,采用自然语言处理技术,使用户能用自然对话与手机进行互动