Vấn đề trên mô hình COKB rút gọn

Một phần của tài liệu Phát triển một mô hình biểu diễn tri thức hàm & Phương pháp giải quyết các vấn đề (Trang 27)

4.Ứng dụng thiết kế hệ giải toán Hình học Không gian

Powerpoint Templates Page 28 Mục tiêu

• Mục tiêu của việc thiết kế ứng dụng này là phân tích và thiết kế một hệ thống nhằm giải các bài toán Hình học không gian. CSTT của hệ thống này được xây dựng dựa trên mô hình tri thức hàm trình bày ở phần trên. không gian. CSTT của hệ thống này được xây dựng dựa trên mô hình tri thức hàm trình bày ở phần trên.

• Chương trình ứng dụng cho lời giải theo từng bước, phù hợp với lời giải tự nhiên của con người. người.

Mô hình

• Mô hình biểu diễn cơ sở tri thức cho ứng dụng giải toán Hình học không gian sử dụng mô hình thu gọn của COKB gồm 5 thành phần: và tất cả 12 loại sự kiện như được trình bày ở mục trên. và tất cả 12 loại sự kiện như được trình bày ở mục trên.

Powerpoint Templates Page 30 Tập C

Các khái niệm trong hình học không gian được xét đến trong chương trình bao gồm:

"Điểm", "Đoạn", "Đường thẳng", "Góc", "Mặt phẳng", "Tam giác", "Tam giác đều", "Tam giác cân", "Tam giác vuông", "Tam giác vuông cân", "Tứ giác", "Hình thang", "Hình thang vuông ", "Hình bình hành", "Hình thoi", "Hình chữ nhật", "Hình vuông", "Hình chóp tam giác", " Hình chóp tam giác đều", " Hình chóp tứ giác" và "Hình chóp tứ giác đều".

Đối tượng cấp cơ bản: "Điểm".

Đối tượng cấp 1: "Đoạn", "Đường thẳng", "Góc", "Mặt phẳng".

Đối tượng cấp 2: "Tam giác", "Tam giác đều", "Tam giác cân", "Tam giác vuông", "Tam giác vuông cân", "Tứ giác", "Hình thang", "Hình thang vuông ", "Hình bình hành", "Hình

thoi", "Hình chữ nhật", "Hình vuông".

Tập

Mối quan hệ phân cấp giữa các khái niệm trong tập có thể biểu diễn bằng sơ đồ Hasse. Ví dụ, biểu đồ Hasse sau đây minh họa cho hệ thống phân cấp các khái niệm của tam giác, tứ giác, hình chóp tam giác, hình chóp tứ giác.

Powerpoint Templates Page 32

Một phần của tài liệu Phát triển một mô hình biểu diễn tri thức hàm & Phương pháp giải quyết các vấn đề (Trang 27)