Automatic reasoning is a very challenging research area in the field of artificial intelligence. Automatic inference based on lattice-valued logic is an important basic research content in the field of intelligent information processing. It is of great academic significance to deal with incomparability, linguistic valued information, and formal verification of the correctness of corresponding software and hardware systems in various applications. Based on the extensive work of α-resolution automated reasoning in linguistic truth-valued lattice-valued logic, this paper discusses the structure and its α-resolvability of the generalized literal. For further improving the efficiency, a topology graph deduction is proposed as well as its soundness, completeness, and universal algorithm. The use of distributed computing and resource sharing is the core idea of this deduction. In the decision process, as long as one satisfiability solution is found by subtask, the decision result can be given directly, shortening the decision time. The algorithm reduces the time complexity from factorial level to square.
展开▼
