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

Authors

  • Nguyễn Thanh Thủy Publishing House for Science and Technology
  • Nguyễn Hữu Đức
  • Nguyễn Vũ Quốc Hưng

DOI:

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

Abstract

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.

Metrics

Metrics Loading ...

Published

29-03-2016

How to Cite

[1]
N. T. Thủy, N. H. Đức, and N. V. Q. Hưng, “Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh”, JCC, vol. 14, no. 4, p. 41–49, Mar. 2016.

Issue

Section

Computer Science

Most read articles by the same author(s)

<< < 1 2 3