【摘 要】
：
本文描述了一种基于演化 agent的推理模型 ,并用这种推理模型来处理定理机器证明 .传统上 ,定理机器证明常常使用某种逻辑表示 ,然后再进行推理 ,这些方法往往缺乏灵活性 ,且
论文部分内容阅读
本文描述了一种基于演化 agent的推理模型 ,并用这种推理模型来处理定理机器证明 .传统上 ,定理机器证明常常使用某种逻辑表示 ,然后再进行推理 ,这些方法往往缺乏灵活性 ,且证明过程难以理解 .在本文所叙述的方法中 ,演化 agent能将目标即待证定理分解成越来越小且越来越容易证明的子目标 ,最后完成定理证明 .这种方法非常类似于人类在证明定理时一般所采用的思维方式 ,因而 ,显得更灵活、更具有适应性
其他文献
目的：探讨影响冠心病介入术后患者预后的因素。方法：选择诊断为冠心病且行PCI治疗的患者250例,都采用介入手术治疗,随访1～3年。结果：所有患者都介入治疗成功,随访死亡患者4例,死
文章首先分析人工智能时代的管理会计的作用,然后以获取更多信息、提高管理水平为切入点,探究财务会计向管理会计转型的必要性。最后,立足于重视理论研究、提高人员素质、完
水污染越来越严重,水体修复刻不容缓,尤其是富营养化严重的城市黑臭水体,呈现出越演越劣的趋势。本课题依托于国家水污染控制与治理科技重大专项“海河南系子牙河流域(河北段
现如今我国教育改革的呼声越来越高,高考制度改革也在持续稳步推进,但在改革中也遇到了很多的问题,如何以素质教育为背景激发学生学习的积极性,保证课堂教学的效率就成为首要
目的：探讨临床护理干预在阑尾炎手术患者中的应用效果。方法：回顾性分析160例阑尾炎手术患者的临床资料，分为观察组与对照组，每组80例。观察组在住院期间采用系统的优质护理，对照
实现Agent强迁移的关键问题是捕捉和恢复Agent状态.本文提出一种捕捉和恢复Java 程序状态的方法.该方法是用预处理器对源程序重新编码,而不用修改Java虚拟机.当程序需要捕捉
<正> 直肠癌的手术治疗既要保证癌肿的彻底切除,降低复发率;又要避免不必要的牺牲肛门,以改善患者术后的生活质量。这里涉及的问题很多,诸如影响预后的因素、手术方法的选择
目的：探讨不同剂量美托洛尔治疗老年急性心肌梗死的疗效。方法：将老年急性心肌梗死患者80例根据在诊治方法的不同分为治疗组与对照组各40例,对照组给予小剂量美托洛尔治疗,治疗
本文研究基于构件设计的正确性问题，我们首先建立一个构件描述的模型：（１）接口：通过对ＣＯＲＢＡ的ＩＤＬ进行扩展，使其能够在构件的接口中同时描述构件的语法和语义信息，（２）实现，通过引入一个简单的程序模