| 格值语义归结推理方法 |
| |
| 引用本文： | 张家锋,徐扬,何星星. 格值语义归结推理方法[J]. 计算机科学, 2011, 38(9): 201-203 |
| |
| 作者姓名： | 张家锋 徐扬 何星星 |
| |
| 作者单位： | (西南交通大学智能控制开发中心 成都 610031);(毕节学院逻辑、语言与认知中心 毕节 551700) |
| |
| 基金项目： | 本文受国家自然科学基金(60870034)，贵州省科学技术项目(2010GG43286),2011年四南交通大学博上生创新基金项目资助 |
| |
| 摘 要： | 归结自动推理是人工智能领域的一个重要研究方向，语义归结方法是对归结原理的一种改进，它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的二归结原理提供了一种处理带有模糊性和不可比较性信息的工具，它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质，该类子句集在任意赋值下能分为两个非空子集，接着讨论了这类广义子句集的语义归结方法，并证明了其可靠性和完备性。
|
| 关 键 词： | 格蕴涵代数，格值命题逻辑系统LP(X)，自动推理，语义归结方法 |
Lattice-valued Semantic Resolution Reasoning Method |
| |
| GHANG Jia-feng,XU Yang,HE Xing-xing. Lattice-valued Semantic Resolution Reasoning Method[J]. Computer Science, 2011, 38(9): 201-203 |
| |
| Authors: | GHANG Jia-feng XU Yang HE Xing-xing |
| |
| Affiliation: | (Intelligent Control Development Center, Southwest Jiaotong University, (;hengdu 610031, China);(Center of Logic,Langaage and Cognition,Bijie University,Bijie 551700,China) |
| |
| Abstract: | |
| |
| Keywords: | Lattice implication algebra Lattice-valued propositional logic LP(X) Automated reasoning Semantic resolution method |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
