• ISSN 0258-2724
  • CN 51-1277/U
  • EI Compendex
  • Scopus 收录
  • 全国中文核心期刊
  • 中国科技论文统计源期刊
  • 中国科学引文数据库来源期刊

基于路径搜索的格值命题逻辑自动推理方法

李海明 刘鹏仙 徐扬

李海明, 刘鹏仙, 徐扬. 基于路径搜索的格值命题逻辑自动推理方法[J]. 西南交通大学学报, 2003, 16(3): 248-252.
引用本文: 李海明, 刘鹏仙, 徐扬. 基于路径搜索的格值命题逻辑自动推理方法[J]. 西南交通大学学报, 2003, 16(3): 248-252.
Automated ReasoningMethod Based on Path Searchingfor Lattice Propositional Logic Formulae[J]. Journal of Southwest Jiaotong University, 2003, 16(3): 248-252.
Citation: Automated ReasoningMethod Based on Path Searching for Lattice Propositional Logic Formulae[J]. Journal of Southwest Jiaotong University, 2003, 16(3): 248-252.

基于路径搜索的格值命题逻辑自动推理方法

Automated ReasoningMethod Based on Path Searching for Lattice Propositional Logic Formulae

  • 摘要: 提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路 径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性 的判定.文中还讨论了该算法计算的复杂性.

     

  • 加载中
计量
  • 文章访问数:  1173
  • HTML全文浏览量:  55
  • PDF下载量:  53
  • 被引次数: 0
出版历程
  • 刊出日期:  2003-06-25

目录

    /

    返回文章
    返回