基于演化Agent的推理模型.pdf

o o L L 年 月 %### ( i o%### Pghg Pg6jk 7l7CmP P0N 文 章 编 号!###$%%#%###’#($#%)*$#+ 基于演化 的推理模型 9:;= ? 印 鉴 汤 庸 中山大学计算机科学系 广州 @#%)@’ % 广东工业大学计算机科学系 广州 @##,#’ 摘 要 本文描述了一种基于演化 的推理模型 并用这种推理模型来处理定理机器证明 传统上 定理机器证明 ! 01234 . 5 . 常常使用某种逻辑表示 然后再进行推理 这些方法往往缺乏灵活性 且证明过程难以理解 在本文所叙述的方法中 演 . . . 5 . 化 能将目标即待证定理分解成越来越小且越来越容易证明的子目标 最后完成定理证明 这种方法非常类似于 01234 . 5 人类在证明定理时一般所采用的思维方式 因而 显得更灵活 更具有适应性 . . / 5 关 键 词 定理机器证明 复制 变异 ! B B B A1234 分 类 号! * 文献标识码! CD A 引 言 单个01234S 又可分成如下三类! 叶 类 ! $ ’ U T 01234 V20W01234 近几年来 人们对多 系统越来越感兴趣 以致形成 . 01234 . 部分 类 X! $ ’ T 01234 Y0N401234 了分布式人工智能中一个重要的研究领域 在这些系统中 具 . . 完全 类