Automated ReasoningMethod Based on Path Searching
for Lattice Propositional Logic Formulae

Jun. 2003

Article Contents

Journal of Southwest Jiaotong University > 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 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.

PDF( 0 KB)

Automated ReasoningMethod Based on Path Searching for Lattice Propositional Logic Formulae

Publish Date: 25 Jun 2003

Abstract

Abstract

A new automated reasoning method based on path searching is put forward. This method adopts pre-processing and dynamic deletion strategies so as to convertmulti-path searching into one-path searching. It can be used to validate the unsatisfiability of lattice-valued propositional logic formulae quickly. In addition, the soundness and completeness of the method are proved.
- automated reasoning,
- route,
- clause set,
- complementary pair