中文会议： 2008年全国理论计算机科学学术年会论文集

会议日期： 2008-09-19

会议地点： 西安

主办单位： 中国计算机学会

作　　者： ; ;

机构地区： 华东师范大学软件学院

出　　处： 《2008年全国理论计算机科学学术年会》

摘　　要： 本文提出了相干命题逻辑系统R的一种演绎生成算法--试探法。该算法采用后向推理法,依据推理规则将待证命题逐步分解成子命题并构造一棵证明树,对系统R中的定理证明取得了较好的效果.

关 键 词： 相干逻辑 自动推理 可读证明 证明树 演绎算法 试探法 推理规则

分 类 号： [TP]

领　　域： [自动化与计算机技术]