Thiết kế các ngôn ngữ mô tả và xây dựng cơ sở tri thức cho các phần mềm trợ giúp giải bài toán hình học

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/2/8075

Abstract

Our purpose is to present some fundamental principles for  designing an interface language FCL and  three languages SCL, CDL and LDL and their impact on the development of an ITS for figure correctness verification and geometry problem proof. Besides, LDL predicates are used for expressing almost geometry theorems and  properties in  a knowledge base over which an ITS makes inference. Some experimental of ITS are implemented in the Borland C++, version 3.1.

Metrics

Metrics Loading ...

Published

06-04-2016

How to Cite

[1]
N. T. Thủy, “Thiết kế các ngôn ngữ mô tả và xây dựng cơ sở tri thức cho các phần mềm trợ giúp giải bài toán hình học”, JCC, vol. 12, no. 2, p. 30–40, Apr. 2016.

Issue

Section

Computer Science

Most read articles by the same author(s)

<< < 1 2 3