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
Author affiliations
DOI:
https://doi.org/10.15625/1813-9663/12/2/8075Abstract
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 ...
Downloads
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
License
1. We hereby assign copyright of our article (the Work) in all forms of media, whether now known or hereafter developed, to the Journal of Computer Science and Cybernetics. We understand that the Journal of Computer Science and Cybernetics will act on my/our behalf to publish, reproduce, distribute and transmit the Work.2. This assignment of copyright to the Journal of Computer Science and Cybernetics is done so on the understanding that permission from the Journal of Computer Science and Cybernetics is not required for me/us to reproduce, republish or distribute copies of the Work in whole or in part. We will ensure that all such copies carry a notice of copyright ownership and reference to the original journal publication.
3. We warrant that the Work is our results and has not been published before in its current or a substantially similar form and is not under consideration for another publication, does not contain any unlawful statements and does not infringe any existing copyright.
4. We also warrant that We have obtained the necessary permission from the copyright holder/s to reproduce in the article any materials including tables, diagrams or photographs not owned by me/us.
