| 格值命题逻辑LP(X)中的语义归结方法 |
| |
| 引用本文： | 张家锋,徐扬.格值命题逻辑LP(X)中的语义归结方法[J].辽宁工程技术大学学报(自然科学版),2010,29(5). |
| |
| 作者姓名： | 张家锋 徐扬 |
| |
| 基金项目： | 国家自然科学基金，贵州省教育厅自然科学基金 |
| |
| 摘 要： | 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。
|
| 关 键 词： | 自动推理 语义归结方法 格值逻辑 格蕴涵代数 |
Semantic resolution method on lattice-valued propositional logic LP(X) |
| |
| ZHANG Jiafeng,XU Yang.Semantic resolution method on lattice-valued propositional logic LP(X)[J].Journal of Liaoning Technical University (Natural Science Edition),2010,29(5). |
| |
| Authors: | ZHANG Jiafeng XU Yang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
