V. GIỚI THIỆU, NHẬN ĐỊNH MỘT SỐ GIỚI THIỆU, NHẬN ĐỊNH MỘT SỐ
toán trên máy tính
toán trên máy tính
5.7 Phầm mềm MAPLE
5.1 Các phương pháp biểu diễn tri thức
5.1 Các phương pháp biểu diễn tri thức
° Các phương pháp chung: các phương pháp biểu diễn theo logic hình thức, các phương pháp biểu diễn thủ tục, các phương pháp biểu diễn dạng mạng và các phương pháp biểu diễn cấu trúc
° Ưu điểm của mỗi phương pháp: thích hợp cho việc biểu diễn từng dạng tri thức riêng lẻ.
° Nhược điểm chung: chỉ biểu diễn được một khía cạnh của tri thức đa dạng và chưa hướng tới một mô hình tri thức bao hàm nhiều dạng thông tin và nhiều dạng sự
5.2 Một số lý thuyết về chứng minh tự động
5.2 Một số lý thuyết về chứng minh tự động
° Phương pháp hình thức: xây dựng các hệ thống logic khác nhau bao gồm tập ký hiệu, cú pháp của công thức hình thức, ngữ nghĩa và hệ luật trên các công thức.
° Ưu điểm: Tính chặc chẽ cao, khá đơn giản với sô luật không nhiều.
° Nhược điểm: Trừu tượng và không thich hợp cho nhiều ứng dụng cụ thể như hệ giải bài toán hình học, các hệ chuyên gia ứng dụng.
5.3 Phương pháp Wu
5.3 Phương pháp Wu
° Phương pháp Wu là một phương pháp biểu diễn và
chứng minh định lý hình học theo cách tiếp cận đại số: biểu diễn các sự kiện dựa trên các đa thức và các tính toán trên tập nghiệm của các đa thức.
° Ưu điểm: Phương pháp nầy cho ta một biểu diễn khá đẹp về mặt lý thuyết toán học.
° Nhược điểm:
(1) thực hiện thiết kế một thuật toán thực hành tính toán trên máy tính một cách hiệu quả rất khó.
(2) Không thể làm cơ sở hay công cụ cho việc thiết kế một cách hệ thống một chương trình giải toán dựa trên tri thức, đặc biệt là chương trình cho lời giải tường minh phù hợp với việc học và dạy toán hình học.
(3) Có những quan hệ trên các yếu tố hình học không thể diễn đạt bởi các đa thức.
5.4 Một số phương pháp chứng minh
5.4 Một số phương pháp chứng minh