相关考题
-
多项选择题
推理控制策略包括（）
A.冲突消解策略
B.搜索策略
C.推理方向
D.求解及限制策略 -
多项选择题
推理方向包括（）
A.双向推理
B.正向推理
C.逆向推理
D.混合推理 -
多项选择题
经典逻辑推理中用到的规则有（）
A.T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。
B.P规则：在推理的任何步骤上都可引入前提。
C.F规则：在推理的任何步骤上都可引入永假蕴含式。
D.CP规则：如果能从任意引入的谓词R和前提集合中推出S来，则可从前提集合推出R →S来。
