格值一阶逻辑LF(X)中的α-语义归结方法 |
| |
引用本文: | 张家锋,徐扬.格值一阶逻辑LF(X)中的α-语义归结方法[J].计算机科学,2014,41(9):274-278. |
| |
作者姓名: | 张家锋 徐扬 |
| |
作者单位: | 1. 西南交通大学智能控制开发中心 成都610031;毕节学院逻辑、语言与认知中心 毕节551700 2. 西南交通大学智能控制开发中心 成都610031 |
| |
基金项目: | 本文受国家自然科学基金资助 |
| |
摘 要: | 自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。
|
关 键 词: | 自动推理 语义归结 格值逻辑 格蕴涵代数 |
收稿时间: | 2013/10/1 0:00:00 |
修稿时间: | 2014/2/23 0:00:00 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|