辽宁工程技术大学学报（自然科学版）2011，Vol.30Issue(4)：611-614,4.DOI:21-1379/N.20110818.2310.007
格值命题逻辑系统LP(X)的语义归结方法
Semantic resolution method for lattice-valued propositional logic LP(X)
摘要
Abstract
To improve the reasoning efficiency of a-resolution principle on lattice-valued propositional logic LP(X), this study combines the semantic resolution with a-resolution principle and investigates a-semantic resolution method. In addition, the soundness and weak completeness of this method is obtained. The study provides a necessary preparation for a- resolution automated reasoning algorithm on lattice-valued propositional logic LP{X).关键词
自动推理/语义归结方法/格值逻辑/格蕴涵代数/α-归结原理Key words
automated reasoning/ semantic resolution method/ lattice-valued logic/ lattice implication algebra/ a- resolution principle分类
数理科学引用本文复制引用
张家锋,徐扬,何星星..格值命题逻辑系统LP(X)的语义归结方法[J].辽宁工程技术大学学报（自然科学版）,2011,30(4):611-614,4.基金项目
国家自然科学基金资助项目(60875034):贵州省教育厅专项基金资助项目(09ZX092) （60875034）
毕节学院自然科学重点研究课题基金资助项目(20092027) （20092027）
