Suy luận xấp xỉ và ứng dụng

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỞNG ĐAI HỌC KHOA HỌC T NHIÊN f í é t i n ỡg h iê n c ứ u k h o a h ọ c SUY LUẬN XẤP XỈ VÀ ỨNG DỤNG ■ ■ MÃ SỐ : QT 98-02 CHỦ TRÌ ĐỂ TÀI: PT S HÀ QUANG THỤY p ÃĨ Hocõũr/ gĨÃhàncT ITK{«5 TÂMTi'í)M(-, TỈN THI/ VịệN j V ŨT Ị 0 Ĩ - HẢ NỘI-1999 j ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN CỘNG HOA XÀ HỘI CHU NCHIA VIỆT NAM ĐỘC LẬP TỤ DO HẠNH PHUC -LU- B A O CÁO TOÀN DIỆN VỂ KẾT QUẢ ĐỂ TÀI NGHIÊN c u KHOA HỌC C A P ĐẠI HỌC QUỐC GIA HÀ NỘI TÊN ĐẾ TẢI S u y luận xáp x ỉ ímg dụng (tiếng A n h : Approxim ate Reaaoning and Applications) MÃ SỐ: QT-98-02 CHỦ NHIỆM ĐỂ TÁI: Hà Quang Thụy Học vị: PTSĐơn vị còng tác: Khoa CiNTT (trước đây) CÁC CÁN BỘ THAM GIA THAM GIA Sư l -> n H ọ tên Cơ quan PTS Đỗ Văn Thành PGS PTS Hồ Thuần ThS Nguyễn Quang Vinh Văn phòng IT-2000 (trước đây) Viện CNTT Khoa CNTT ThS Đỗ Tấn Phong ThS Vũ Thị Thủy Công ty điện thoại di động VMS Cử nhân Vũ Hổng Vân Công ty tư vấn xây dựnơ điện ĐHKHXH-NV ThS Lương Song Ván Sở Giáo dục Vĩnh Phúc Nguyễn Thị Vân Nguyễn Thị Thu Phươnơ Học viên cao học CNTT Học viên cao học CNTĨ 10 Nguyễn Trí Thành Cử nhân CNTT (Hợp đổng) 1 Đoàn Sơn Sinh viên CNTT K41 Nguyễn Việt Thắng Sinh viên CNTT K Nơuyễn Ngọc Minh Sinh viên CNTT K 13 THƠI GIAN THỤC HIỆN Từ tháng 7-I998 đến hết tháng 12-1999 TOM TAT NỘI DUNG NGHIÊN c u il CUA ĐẺ TAI • Tên (lề tài • M ã so: Suy luận xấp x ì ínig dung (tiếng A nh: Apprnxim ate R easonin" and Applications) Q T-98-02 • Chu nhiệm để tài: Hà Quang Thụv Học vị: PTSĐơn vị công tác: Khoa Côns nahệ ikhoa CNTT trước đ ã \ ) • Các cán tham gia Srt 5 Ị Họ tên PTS Đỗ Vãn Thành PGS PTS Hổ Thuần ThS Nguyễn Quang Vinh ThS Đỏ Tấn Phong ThS Vũ Thị Thủy Cử nhân Vũ Hổng Vân ThS Lương Song Vân Nguyễn Thị Vân Cơ quan Vãn phòna IT-2000 (trước đ â \ ) Viện CNTT Khoa CNTT Công ty điện thoại di động VMS Công ty tư vấn xà) dưng điện ỉ ĐHKHXH-NV Sở giáo dục Vĩnh Phúc Học viên cao học CNTT Học viên cao học CNTT Nguyễn Thị Thu Phương Nguyễn Trí Thành 1 Đoàn Sơn Cử nhân CNTT (Hợp đổno) Sinh viên CNTT K41 Nguyễn Việt Thắng Sinh viên CNTT K41 13 Nguyền Ngọc Minh Sinh viên CNTT K41 • M ục tiêu nội dung nghiên CÍCII M ục tiêu đê tài Xây dựng nhóm cán khoa học ngồi Đại học Quốc gia Hà Nội nghiên cứu phát triển nội dung yếu vể suy luận xấp xi ứng dung thuộc lĩnh vực côns nghệ tri thức với kết quà đăng tạp chí, báo cáo khoa ' học báo cáo hội tháo nước, luận văn Thạc sỹ Tiến sỹ N ội dung nghiên cứit Để tài định hướng nghiên cứu phương pháp khai thác môi liên kết thong tin sớ liệu đê nhộn biết tri thức hữu dụng tiềm liệu nhằm hỗ trợ trình suy luận quvết định Đề tài tập trung vào Iiehién cứu thuộc lĩnh vực khai phá liệu (Data mininơ) khám phá tri thức sơ liệu (Knowledge Discoverv in Databases) Các nội dung chuẩn hoá liệu, khai phá liệu, học máy, độ đo gần đúng, khám phá tri ihức CSDL ià khía canh bán đề tài quan tâm theo định hướng chung Như khảng định trên, mục tiêu quan trọng đirợc đồ tài định hướng hình thành tập thể cán khoa học ĐHQGHN quan tâm nghiên cứu lĩnh vực nói Việc thu hút nghiên cứu sinh, học viên cao học sinh viên năm cuối tham gia đề tài coi kết bước đẩu đánơ khích lệ CUQ cic Icl1 Những nội dung nghiên cíai vếu triển khái để tài là: • Lý thuyết CSDL, phương pháp luận xảy dựng CSDL luôn ỉà nội dung thời CNTT Để tài quan tâm đến số nội dung liên quan đến tính phụ thuộc liệu, tính chuẩn hố, phương pháp định hướng đói tượng v.v • Lình vực khai phá liệu khám phá tri thức lĩnh vực chuyên gia Tin học giới tronơ nước, đặc biệt chuvên gia công nghệ tri thức, quan tâm Để tài trọng việc tìm hiểu nội dung lĩnh vực nói sau đề xuất, đóng góp kết qua nghièn cứu Những nội dung chi tiết liên quan đến lĩnh vực đề tài quan tâm là: - Lý thuyết độ đo gần nói chung độ đo lựa chọn thuộc tính (tronơ sỏ' liệu quan hệ) nói riêng, - Lịgic khả suy luận gần theo lơgic khả năng, - Bài tốn học máy: số mơ hình vấn đề rút gọn lỗi, - Lĩnh vực khai phá liệu khám phá tri thức, trọnơ đặc biệt tới thuật toán khai phá liệu, - Phát triển số nội dung học máy có giám sát sở liệu phi cấu trúc v.v • M ột sị kết Kết đề tài tập hợp đa dạng đăng tạp chí, báo cáo khoa học, nội dung luận văn thạc sỹ Số lượng cụ thể cho theo thống kẻ nhu' đây: - Hai (2) báo tạp chí khoa học đăng nhộn đăng cho tạp chí chu vẻn ngành, hai (2 ) báo hoàn thiện nội dung để gửi đăng, - Một báo cáo khoa học Hội tháo quốc tế "Cơ sở Toán học cùa Tin học" Hà nội (25-28/10/1999) trình bày nội dung báo cáo khoa học ựiếns Anh I ấn hành vào năm 2000 Nhật bán - Một báo cáo gửi tham dự Hội thao khoa học Đài loan - Có bốn (4) bdo cáo khoa học trình bày Hội cháo liên quan: Viện CNTT khoa CNTT-ĐHKHTN (trước đây), khoa CNTT-ĐHBKHN - Hai thành viên tham gia đề tài bảo vệ thành còng ỉuận ván cao học mà nội dung luận văn kết trực tiếp đề tài Hai luận vãn cao học khác có nhĩms phan nội dung kết hoạt động đề tài - Qua đề tài, hội thảo khoa học lĩnh \ạrc khai phá liệu khám phá tri thức hình thành đuv trì sinh hoat thường xuyên vào chiều thứ sáu hàng ru-in Có mười (10) báo cáo khoa học trình bày xèmine ĩrons 15 buổi - D ana thử nghiệm phản tích việc cài đặt thuật tốn học máv có giám sát tron sờ liệu full-text - Bước đ ầ u xác lập mối liên hè, trao đổi tư liệu khoa học (chu yêu !à nhận tài liệu khoa học) với PGS Hổ Tú Bảo (Nhật bản), TS Nguyễn Hùnơ Sơn (Ba lan) vé nội dung khoa học theo định hướng tập thô, KDD - Thu thập khối lượn đáng kể tài liệu khoa học có giá trị vé lĩnh vực nghiên cứu nói (học máv nị tá phức, khai phd liệu khám phá tri th ứ c) từ nguồn khác nhau, đặc biệt từ Internet * Tình h ìn h k in h p h í đ ề tài: Tổng kinh phí: 16.000.000 đ hai năm 1998-1999 Các khoán chi: - Hỗ trợ nahièn cứu khoa học - Hỗ trợ truy nhập Internet - Sao chụp tài liệu - Hội tháo khoa học * Tom tát tiến g A n h This work considers methods on knovviedge discoverv in đatabases for ĩindinơ Lisìill knovviedge in data for deducing to support on deciding proccess Some main concepts in this work as follow: * C onsider on data reiations normaìization in databases object onented nethod » Orient on Data Mining and I