启发式方法生成命题逻辑可读证明

• 作者: 郭远华
• 来源期刊: 计算机应用研究
• 关键词: 命题逻辑 启发式方法 试探法 自然推理法 可读证明
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 4429-4432
• 分类号: TP181
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.12.007

摘要

探讨了自动生成命题逻辑系统R的可读证明.采用试探法和自然推理法分别从前推和后推模拟人类思维求证,试探法根据推理规则将待证公式反向分解,自然推理法从假设出发根据推理规则生成新的公式.两种方法都实现了相干命题逻辑系统R的可读证明,并结合实现了混合证明.试探法和自然推理法是生成可读证明的有效方法,前推和后推两种思维方法也适用于其他逻辑系统的自动证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭远华	电子科技大学自动化工程学院	2	8	2.0	2.0