论文部分内容阅读
目前的几何定理证明器都不具有可持续性。提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法,初步实现了可由用户持续发展的几何自动推理平台。该推理平台允许用户添加几何知识,如几何对象、谓词和规则,并可以综合使用多种推理算法,如前推搜索法和一部分面积法,它将更适合用于几何教学。
可由用户持续发展的几何自动推理平台的推理算法
【摘 要】
：
目前的几何定理证明器都不具有可持续性。提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法,初步实现了可由用户持续发展的几何自动推理平台。该推理平台
【机 构】
：
广州大学计算机科学与教育软件学院,中国科学院成都计算机应用研究所
【出 处】
：
计算机应用
【发表日期】
：
2011年8期
其他文献
近年来,随着人们对牛奶的需求量逐渐增大,使得养殖奶牛的专业户不断增加。由于奶牛疾病传播的速度和因疾病造成的严重经济损失,不少养殖户都采用临床用药的方式来对奶牛疾病
该文以酒泉市为研究区域,依据相关原则,采用2014年酒泉市各县市区国民经济和社会发展统计公报的数据构建循环经济发展水平评估指标体系,运用量图分析法对酒泉市各县市区循环
<正>党的十九届四中全会通过的《中共中央关于坚持和完善中国特色社会主义制度推进国家治理体系和治理能力现代化若干重大问题的决定》(以下简称《决定》)指出,坚持和完善公
期刊
为了实现高速获取多窄脉冲光谱分布数据信息,并抑制背景噪声及多光谱源之间相互干扰的问题,研究了一种基于DSP控制DMA高速采集干涉条纹并反演光谱的系统.设计了帧减降噪处理
对南昌市农药和蔬菜管理部门、农药和蔬菜流通环节及几个蔬菜基地的农药使用情况进行摸底调查,发现使用量较大的几种农药品种依次为:甲胺磷、乐果、甲基对硫磷、氯氰菊脂、呋
思想政治工作是一切工作的生命线,是非公有制企业不可缺少的管理手段之一,其积极效果本身就是一种生产力。因此,在非公有制企业开展思想政治工作,并且使它产生积极作用,需要
社会经济的不断发展使得社会对人才的要求越来越高。学校教育作为培养人才的重要途径，自然也应与时俱进，摒弃传统的填鸭式教学、题海式教学等，结合新教育背景，以学生为中心，开展多
校企合作是应用技术型人才“3+1”培养模式成功的关键,分析国内外校企合作模式和我国校企合作模式的主要问题,并提出解决问题的办法,能够推进应用技术型人才“3+1”校企合作
大藤峡工程金属结构涉及泄水、发电、航运、灌溉和生态及鱼道系统等,闸门及启闭设备类型多,为做好金属结构布置与设计,前期开展了人字闸门结构、下闸首人字闸门、水动力及启