基于重写技术的自动定理证明

基于重写技术的自动定理证明
张健
【期刊名称】《计算机科学》
【年(卷),期】1992(019)002
【摘要】重写技术是处理等式理论的一种有效方法,它已成功地应用到带等词的一阶谓词逻辑中定理的自动证明。

本文介绍基于重写的定理证明方法的基本思想,以及几种具体的证明技术,最后将这类方法与经典的归结证明方法加以比较。

【总页数】3页(P79-80,24)
【作者】张健
【作者单位】无
【正文语种】中文
【中图分类】TP18
【相关文献】
1.基于语义tableau的一阶逻辑自动定理证明 [J], 刘全;孙吉贵
2.基于二阶项重写技术的逻辑自动编程理论 [J], 孙怀民;梁群
3.基于自动机理论的XML查询重写研究 [J], 李九英;张来顺
4.基于配对方法的自动定理证明 [J], 上海交通
5.基于URL重写技术的4种数字资源授权访问系统比较 [J], 焦阳
因版权原因，仅展示原文概要，查看原文内容请购买。