题目
A. 只有(1)
B. 只有(2)
C. 只有(3)
D. 只有(1)和(2)
E. (1)、(2)和(3)
第2题
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.(无)
第3题
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.无
第6题
A.IF 天空乌云密布 THEN 要下大雨 (0.8) 为不确定性规则的产生式
B.事实性知识是确定的,前件成立,后件一定成立
C.蕴含式能够表达推理知识和规则知识
D.推理机和规则库
第7题
第8题
A.IF 天空乌云密布 THEN 要下大雨 (0.8) 为不确定性规则的产生式
B.事实性知识是确定的,前件成立,后件一定成立
C.蕴含式能够表达推理知识和规则知识
D.推理机和规则库
第9题
A.IF 天空乌云密布 THEN 要下大雨 (0.8) 为不确定性规则的产生式
B.事实性知识是确定的,前件成立,后件一定成立
C.蕴含式能够表达推理知识和规则知识
D.推理机和规则库
第10题
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!