TAILIEUCHUNG - Thiết kế hệ hỗ trợ giải toán đại số véctơ dựa trên mô hình tri thức toán tử

Bài viết tiến hành cải tiến mô hình tri thức toán tử, Ops-model về mặt cấu trúc các khái niệm trong mô hình và phân loại các luật của miền tri thức gồm các luật dẫn và các cách áp dụng các luật Heuristic. Mời các bạn cùng tham khảo bài viết để nắm chi tiết hơn nội dung nghiên cứu của bài viết. | Kỷ yếu Hội nghị Khoa học Quốc gia lần thứ IX Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR 9 Cần Thơ ngày 4-5 8 2016 DOI THIẾT KẾ HỆ HỖ TRỢ GIẢI TOÁN ĐẠI SỐ VÉCTƠ DỰA TRÊN MÔ HÌNH TRI THỨC TOÁN TỬ Nguyễn Đình Hiển h hi n Đỗ ăn Nh n Đại học Công nghệ thông tin ĐHQG HCM hiennd@ vuongpt@ nhondv@ TÓM TẮT X y d ng c c hệ thống thông minh ứng dụng trong gi o dục v To n học và Khoa học công nghệ là một trong nh ng th ch thức l n c a bi u di n tri thức hiện nay C c hệ thống này phải th hiện s t duy c a con ng i trong qu tr nh giải quyết c cv n c ng nh t ơng t c h tr ối v i ng i học Trong tri thức to n học kiến thức i số véctơ ch ơng tr nh l p là một trong nh ng tri thức kh ối v i học sinh c p Trung học ph thông Trong bài b o này ch ng tôi s cải tiến mô h nh tri thức to n t ps-model v m t c u tr c c c kh i niệm trong mô h nh và ph n lo i c c lu t c a mi n tri thức g m c c lu t d n và c c lu t ph ơng tr nh t thu t giải giải quyết c c bài to n trên mô h nh c ng c nghiên cứu cải tiến n ng cao hiệu quả b ng c ch p dụng c c lu t heuristic do qu tr nh suy di n t m l i giải c ng mô ph ng c qu tr nh t duy c a con ng i trong việc giải to n ô h nh ps-model cải tiến này c ứng dụng y d ng cơ s tri thức cho mi n kiến thức i số véctơ và y d ng một hệ thống h tr giải t ộng một số d ng to n trong mi n tri thức này i giải c a ch ơng tr nh cho c c bài to n t ơng t nh c ch giải c a ng i r ràng t ng b c Từ khóa Tri thức to n t hệ giải bài to n thông minh bi u di n tri thức suy di n t ộng. I. GIỚI HIỆU i u i n tri th c c m t v i tr qu n trọng trong việc thi t k c c hệ c s tri th c v ng c suy i n trong c c hệ th ng thông minh Hiện n y c nhi u ph ng ph p i u i n c nghi n c u v ng ng trong c c mi n tri th c kh c nh u nh logic r m - s mạng ng ngh th kh i niệm 2 v ontology Tuy nhi n c c ph ng ph p n y không v r t kh ng ng trong việc x y ng hệ th ng ng ng trong th c t M t trong nh ng th ch th c hiện n y trong kho học v i u

• Kỹ thuật lập trình
• Hệ hỗ trợ giải toán đại số véctơ
• Giải toán đại số véctơ
• Mô hình tri thức toán tử
• Hệ giải bài toán thông minh
• Suy diễn tự động
• Bài giảng Biểu diễn tri thức
• Giải toán tự động
• Mạng suy diễn và tính toán
• Mô hình tri thức
• Phương pháp biểu diễn tri thức
• Mạng suy diễn tính toán
• Chương trình giải toán thông minh
• lập lịch tối ưu
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• khoa học điều khiển
• công thức suy diễn
• toán tử suy diễn
• hệ thống kỹ thuật
• suy diễn mờ
• vật lý toán
• kỹ thuật công nghiệp
• dây truyền tự động hóa
• bộ điều khiển mờ trượt
• tốc độ động cơ
• luận án thạc sỹ cơ khí
• mô tơ suy diễn
• khâu giải mờ
• Khôi phục dấu tự động
• Dịch máy dựa trên cú pháp
• Suy diễn văn phạm
• Văn phạm phi ngữ cảnh đồng bộ
• Thuật toán phân tích cú pháp CKY
• Tối ưu hóa
• lan truyền có cận
• Bài tiểu luận
• Ứng dụng Logic mờ
• Xác định thời gian
• Đề thi trắc nghiệm khách quan
• Khái quát về logic mờ
• Cơ chế suy diễn mờ
• đại số gia tử