Các kỹ thuật trợ giúp chứng minh bài toán hình học: cách tiếp cận trí tuệ nhân tạo

Nguyễn Thanh Thủy

Abstract


This paper investigates some fundamental techniques of  Artificial Intelligence for supporting geometry problem solving: Backward Inference and Forward inference over knowledge base, gathered from figures, theorems and AND/OR Grap representing rules. The proof process can be carried out either in “parkage mode” or in “stepwise mode”. A forward and backward inference algorithm for  predicate logics will be presented. Some  feature of an experimental system Geoprover are considered. This system is  implemented in C++, ver 3.1.




DOI: https://doi.org/10.15625/1813-9663/12/4/8094

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology