语言真值格值命题逻辑中的α-语义归结方法 |
| |
作者姓名: | 张家锋 徐 扬 陈 琴 |
| |
作者单位: | 贵州民族大学理学院 贵阳550025,西南交通大学智能控制开发中心 成都610031,贵州财经大学信息学院 贵阳550025 |
| |
基金项目: | 本文受国家自然科学基金项目(61175055,4),贵州省科学技术基金项目(黔科合J字LKB[2012]02号,黔科合J字[2010]2097号)资助 |
| |
摘 要: | 语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。
|
关 键 词: | 自动推理 语义归结 语言真值格蕴涵代数 格值逻辑 |
收稿时间: | 2014-07-18 |
修稿时间: | 2014-11-13 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|