Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh

Nguyễn Thanh Thủy, Nguyễn Hữu Đức, Nguyễn Vũ Quốc Hưng


In this paper we shall investigate some  techniques and strategies for  improving the inference efficiency in automatic proof. We  propose three types of techniques. Restriction and filtering,  heuristics – based technique and learning. The two typical knowledge representations ( propositional logics and  predicate logics) and corresponding proposed heuristics are carefully considered. We applied already these techniques in an Intelligent Tutoring System for  geometrical proof problem Geometry.

DOI: https://doi.org/10.15625/1813-9663/14/4/7966

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology