An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.
Peiyao LiuShuwei ChenJun LiuYang XuFeng CaoGuanfeng WuPublished in: Knowl. Based Syst. (2023)
Keyphrases
- times faster
- automated deduction
- dynamic programming
- learning algorithm
- cost function
- detection algorithm
- optimization algorithm
- theoretical analysis
- np hard
- knowledge base
- recognition algorithm
- expectation maximization
- experimental evaluation
- objective function
- theorem proving
- worst case
- high accuracy
- significant improvement
- clustering method
- k means
- segmentation algorithm
- computational complexity
- similarity measure
- optimal solution
- search space
- computationally efficient
- particle swarm optimization
- programming language
- knowledge representation
- probabilistic model