继承系统中可废止的继承扩张性质

为进一步研究分层知识结构,阐明可废止继承系统的理论,从一致性角度和框架方法出发,构造两种带有可废止特例推理的扩张,并证明它们的存在性,表明其合理性。对继承系统的深入研究,便于进行有效搜索,丰富计算机语言及人工智能的知识描述。

数学思想与教育

本文从数学哲学、数学知识系统结构、数学方法论和数学发展历史分析的角度对数学思想进行了思考,提出了以基元与整体、转化与整合、扩张与因袭作为数学思想的基本构成要素.并在此基础上,探讨了数学思想与数学教育的本质联系.