演绎推理能力

摘要： 一、“七选五”的命题特点高考“七选五”是要求考生阅读短文,从短文后的七个选项中选出可以填入空白处的最佳选项,选项中有两项为多余选项。空白处常常设置在段首、段中和段尾,主要考查考生的思维能力、归纳概括能力以及演绎推理能力。根据近三年的高考英语全国Ⅰ卷的“七选五”试题的设题规律,我们发现空白处的设置大部分是出现在段中,个别题设在段首和段末。

摘要： 演绎推理能力在物理问题解决过程中起到了关键的作用,SOLO分类评价理论表明学生在解决问题过程中的水平可以划分为五个层次;以SOLO分类评价理论为基础,通过研究样本学生对物理问题的解决过程,将学生在物理问题解决过程中的演绎推理能力水平划分为四个层次,结合当前教育教学的新理念,给出了教学建议。

摘要： 笔者从洞悉相关能力在高中生物学课程标准中的内涵价值入手,列举评析相应能力在近几年高考真题中考查的典型题目,最后提出高三复习备考针对提升相应能力的各种对策,以帮助教师有效备考,促使学生突破相关能力、提升生物学科素养。

摘要： 在当今和未来社会中,人们面对纷繁复杂的信息常常需要作出选择和判断,进而进行推理,作出决策。《课程标准(2011年版)》也明确要求学生"在参与观察、实验、猜想、证明、综合实践等数学活动中,发展合情推理和演绎推理能力,清晰地表达自己的想法"。合情推理是一种比较自然的、合乎情理的、似乎为真的推理。在数学学习中,合情推理常常表现为根据已有的数学现象和数学事实。

摘要： 推理是数学的基本思维方式。《课标》要求学生要在观察、实验、证明、反思等实践活动中,提高合情推理和演绎推理能力,并能清晰表达自己的思维过程。数学推理教学存在的问题。教师没有真正理解数学推理的内涵和价值,对学生的学习不敢放手,怕学生出错,代替学生进行数学推理。导致的结果是,学生思维模式化,每当遇到新的问题时,只会生搬硬套,而很少去思考和探索新的解题方法。

摘要： 平面几何定理是初中“图形与几何”的重要内容,主要研究图形的性质与判定.在定理教与学的过程中,让学生经历探索、合作交流等活动,发展合情推理和演绎推理能力,提高“四基”、“四能”,培养创新能力,是新课程标准的要求.

摘要： 猜想是人类认识世界的一种重要的思维形式,是根据不明显的线索或凭想象来寻找正确的解答思维活动。数学新课程标准指出,学生通过义务教育阶段的数学学习,“经历观察、实验、猜想、证明等数学活动,发展合情推理能力和初步的演绎推理能力”。因此在小学数学教学中,教师可大胆运用猜想去营造学习氛围,调动学生学习的积极性、主动性,促使学生主动获取知识,而且有利于培养学生的直觉思维,探索精神和创新意识,发展学生的推理能力。由此可见,学生数学猜想能力的培养刻不容缓。下面谈谈我对学生数学猜想能力培养的几点初浅看法。

摘要： 本发明提供一种中医气血辨证演绎推理的再现方法和装置，所述方法包括：步骤1、获得所要处理的病症词汇信息中的症状词；步骤2、根据症型症状数据库中症状与症型之间的对应关系，获得该症状词对应的最接近的症型；步骤3、根据病机病因数据库中症型与病机病因之间的对应关系，获得步骤2中所获得的症型对应的病机病因；步骤4、判断步骤2和3得到的症状、症型、病机病因之间的对应结果是否合理，如果不合理，则返回步骤2选取仅次于最接近症型的次接近症型，然后进行步骤3和4，直到判断合理则进入步骤5，或直到遍历所有症型都不合理则判断无法进行信息匹配；步骤5、得出最终的症状、症型、病机病因。

摘要： 本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t个新子句集并进行演绎推理，如果对t个新子句集的演绎结果都是空子句，则S不可满足，否则循环前述步骤，直至得到S属性的判定结论或满足设定条件停止；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，有效指导下一步演绎推理，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可用于程序验证、定理机器证明等领域。

摘要： 本发明公开了一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对一阶逻辑中子句集S构造矛盾体并形成矛盾体分离式R，根据R判断演绎推理是否终止：如果判定S不可满足，则停止；否则，用R与S构造t个新子句集，然后对t个新子句集进行演绎推理得到结果R

摘要： 本发明公开了一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法，该方法通过在一阶逻辑中的子句集S中寻找标准矛盾体，然后在子句集S中剩余的子句中删除出现在标准矛盾体中的文字，并将全部剩余文字进行析取形成矛盾体分离式，最后根据矛盾体分离式判定初始的子句集S的属性，最终直到得出判定结果，则停止演绎推理。本发明可将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，可应用于系统可信性自动验证、定理机器证明等领域，具有多元性、动态性、并行性、协调性、导向性、灵活性、方便性等特点。

摘要： 本发明公开了命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法步骤为：对于命题逻辑中的子句集S构造扩展三角形矛盾体，形成矛盾体分离式，根据矛盾体分离式判断子句集属性；如果能判断子句集不可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集，接着构造并分离扩展三角形矛盾体，直至得到子句集属性的判定结论或满足设定条件停止；本发明提供了命题逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。

摘要： 本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，则停止得到结论：被判定的子句集S不可满足；否则，将所得标准矛盾体分离式加入子句集S，形成新的子句集，然后重复构造扩展三角形标准矛盾体，并分离扩展三角形标准矛盾体，直至得到子句集S属性的判定结论或满足设定条件停止；本发明提供了一阶逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。

摘要： 本发明提出了一阶逻辑中基于标准延拓三角形的矛盾体分离多元动态自动演绎推理方法，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式判断子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集。接着构造并分离基于标准延拓三角形矛盾体，直至满足条件停止或得到子句集属性的判定结论。本发明提供了一阶逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，实现将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，是自动演绎推理领域一个本质性的突破。

摘要： 本发明公开了命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S不可满足；否则，抽取矛盾体内部子句

摘要： 本发明提出了命题逻辑中基于标准延拓三角形的矛盾体分离演绎推理，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式和子句的特点判定子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集。接着构造并分离基于标准延拓三角形矛盾体，直至满足条件停止或得到子句集属性的判定结论。本发明可高效构造矛盾体，实现将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，是自动演绎推理领域一个本质性的突破。

摘要： 本发明公开了命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法，对于命题逻辑中子句集S，在S中选出k个子句C