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
Author affiliations

Authors

  • Nguyễn Thanh Thủy Publishing House for Science and Technology

DOI:

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

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.

Metrics

Metrics Loading ...

Published

06-04-2016

How to Cite

[1]
N. T. Thủy, “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”, JCC, vol. 12, no. 4, p. 78–86, Apr. 2016.

Issue

Section

Computer Science

Most read articles by the same author(s)

<< < 1 2 3