|
|||||
|
|
| 格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性 | |
| 作者姓名： | 张家锋 徐扬 |
| 作者单位： | 1. 西南交通大学智能控制开发中心,四川成都610031;毕节学院逻辑、语言与认知研究中心,贵州毕节551700 2. 西南交通大学智能控制开发中心,四川成都,610031 |
| 摘 要： | 归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑... |
| 关 键 词： | 自动推理 归结域 格值逻辑 格蕴涵代数 |
| 本文献已被 万方数据 等数据库收录！ | |