【摘 要】
：
结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一
【机 构】
：
四川大学信息管理系,中国科学院成都计算机应用研究所
论文部分内容阅读
结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中.
其他文献
<穆天子传>对穆王一行人所见之山川、物产进行了细致记叙,有的景物描写构成了优美的意境,句式整齐,颇具<诗经>之特色,这说明<穆传>作者已有意或无意地把自然做为文学审美观照
习主席在中央军委党的建设会议上的重要讲话,为全面加强新时代我军党的领导和党的建设工作提供了根本遵循、指明了前进方向。对照讲话要求,考察部队党建情况,总的看,全面从严
一、赛博空间文化在人的发展中的根本属性赛博空间文化,指人们在赛博空间形成的文化.赛博空间,又可称为网络空间或虚拟空间等,是以计算机技术、网络技术、虚拟技术等为技术基
【正】 无穷级数不仅是研究分析学的重要工具,同时在自然科学与工程技术中,有许多问题也可用无穷级数来解决。这是因为:一方面许多有用的函数可以借助于无穷级数来表示,另一
就如何提高《化工设备机械基础》教学质量的问题,结合多年的教学经验加以探讨,总结如下:首先,要统筹规划,突出重点。其次,创新教学手段,如通过SW6和ANSYS等软件加强理论知识
厦门国际中心高约340m,是厦门在建最高建筑,结构高宽比接近9,结构横风向风振效应明显.为满足抗震和抗风的技术要求,结构采用框架-巨型支撑一伸臂桁架和含有钢板的混凝土核心
通过对比分析中外零售业在管理方式、吕牌及服务、规模与价格等存在着较大的差距,我国零售业面对外商的进入,必须调整营销策略,组建零售连锁集团,向纵深方向发展,运用先进科
目的对比分析关节镜下自体肌腱重建前交叉韧带和关节镜下同种异体肌腱重建前交叉韧带的临床疗效。方法选取2016年5月—2017年10月来我院治疗的前交叉韧带损伤的患者110例作为
文本倾向性识别可以广泛应用于用户产品评论、舆情分析等。针对文本倾向性识别往往需要借助外部资源的问题,提出一种基于情感描述项及改进的互信息计算相结合的方法,通过句法