(填空题)
鲁宾逊提出了()使机器定理证明成为可能
正确答案
答案解析
略
相似试题
(单选题)
属于人工智能主要研究领域的包括() ①问题求解②自然语言处理 ③模式识别④智能数据库 ⑤智能机器人⑥博弈 ⑦自动程序设计⑧自动定理证明 ⑨智能代理⑩专家系统
(单选题)
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
(填空题)
利用归结原理证明定理时,若得到的归结式为(),则结论成立。
(填空题)
用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()
(单选题)
利用计算机进行逻辑推理和定理证明,必须用到计算机()的特性。
(单选题)
计算机在医疗诊断、定理证明、模式识别、智能检索、语言翻译上的应用属于计算机应用领域中的()。
(简答题)
证明定理:若存在一个码长为l1,l2,lq的惟一可译码,则一定存在具有相同码长的即时码。
(单选题)
我国著名数学家吴文俊院士应用计算机进行几何定理的证明,该应用属于下列计算机应用领域中的()。
(填空题)
小张非常喜欢玩网络游戏,为了使自己成为“霸主”,苦心研究出一个可以窃取其它网友游戏资料的程序,小张的行为违反了()。