Title :
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic
Author :
Xingxing He;Yang Xu;Jun Liu
Author_Institution :
Sch. of Math., Southwest Jiaotong Univ., Chengdu, China
Abstract :
Aiming to improve the efficiency of alpha-paramodulation in lattice-valued logic with equality, this paper focuses on alpha-lock paramodulation for lattice-valued logic, which can more efficiently handle the lattice-valued logical formula with equality. The definition of alpha-lock paramodulation is given firstly, which is a refinement of alpha-paramodulation, and then its soundness and completeness are established. Finally an algorithm of alpha-lock paramodulation is given.
Keywords :
"Yttrium","Cognition","Lattices","Algebra","Indexes","Cost accounting"
Conference_Titel :
Intelligent Systems and Knowledge Engineering (ISKE), 2015 10th International Conference on
DOI :
10.1109/ISKE.2015.90
