| 语义Tableau定理证明器的Prolog实现 |
| |
| 引用本文： | 高华,江建国,苏贺靓.语义Tableau定理证明器的Prolog实现[J].环球赛鸽科技,2015(9). |
| |
| 作者姓名： | 高华 江建国 苏贺靓 |
| |
| 作者单位： | 辽宁师范大学数学学院,辽宁大连,116029 |
| |
| 摘 要： | 语义Tableau是一种具有较强通用性和适用性的推理方法.基于Prolog语言,并利用语义Tableau方法,在M.C.Fitting提出的一阶逻辑自动定理证明器的基础上提出了一些改进,给出了改进后相应的算法,并且对算法的可终止性和正确性进行了证明.实验结果表明,优化后的语义Tableau定理证明器,大大提高推理效率.
|
| 关 键 词： | 语义Tableau 定理证明器 Prolog |
Implement a Semantic Tableau Theorem Prover Using Prolog |
| |
| GAO Hua,JIANG Jian-guo,SU He-liang.Implement a Semantic Tableau Theorem Prover Using Prolog[J].Global Racing Pigeon Science,2015(9). |
| |
| Authors: | GAO Hua JIANG Jian-guo SU He-liang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
