|
|||||
|
|
| 基于语言真值格值命题逻辑系统lvpl的推理规则 | |
| 作者姓名： | 赖家俊 徐扬 |
| 作者单位： | [1]西南交通大学信息科学与技术学院,成都610031 [2]西南交通大学智能控制开发中心,成都610031 |
| 基金项目： | 国家自然科学基金资助项目（编号：60474022）,教育部博士点专项基金资助项目（编号：20060613007）. |
| 摘 要： | 一个逻辑系统在实际应用中，推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lvpl，提出了几种推理规则，这些推理规则包含有语义和语法，且它们之间具备协调水平的特性，证明了推理规则在一定程度上具备闭性特性。 |
| 关 键 词： | 语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性 |
| 本文献已被 维普 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |