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


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.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology