李爱中
- 作品数：13 被引量：13H指数：2
- 供职机构：北方交通大学计算机与信息技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学经济管理更多>>
- 部件在印刷体汉字识别中的应用被引量：1
- 1998年
- 汉字是由不同部首、笔划构成的 ,但在计算机中表示部首是非常困难的。文章介绍一种便于计算机使用的部件来进行汉字识别的方法 ,所有的汉字被分解为几百个部件 ,识别时 ,先识别出汉字中的各个部件 ,然后再构成整个汉字 ,从而加快了汉字识别的速度。
- 王家全李爱中
- 关键词：汉字识别加权熵模式识别
- 一阶模态逻辑归结推理
- 1993年
- 1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,由于模态算子与量词之间存在着相互作用,因而使得模态公式的Skolem化、模态替换更为复杂。1986年,Cialdea和Farinas-del-Cerro将经典逻辑的Herbrand定理推广到一阶模态逻辑,并在此基础上,Cialdea于1991年建立起了一阶模态逻辑的归结推理方法,有效地克服了模态算子与量词之间复杂的相互作用。
- 孙吉贵刘叙华李爱中
- 关键词：模态逻辑
- 基于部件的印刷体汉字识别方法被引量：2
- 1998年
- 本文论述的基于部件特征描述和汉字特征点相结合的汉字识别方法。该方法采用汉字的四周轮廓加权值为汉字的特征描述［１］，并利用ＩＤ３分类算法［２］自动建立该加权值的最佳ＩＤ３分类树。该算法具有自动增加特征，查询速度快，分类精度高的特点。采用轮廓加权值方法可以使部件有序，进而提高搜索的速度。汉字特征点及背景点的选取用于部件的细分类。汉字的机内表示为部件、部件在汉字中的位置的有序二位元组序列。
- 王家全李爱中
- 关键词：汉字识别印刷体汉字模式识别
- 代数递归逻辑与人工智能
- 1995年
- 融合代数和递归函数理论,本文建立了一个可以刻画知识表示、知识获取和自动推理的逻辑理论,给出了从示例中获取知识的多项式复杂性算法和自动推理的多项式复杂性算法。作为代数速归逻辑的应用,本文给出了人工智能中的约束满足问题的处理方案,探讨了人工智能的基本问题。
- 李爱中
- 关键词：逻辑理论知识表示知识获取人工智能
- 机器定理证明的反向归约方法
- 1996年
- 基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上消除了正向组合式定理证明所产生的组合爆炸，因而极大地提高了定理证明的效率．
- 李爱中黄厚宽乔佩利
- 关键词：自动定理证明数学归纳法人工智能
- 一种具有自学习功能模糊控制器的设计与实现被引量：6
- 1997年
- 为了克服常规模糊控制器的缺陷，作者设计并实现了一种具有自学习能力的模糊控制器，并应用于蓄电池的化成充电控制之中．同常规模糊控制器相比，它可以更好地控制系统的动态性能．
- 张红杰李爱中
- 关键词：模糊推理隶属函数模糊控制器自学习功能
- 基于组合─分解的机器发现方法
- 1995年
- 本文提出了一个用以刻划综合与分析的发现过程的机器发现方法，定义了组合－分解算子、组合－分解函数、函数发现和函数维护等概念，给出了组合－分解函数的发现算法和维护算法．作为应用，本文探讨了关于知识发现和知识维护的函数型知识发现过程．
- 李爱中刘叙华
- 机器发现的递归函数法被引量：2
- 1993年
- 为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。
- 李爱中黄梯云洪家荣
- 关键词：递归函数
- 统计信息、递归和机器发现被引量：1
- 1993年
- 一、引言 1.1 问题本文所要研究的中心问题是机器发现的数学描述,即:给出一个变元的集合{y,x1…,Xm}和关于这些变元的一组数据{d1,…,dn},其中d i=(yi,xli,…,xmi)满足条件:当xl=xlj,…,xm=xmi时,yi=y。
- 李爱中
- 关键词：递归
- 模型发现和维护的递归函数方法被引量：2
- 1994年
- 本文提出了一种用于计算机进行模型自动发现和自动维护的方法──递归函数方法。本文的主要工作包括：（一）应用递归函数理论给出了模型的形式化定义，（二）定义了一种模型的评价指标。（三）给出了从大量经验数中发现最优模型的算法，（四）给出了模型的维护算法。
- 李爱中
- 关键词：递归函数
