Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.
Lifeng HeYuyan ChaoHidenori ItohPublished in: J. Comput. Sci. Technol. (2003)
Keyphrases
- theorem proving
- forward chaining
- eliminating redundant
- search space
- search algorithm
- combinatorial search
- first order logic
- search tree
- inference rules
- theorem prover
- metaheuristic
- heuristic search
- automated reasoning
- proof planning
- constraint satisfaction problems
- parallel search
- optimal solution
- search procedure
- branch and bound
- state space
- consequence finding
- geometry theorem proving
- search strategy
- constraint satisfaction
- reinforcement learning
- machine learning
- graphical models
- artificial intelligence
- learning algorithm