在自然推理系统P中用附加前提法证明下面各推理:

请帮忙给出正确答案和分析，谢谢！

用归结法证明下面推理．

前提：p→(q→s)，r→p，q．

结论：r→s．

在自然推理系统中，构造下列推理的证明。每个喜欢步行的人都不喜欢骑自行车。每个人或者喜欢骑自行车或者喜欢乘汽车。有的人不喜欢乘汽车。所以，有的人不喜欢步行。(个体域为人类集合)

请帮忙给出正确答案和分析，谢谢！

A.T规则

B.假言推理

C.拒取式推理

D.以上都是

A.科学家利用科学定理证明程序，证明了《数学推理》一书中第二章的这个定理

B.中国象棋程序在人机对弈时，能够根据以往的棋局，学习XX战术，从而避免因为类似的错误而失败

C.小张家里新买的最新款的电视机，能够根据电视周围光线强弱，自动地调整电视屏幕亮度

D.有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然对话与手机进行互动

A.反应釜自然降温

B.反应釜人工冷却

C.氮气置换

D.排空热媒管线

设有如下推理规则。

r1：E1→H1LS=100，LN=0.1

r2：E2→H2LS=50，LN=0.5

r3：E3→H3LS=5，LN=0.05

且已知P（H1）=0.02，P（H2）=0.2，P（H3）= 0.4，请计算当证据E1，E2，E3存在或不存

在时P（Hi|Ei）或P（Hi|~Ei）的值各是多少（i=1，2，3）？

请帮忙给出正确答案和分析，谢谢！

请帮忙给出正确答案和分析，谢谢！