欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了提高格值命题逻辑LP（X）中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP（X）中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。
英文摘要：
In order to improve the reasoning efficiency of α-resolution principle in lattice-valued propositional logic LP（X）,this study applies semantic strategy on α-resolution principle and investigates the semantic resolution method. The study demonstrates the soundness and weak completeness of the method,and provides a solid foundation for resolution-based automated reasoning on lattice-valued logic LP（X）.
同期刊论文项目
同项目期刊论文
期刊信息
位置：