BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN QUỐC GIA VỀ KHOA HỌC, CÔNG NGHỆ VÀ ĐỔI MỚI SÁNG TẠO

Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  31,798,637
  • Công bố khoa học và công nghệ Việt Nam

27.47

Toán học và thống kê

Nguyễn Vũ Quốc Hưng, Trần Thị Thu Hiền(1)

Tăng cường tính thông minh cho phần mềm chứng minh bài toán hình học dựa trên cơ sở nhận dạng bài toán

TC Khoa học sư phạm: Khoa học giáo dục (Trường ĐHSP Hà Nội)

2001

3

3-10

0868-3719

Toán điều khiển, Mô hình, Nhận dạng

Một trong những vấn đề đang được quan tâm là nâng cao hiệu quả suy diễn cho các bài toán chứng minh tự động nhằm làm cho phần mềm thông minh hơn trong quá trình suy diễn . Một trong những hướng tiếp cận là đánh giá được tập các quy tắc hoặc sự kiện có hiệu quả cao nhất nếu được xét đến trong quá trình giải, cách đánh giá ở đây dựa trên kinh nghiệm tích luỹ lời giải các bài toán mẫu và mô hình nhận dạng bài toán. Một bài toán đang được giải sẽ được nhận dạng xem nó có thuộc vào một lớp bài toán nào và lời giải của bài toán điển hình trong lớp đó sẽ được xử lý để rút ngắn quá trình giải

TTTTKHCNQG, CVv 157

Xem toàn văn