| 格值一阶逻辑系统的α广义归结原理简 |
| |
| 引用本文： | 许伟涛,张闻强,徐扬,张德贤.格值一阶逻辑系统的α广义归结原理简[J].西安电子科技大学学报,2014,41(1):135-139. |
| |
| 作者姓名： | 许伟涛 张闻强 徐扬 张德贤 |
| |
| 摘 要： |
|
| 收稿时间： | 2012-11-08 |
α-generalized resolution principle based on the lattice-valued first-order logic system |
| |
| XU Weitao,ZHANG Wenqiang,XU Yang,ZHANG Dexian.α-generalized resolution principle based on the lattice-valued first-order logic system[J].Journal of Xidian University,2014,41(1):135-139. |
| |
| Authors: | XU Weitao ZHANG Wenqiang XU Yang ZHANG Dexian |
| |
| Affiliation: | (1. College of Information Science and Engineering, Henan Univ. of Technology, Zhengzhou 450001， China;
2. School of Mathematics, Southwest Jiaotong Univ., Chengdu 610031， China) |
| |
| Abstract: | In the framework of the lattice-valued logic system based on the lattice implication algebra, the α-resolution principle based on the lattice-valued logic system is extended from generalized clauses set to general generalized clauses set. In this paper, the α-generalized resolution principle is presented in the lattice-valued first-order logic system LF(X). At the same time, the soundness theorem is established in LF(X). By using the lift lemma, the weak completeness theorem is also proved. This work can provide a new automated reasoning technology in order to establish novel generalized resolution methods for lattice-valued logic systems. |
| |
| Keywords: | lattice-valued first-order logic general generalized clause local extremely complex generalized literal generalized resolution automated reasoning |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报》下载全文 |
|
