基于演化Agent的推理模型

摘要：

本文描述了一种基于演化agent的推理模型,并用这种推理模型来处理定理机器证明.传统上,定理机器证明常常使用某种逻辑表示,然后再进行推理,这些方法往往缺乏灵活性,且证明过程难以理解.在本文所叙述的方法中,演化agent能将目标即待证定理分解成越来越小且越来越容易证明的子目标,最后完成定理证明.这种方法非常类似于人类在证明定理时一般所采用的思维方式,因而,显得更灵活、更具有适应性.

关键词：Agent、定理机器证明、复制、变异

所属期刊栏目：21

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目;广东省博士启动基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：278-281