初等不等式的可读证明的自动生成 |
| |
引用本文: | 陈世平,张景中.初等不等式的可读证明的自动生成[J].四川大学学报(工程科学版),2003,35(4):86-93. |
| |
作者姓名: | 陈世平 张景中 |
| |
作者单位: | 1. 四川大学信息管理系,四川,成都,610065;中国科学院成都计算机应用研究所,四川,成都,610041 2. 中国科学院成都计算机应用研究所,四川,成都,610041 |
| |
摘 要: | 结合不等式的证明及可渎证明的自功生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中。
|
关 键 词: | 规则 逆向演绎系统 模型 初等可读证叫 深度约束 |
文章编号: | 1009-3087(2003)04-0086-08 |
修稿时间: | 2003年3月18日 |
Automated Production of Elementary and Readable Proof of Inequality |
| |
Abstract: | |
| |
Keywords: | rules rule-based backward system model elementary and readable proof depth bound |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|