- 期刊
- OpenAccess
Completeness of the LELS Inference Rule in Automated Theorem Proving
並列摘要
The Extended Linking Strategy (ELS) is a hyper-style strategy whose underlying principle is to control and perform (extend) a series of standard resolution on clauses. However it may be treated as a unique inference rule that serially links several resolution steps into one. We define links and clause chains, and introduce the ideas of ELS with left merging (LELS). We also presented the soundness and completeness proofs for ground LELS and use a fundamental theorem of logic (Herbrand's theorem) and facts about the unification algorithm to show that LELS is, in fact, complete for first-order predicate calculus. Some experimental results are included. Employment of LELS not only prevents an automated proving program from producing too many new clauses, but also enables it to draw in fewer steps conclusions that typically require many steps when unlinked inference rules are used.
延伸閱讀
- CARBONE, A. (1996). AN EXTENSION OF A BEST APPROXIMATION THEOREM. International Journal of Mathematics and Mathematical Sciences, 1996(), 711-716. https://doi.org/10.1155/S016117129600097X
- Wen, D. J. (2011). Strong Convergence Theorems for Equilibrium Problems and k-Strict Pseudocontractions in Hilbert Spaces. Abstract and Applied Analysis, (2011), 817-829. https://doi.org/10.1155/2011/276874
- Zhang, C. J. (2012). Strong Convergence Theorems for the Generalized Split Common Fixed Point Problem. Journal of Applied Mathematics, 2012(), 712-724-446. https://doi.org/10.1155/2012/575014
- Miao, Y., Xu, S., & Peng, A. (2012). Almost Sure Central Limit Theorem of Sample Quantiles. Advances in Decision Sciences, 2012(), 1-7-027. https://doi.org/10.1155/2012/671942
- Mohiuddine, S. A., & Alotaibi, A. (2014). Generalized Almost Convergence and Core Theorems of Double Sequences. Abstract and Applied Analysis, 2014(), 888-894. https://doi.org/10.1155/2014/152910