简介:概称句的形式刻画涉及到知识表达和常识推理,由人工智能研究首先提出。之后出现了多种类型的理论,对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句,并由Asher、Morreau和Boutilier等继续发展,其要点是将“鸟会飞”理解为“正常情况下鸟会飞”,毛翊继而提出双正常解读,将“鸟会飞”理解为“正常情况下,正常的鸟会飞”。以此前工作为基础,周北海提出概称句是揭示概念内涵的句子,“鸟会飞”表示的是“鸟”这一概念的内涵有“会飞”这一内涵项。
简介:本研究探讨了图式化程度即例子的概括化程度对解决代数文字题的影响.结果表明:(1)例子的表层类似性与目标问题具有一种格式塔的同型效应,容易解决'属性'一一对应的问题.(2)由例子表层类似性构成的图式化程度低,迁移的范围比较窄;由例子结构类似性构成的图式化程度高,适用的范围比较宽.(3)尽管增加了例子与目标问题的难度,由结构类似性形成的代数图式仍然可以比较容易地解决目标问题.
简介:三天八卦图与布尔代数侯维民笔者前文①已介绍了先天(伏羲)八卦图与布尔代数的联系。最近笔者又发现,我国古代的多种八卦图均与布尔代数有联系,并且这种联系比前文所说的内容更密切。本文先谈三天(先天、中天、后天)八卦图与布尔代数的联系,这些事实可能会给中西方...
简介:我国古代数学理论的奠基人──刘徽孙永旺刘徽,三国时代魏国临淄人(现属淄博市)。由于年代久远,资料散佚甚多,因而关于他的身世履历、生卒年月目前尚无详考。从他留下来的著作可知,这位在齐文化沃土中成长起来的数学家,作为我国古代数学理论的奠基人,不仅对我国古...
简介:以初中代数应用题为材料,探讨了不同年级学生对代数应用题的分类结果与数学成绩的关系。结果表明:不同年级学生对代数应用题分类结果差异显著;数学成绩优生与数学成绩差生对代数应用题分类结果差异显著。
概称旬词项逻辑的树图判定算法
图式化程度对解决代数文字题的影响
三天八卦图与布尔代数
我国古代数学理论的奠基人──刘徽
数学成绩与代数应用题分类结果的相关研究