基于路径搜索的格值命题逻辑自动推理方法 |
| |
引用本文: | 李海明,刘鹏仙,徐扬.基于路径搜索的格值命题逻辑自动推理方法[J].西南交通大学学报,2003,38(3):248-252. |
| |
作者姓名: | 李海明 刘鹏仙 徐扬 |
| |
作者单位: | 1. 西南交通大学应用数学系,四川成都,640031;唐山师范学院计算机系,河北唐山,063000 2. 唐山师范学院计算机系,河北唐山,063000 3. 西南交通大学应用数学系,四川成都,640031 |
| |
基金项目: | 国家自然科学基金资助项目(60074014) |
| |
摘 要: | 提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.
|
关 键 词: | 自动推理 路径搜索 格值命题逻辑 删除策略 子句集 互补对 计算复杂性 |
文章编号: | 0258-2724(2003)03-0248-05 |
Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae |
| |
Abstract: | |
| |
Keywords: | automated reasoning route clause set complementary pair |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|