Are You Convinced? Middle‐Grade Students' Evaluations of Mathematical Arguments

Students learn norms of proving by observing teachers generating proofs, engaging in proving, and generalizing features of proofs deemed convincing by an authority, such as a textbook. Students at all grade levels have difficulties generating valid proof; however, little research exists on students' understandings about what makes a mathematical argument convincing prior to more formal instruction in methods of proof. This study investigated middle‐school students' (ages 12–14) evaluations of arguments for a statement in number theory. Students evaluated both an empirical and a general argument in an interview setting. The results show that students tend to prefer empirical arguments because examples enhance an argument's power to show that the statement is true. However, interview responses also reveal that a significant number of students find arguments to be most convincing when examples are supported with an explanation that “tells why” the statement is true. The analysis also examined the alignment of students' reasons for choosing arguments as more convincing along with the strategies they employ to make arguments more convincing. Overall, the findings show middle‐school students' conceptions about what makes arguments convincing are more sophisticated than their performance in generating arguments suggests.     

基于语言真值格值一阶逻辑的不确定性推理的语法

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的用性和可靠性,证明了推理规则在a≤∧θ∈Lx×L2(θ→θ')(θ≠(ax,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要务件.     

加权模糊Petri网的正向推理算法

通过引入补弧,使加权模糊Petri网能够处理含有非命题的规则.提出一种建立在加权模糊Petri网模型上的形式化正向推理算法,将加权模糊Petri网与矩阵运算结合,通过矩阵运算来实现推理.     

基于三角范数的模糊逻辑中的三Ⅰ方法

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。     

不同抑制能力大学生图形推理的眼动特征

对160名大学生被试进行6个执行功能任务的测量,从中筛选出高抑制能力和低抑制能力被试各15人,考察被试在不同难易程度图形推理题目上的得分、反应时以及眼动模式的差别.研究发现抑制能力与推理得分之间的相关并不显著,但低抑制能力的被试注视频率显著高于高抑制能力的被试,而平均注视时间则显著低于,另外低抑制能力组倾向于采用选项剔除策略,而高抑制能力组倾向于采用规则构建策略.     

珠江口土地利用变化推测的CBR方法

传统CBR方法在应用到地学领域时存在着明显的缺陷,急需在CBR的表达模型及推理算法上进行拓展。而土地利用变化影响因素众多,且具有非常复杂的空间或区域特征,用单一的统计方法或动态模型难以进行完全的定量分析。基于此,提出了土地利用变化的CBR方法研究。首先,在概述土地利用变化当前定量研究方法基础上,提出了利用CBR方法进行土地利用变化的分析与推理的思路;其次,针对土地利用变化的空间特性及所隐含的空间关系特性,给出了进行土地利用变化推测的CBR具体方法,包括CBR方法进行土地利用变化案例的表达,土地利用变化案例间内蕴的空间关系的抽取,以及考虑了案例闻空间关系的CBR相似性推理方法等;最后,以珠江口西岸土地利用变化比较典型的珠海部分区域进行了CBR方法的应用试验研究。     

端点模糊的区间代数

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的敬意代数不能很好地刻画事件的模糊时间区间,用事件的持续密度函数的概念来表示事件的持续时间,并用时间区间来近似持续密度函数,使得可以应用Allen的区间代数来进行相应的时态推理。     

基于极大模糊熵原理的模糊推理三I算法

用模糊熵来度量模糊推理结果的模糊程度，并用本文给出的极大模糊熵原理对王国俊先生提出的模糊推理三Ⅰ算法做进一步的解释和改进，提出基于极大模糊熵原理的模糊推理三Ⅰ算法，证明这几种算法在一定条件下是关系再现算法。     

FMT问题的两种三Ⅰ算法及其还原性

进一步研究FMT问题,得到该问题的三Ⅰ算法的一般计算公式,提出该问题的一种新算法三Ⅰ^*算法,给出新算法的一般计算公式,讨论两种算法的还原性问题,明确两种还原性的含义,证明FMT问题的三Ⅰ算法是W－还原的,而三Ⅰ^*算法是Z－还原的。     

机载电子与维修系统仿真模型集成算法研究

随着飞机系统结构的复杂化,维修系统仿真模型的多样化,飞机维修系统仿真模型的集成存在基础层直接集成难度大和复用性差等问题。基于逆向推理的系统仿真模型集成算法以目标问题为导向逆向推理模型数据,经不同知识层次匹配查询目标模型,将模型集成过程转变为问题求解过程,降低了直接对目标建模的复杂程度,最终建立集成网络,实现决策、模型和数据的综合集成。经验证,该算法在飞机维修训练器的仿真系统模型集成中具有良好的性能。