| α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X) |
| |
| 引用本文： | 王伟,徐扬,王学芳. α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)[J]. 西南交通大学学报(英文版), 2002, 10(1): 98-111 |
| |
| 作者姓名： | 王伟 徐扬 王学芳 |
| |
| 作者单位： | DepartmentofAppliedMathematics,SouthwestJiaotongUniversity,Chengdu610031 |
| |
| 摘 要： | This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X).A new method of automated resasoning is given ,and the soundness and completeness theorems of this method are proved.
|
| 关 键 词： | 自动推理 矩阵表示 不饱和性 格子 价值工程 人工智能 α-不稳定性 逻辑 |
α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X) |
| |
| Abstract: | This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X). A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved. |
| |
| Keywords: | resolution pair unsatisfiablity matrix representation |
| 本文献已被 维普 万方数据 等数据库收录！ |
