首页 | 本学科首页   官方微博 | 高级检索  
     

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

关 键 词:自动推理  语义归结  语言真值格蕴涵代数  格值逻辑
收稿时间:2014-07-18
修稿时间:2014-11-13
本文献已被 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号