填空题
发布日期:2020-12-11
Robinson第一定理,即归结原理,在数理逻辑和自动定理证明中(GOFAI涉及的主题),归结(resolution)是对于命题逻辑和一阶逻辑中的句子的推理规则,它导致了一种反证法的定理证明技术。
完备性是指在数学及其相关领域中,当一个对象具有完备性,即它不需要添加任何其他元素,这个对象也可称为完备的或完全的。完备性也称完全性,可以从多个不同的角度来精确描述这个定义,同时可以引入完备化这个概念。
归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
题王网让考试变得更简单
扫码关注题王,更多免费功能准备上线!
此试题出现在
临时工程要根据工程项目所确定的施工方案和路线所经现场的实际情况确定,需耍调査的内容包括()。
下列哪项是蔬菜水果的共同特点()
党的哪次会议第一次选举产生了中央监察委员会?
Your database is running in the ARCHIVELOG mode. You placed a tablespace, tbs_1, offline with the immediate option. Which statement is correct in this scenario? ()
今年,祖父的年龄是小风年龄的6倍,几年后,祖父的年龄将是小风年龄的5倍,又过几年,祖父的年龄将是小风年龄的4倍,问祖父今年是多少岁?( )
列车在中间站()时,该列车上的货车应统计货车出入。
遗传性很不稳定的病毒是()
下列道德说法不正确的是()。
患儿女,3岁。因“反复呼吸道感染伴气促”来诊。查体:T 38 ℃,呼吸增快,发育不良,口唇发绀,无颈静脉充盈。HR 140次/min,律齐,胸骨左缘第2~3肋间Ⅱ/Ⅵ级收缩期杂音,P2增强,双下肺闻及湿啰音,下肢无水肿。 患儿最可能的诊断是()
女,28岁,人工流产术后20小时出现右下腹部剧痛伴呕吐就诊。体温37.3℃;脉搏96次/分,面容痛苦,下腹软,右下腹有压痛。妇科检查子宫正常大,活动不良,其右侧扪及拳头大不活动囊性肿块,近子宫处压痛明显。白细胞总数13×109/L。本例的诊断应是()。
暂无相关推荐~