Tích hợp tri thức trong các hệ thống đa tác tử

ĐẠI HỌC Q UỐ C G IA HÀ NỘI nĐMOG V ' ' t -y hn V BÁO CÁO TÒNG KẾT K ÉT Q U Ả T H ự C H IỆN ĐẺ TÀI KH& CN CẤP Đ ẠI H Ọ C Q U Ố C GIA Tên đề tài: Tích hợp tri thức hệ thống đa tác tử Mã số đề tài: QG 14.13 Danh sách cán tham gia: TS Trần Trọng Hiếu (Chủ nhiệm đề tài) Khoa Toán - Cơ - Tin học, Trường ĐHKHTN, ĐHQGHN ThS Nguyễn Thị Hồng Khánh (Thư ký) NCS Khoa CNTT, Trường ĐHCN, ĐHQGHN PGS TS Võ Quốc Bảo Đ H Công nghệ Swinburne, ú c ĐAI HỌC Q U Ố C g Ĩ Ă h X n ọ Ĩ ị TRUNG TẦM -THÕNG ỈÌN THƯ VIÊN — -—ị I comwqm a_ I Hà N ội, 10/2016 ! PHẦN I THƠPG TIN CHUNG 1.1 Tên đề tài: họp tri thức hệ thống đa tác tử 1.2 Mã số: QG 14.13 1.3 Danh sách hủ trì, thành viên tham gia thực đề tài TT Chửcỉanh, hoc vi, ho tên ' a •7 Đơn vị cơng tác Vai trị thực đề tài Khoa Toán - Cơ - Tin học, Chủ nhiệm đề tài • TS Tin Trọng Hiếu Trường ĐHKHTN, ĐHQGHN ThS ]guyễn Thị Hồng Khánh NCS Khoa Công nghệ Thư ký Thông tin, Trường ĐHCN, ĐHQGHN PGS s Võ Quốc Bảo Khoa CNTT & TT, ĐH Thành viên Công nghệ Swinburne, ú c 1.4 Đơn vị chủ rì: 1.5 Thời gian tực hiện: 1.5.1 Theo hp đồng: từ tháng 04 năm 2014 đến tháng 04 năm2016 1.5.2 Gia hại (nếu có): Khơng gia hạn 1.5.3 Thực hìn thực tể: từ tháng 04 năm 2014 đến tháng 04 năm 2016 1.6 Những tỉurđối so vói thuyết minh ban đầu (nếu có): Khơng c thay đổi 1.7 Tổng kinh hí phê duyệt đề tài: 200 triệu đồng PHẦN II TỎNỈ q u a n K é t q u ả n g h i ê n c ứ u Đ ặtvấntề A Vấn đề lỊhiên cứu tích hợp tri thức cho hệ đa tác tử Tích hợjtri thức lĩnh vực nghiên cứu quan trọng khoa học máy tính, vấn đề tích hợp tri thứđược phát biểu sau: Cho mộtiập hợp sở tri thức (knowledge bases), sở tri thức mâu thuẫn với nhau, àm để thu sở tri thức chung từ sở tri thức cho? Các giảiiháp cho vấn đề có liên quan đến nhiều lĩnh vực nghiên cứu khác nhau, chẳng hạn Cơ sở ứ liệu nhiều sở liệu cần phải sáp nhập, Tìm kiếm thơng tin có nhiều nguồn lơng tin cần phải tổng hợp, liên quan đến Hệ thống đa tác từ mà tác tử với hiểu biết khác cần phải đạt đồng thuận việc phân chia tài nguyên hay phối hợp hoạt động Nhiều phương pháp tiếp cận đề xuất, ví dụ tích hợp tri thức với hoạt động trọng tài p.z Revesz [1], tích hợp tri thức với sở tri thức có gắn trọng số J.Lin [2], tích họp tri thức với ràng buộc tồn vẹn s Konieczny [3], tích họp tri thức bàng Possibilistic Logic s Benferhat [4], tích hợp tri thức với sở tri thức phân lớp L Qi [5] Nhìn chung, phương pháp tiến so với phương pháp kết hợp tri thức [6, 7] chúng khơng xem xét kết hợp tất sở tri thức mà quan tâm đến số nguồn tạo tri thức Tuy nhiên, phương pháp tiếp cận này, tác tử cung cấp nguồn tin khơng xét đến q trình tích hợp Tất tác từ giả thiết cung cẩp sở tri thức mà chúng nắm giữ cách rõ ràng đầy đủ Quá trình sáp nhập thực trung gian hịa giải hồn tồn độc lập công tâm Hai giả thiết thường khó đổi với hầu hết hệ thống đa tác tử Ngoài phương pháp truyền thống nêu trên, tích hợp tri thức thơng qua đàm phán xem xét [8, 9, 10, 11] Phương pháp xuất phát từ ý tường tự nhiên mang tính người giải xung đột, nhóm người có sổ ý kiến trái ngược hay mâu thuẫn nhau, cho họ thảo luận đàm phán vói để đạt đồng thuận Cách tiếp cận giới thiệu R Booth [8, 9] q trình tích hợp gồm hai giai đoạn dựa luật đồng Levy [12] Trong cơng trình này, tác giả đề xuất mơ hình chung cho việc tích họp tri thức thông qua đàm phán Nghiên cứu tiếp tục s Koniecny việc lớp tốn tử tích hợp dựa vào kỹ thuật đàm phán [10] Tuy nhiên, kết không đủ mạnh việc buộc tác tử phải nhượng cách hợp tác, tức số tác tử sử dụng số thủ thuật để bảo vệ tri thức chúng kết sáp nhập Bên cạnh đó, muốn giữ ngun tắc thay đổi có thể, thừa hưởng từ nghiên cứu duyệt hiểu biết [8, 9], nên vi phạm đến nguyên tắc công bằng, thuộc tính quan trọng tích họp tri thức Một cơng trình khác liên quan đến phương pháp giới thiệu D Zhang [10] cách xem xét vấn đề trò chơi đàm phán tinh thần tích hợp tri thức Cơng trình dựa ý tưởng cùa việc xếp thông tin sở tri thức vào lóp ưu tiên từ thấp đến cao sau loại bỏ lớp thấp sở tri thức phần cịn lại khơng cịn mâu thuẫn tình bất đồng phát sinh (tri thức tác tử bị loại bỏ hồn tồn) Cách tiếp cận làm số thơng tin hữu ích trường hợp thông tin không gây mâu thuẫn, chúng lại nằm số lớp có độ ưu tiên thấp mà cần phải loại bỏ Tình trạng tương tự diễn tích hợp tri thức thực sở tri thức có phân lớp [5], Hơn nữa, tất cơng trình u cầu tác tử phải bộc lộ tất tri thức chúng, yêu cầu khó đáp ứng hệ thống đa tác tử Theo quan điểm đàm phán, tích hợp tri thức q trình mà số tác tử thực số nhượng sở tri thức chúng để đạt đồng thuận Các tác tử giả thiết trung thực, có lý trí hợp tác, tức tác tử cung cấp sở tri thức thực cùa mình, mong muốn trì nhiều tốt tri thức chúng chấp nhận tất tri thức từ tác tử khác miễn chúng khơng mâu thuẫn vói tri thức Tuy nhiên, giả thiết tính vụ lợi tác tử phổ biến hệ thống đa tác tử , tác tử ln cố gắng để đạt nhiều lợi ích (giữ gìn tri thức riêng chúng) tốt Vì vậy, hai câu hỏi phát sinh làm để tác tử thực nhượng vừa đủ để đạt đồng thuận làm để có kết tích hợp công cho tất tác tử Những câu trả lời cho câu hỏi mục tiêu đề tài Xa nữa, tất tiếp cận nói trên, tác tử tham gia q trình tích hợp tri thức giả thiết có tính hợp tác, tức chúng đạt đồng thuận thông qua việc đánh đổi hy sinh lợi ích lấy hy sinh lợi ích khác từ tác tử khác Tuy nhiên, nhiều tình tích hợp tri thức thực tế, số tác từ gìn giữ nhiều tri thức riêng chúng hon tác từ khác chúng có lý lẽ, luận vững để bảo vệ tri thức mình, tức ỉà chúng có lập luận để hỗ trợ tri thức chúng phản bác lại lập luận đối phương nhàm bác bỏ tri thức Điều gợi ý cho ý tưởng kỹ thuật cho việc tích hợp tri thức, tích họp tri thức bàng tranh luận B Tích hợp tri thức Việt Nam Xử lý tri thức nói chung tích hợp tri thức nói riêng lĩnh vực nghiên cứu mẻ Việt Nam Các nghiên cứu tích họp tri thức nước bước đầu ứng dụng số lĩnh vực đời sống, xã hội mà tiêu biểu hệ thống dự báo kinh tế triển khai Bộ Kế hoạch - Đầu tư Các kết học thuật mói bắt đầu xuất từ kết nghiên cứu số nghiên cứu sinh nước vài tiến sĩ học nước ngồi Nhóm tập trung chủ yếu số trường đại học thành phố Hồ Chí Minh Tiêu biểu Tiến sĩ Dương Trọng Hải nghiên cứu tích họp ontology cho hệ sở liệu lớn, nghiên cứu sinh Trương Hải Bằng tích hợp hệ thống mờ Tuy nhiên, mơ hình nghiên cứu xây dựng hệ thống logic chưa nhóm đề cập kết nghiên cứu đề tài tương đối độc lập với kết nghiên cứu nhóm khác nước c Sự cần thiết, tỉnh cấp bách, ỷ nghĩa lý luận thực tiễn: Từ tình hình nghiên cứu cịn nhiều khoảng trống khả ứng dụng to lớn tích hợp tri thức hệ thống thơng tin nêu trên, đề nghiên cứu tích hợp tri thức cho hệ thống đa tác tử cần thiết Các kết đề tài có ý nghĩa to lớn lý luận thực tiễn, v ề mặt lý luận, kết nghiên cứu đề tài cung cấp mơ hình lý thuyết kết đánh giá tính hợp lý, độ phức tạp tính tốn cho cộng đồng nghiên cứu phát triển, v ề mặt thực tiễn, mơ hình tích hợp tri thức đề xuất sử dụng đào tạo đại học, sau đại học; sử dụng hệ thống đa tác tử để phân chia tài nguyên, tác vụ, , hệ thống chuyên gia nhằm tăng cường độ xác cho hệ thống chẩn đốn bệnh, hệ thống dự báo thời tiết, dự báo kinh tế, hay hệ thống chống biến đổi khí hậu phòng chống thiên tai, Các kết nghiên cứu ứng dụng rộng rãi hệ hỗ trợ định, hệ thống thương mại điện tử tự động, hệ thống web hướng ngữ nghĩa, Đây hệ thống phục vụ cho nhiều mặt đời sống xã hội an ninh quốc phòng Mục tiêu Đề tài nghiên cứu cách tiếp cận cho việc tích hợp tri thức bàng đàm phán tranh luận Các kỹ thuật tích họp tri thức truyền thống bộc lộ số nhược điểm vượt qua áp dụng cho hệ thống đa tác tử Cụ thể yêu cầu tác tử tham gia trình tích hợp phải cung cấp cách đầy đủ, trung thực tri thức mà chúng có Hơn q trình tích hợp thực trọng tài nên kết bị ảnh hường cùa đánh giá mang tính chủ quan trọng tài, khó tác từ tham gia chấp nhận Việc tích hợp tri thức sử dụng kỹ thuật đàm phán hay tranh luận tiếp cận để khắc phục nhược điểm Các mục tiêu đề tài khảo sát, đánh giá chi tiết kĩ thuật tích họp tri thức có, đề xuất phương pháp tích hợp tri thức sử dụng kỹ thuật đàm phán tranh luận, đánh giá tính họp lý, độ phức tạp tính tốn phương pháp Nội dung phưong pháp nghiên cứu A N ội dung nghiên cứu đ ề tài: Đề tài gồm hai phần tích hợp tri thức đàm phán tích hợp tri thức tranh luận Trong nội dung tích hợp tri thức đàm phán, trước tiên chúng tơi khảo sát mơ hình đàm phán J Nash đề xuất (năm 1950) kinh tế học [13] nghiên cứu liên quan đến mơ hình Trí tuệ nhân tạo nói chung hệ thống đa tác tử nói riêng Tiếp chúng tơi đề xuất mơ hình tiên đề cho tiếp cận tích hợp tri thức bàng đàm phán định nghĩa tập tính chất đáng mong đợi mà kết tích hợp nên có khảo sát mối quan hệ tính chất vừa nêu mơ hình Tiếp chúng tơi trình bày mơ hình xây dựng cho cách tiếp cận bàng cách định nghĩa lớp toán tử tích hợp thuật tốn heuristic để thực toán tử kết biểu diễn để phản ánh mổi quan hệ hai mơ hình kể Cuối chúng tơi trình bày kết đánh giá độ phức tạp tính tốn cách tiếp cận Trong nội dung tích hợp tri thức bàng tranh luận, chúng tơi nghiên cứu mơ hình tranh luận P.M Dung đề xuất (năm 1995) [14] Trí tuệ nhân tạo ứng dụng hệ thống đa tác tử Sau chúng tơi đề xuất mơ hình tiên đề cho tiếp cận tích hợp tri thức bàng tranh luận định nghĩa tập tính chất đáng mong đợi mà kết tích họp nên có khảo sát mối quan hệ tính chất vừa nêu mơ hình Cuối chúng tơi xây dựng mơ hình chiến lược cho cách tiếp cận bàng cách định nghĩa giao thức cho việc tranh luận chiến lược tranh luận giao thức định nghĩa B Cách tiếp cận: Các vấn đề nghiên cứu tiếp cận từ hai hướng tiếp cận tiên đề tiếp cận xây dựng Trong tiếp cận tiên đề, tập tiên đề định nghĩa để đặc tả tính chất đáng mong đợi kết tích họp tri thức phân tích mối quan hệ tiên đề Trong tiếp cận xây dựng, mơ hình tích hợp đề xuất, giao thức làm việc chiến lược tích hợp tri thức bàn luận Với cách tiếp cận vừa nêu, sử dụng phương pháp nghiên cứu gồm có bước sau: Trước tiên, sử dụng lý thuyết đàm phán lý thuyết tranh luận để mơ hình hóa tốn tích hợp tri thức Tiếp theo xây dựng mơ hình tiên đề, mơ hình xây dựng mơ hình chiến lược cho cách tiếp cận đồng thời khảo sát mối quan hệ mơ hình Cuối chiúng tạo lập mô thử nghiệm để đánh giá kiểm chứng lại kết lý thuyết Cách tiếp cận thể tính mới, tính độc đáo, tính sáng tạo Cụ thể là, tích hợp tri thức đàm phán bàng tranh luận hướng tiếp cận nhàm áp dụng tích họp tri thức cho hệ thống đa tác tử Các kỹ thuật tích họp tri thức đàm phán tranh luận nghiên cứu áp dụng nhiều lĩnh vực khoa học xã hội trị, kinh tế triết học Trong đề tài kỹ thuật đưa vào nghiên cứu lĩnh vực trí tuệ nhân tạo Tồng kết kết nghiên cứu Các kết nghiên cứu đề tài gồm hai nhóm sản phẩm khoa học sản phẩm đào tạo Đối với nhóm sản phẩm khoa học, kết đề tài viết thành cơng trình khoa học cơng bố kỳ yếu hội nghị chun ngành có uy tín ngồi nước Cụ thể có hai báo đăng kỷ yếu hội nghị quốc gia CNTT & TT hai báo đăng kỷ yếu hội nghị quốc tế có uy tín, có phản biện thuộc hệ thống IEEE/Scopus Bài báo ‘Độ đo Google tích hợp liệu ” ([18]) bàn lý thuyết độ đo, vấn đề bàn đến nhiều cơng trình nghiên cứu lĩnh vực Khoa học máy tính tính ứng dụng sâu rộng từ thu hồi liệu, khai phá liệu đến tích hợp tri thức, nhận dạng học máy Bài báo giói thiệu bàn luận đầy đù chi tiết sở lý thuyết, tính chất sổ ứng dụng độ đo dựa Google cho việc tích hợp ontology liệu Hai báo “Mơ hình tiên đề cho tích hợp tri thức đàm phán ” ([17]) “On the B elief Merging by N egotiation” ([20]) trình bày mơ hình tiên đề cho việc tích hợp sở tri thức phân lớp đàm phán Quá trinh tích hợp tri thức mơ hình chia thành hai giai đoạn: giai đoạn đầu, sở tri thức phân lớp tác tử ánh xạ thành sở thích tác tử đó, giai đoạn thứ hai đàm phán tác tử thực dựa sờ thích Trong báo này, tập tiên đề hợp lý để đàm phán dựa tích hợp tri thức đề xuất giải pháp đàm phán thoả mãn tiên đề đề xuất giới thiệu Tiếp nữa, tính chất lơ-gic họ tốn tử tích hợp đàm phán trình bày [17,20] Cuối độ phức tạp tính tốn tốn tử tích hợp tri thức đàm phán đưa bàn luận [20] Trong báo Argumentation Framework fo r Merging Stratified B elief Bases" ([19]), q trình tích họfp tri thức tổ chức trị chơi tác tử tham gia dùng kỹ thuật tranh luận dựa tri thức mà chúng trang bị để đạt đông thuận Để điều này, khung làm việc (framework) để tích hợp tri thức tranh luận giới thiệu Trong khung làm việc này, giao thức để tích hợp tri thức tranh luận đề xuất tập tiên đề trực quan họp lý để đặc tả kết tích hợp giới thiệu Các tính chất lơ-gic họ tốn tử tích họp tri thức tranh luận chi bàn luận Đối với nhóm sản phẩm đào tạo, đề tài hồ trợ đào tạo hai thạc sĩ: Thạc sĩ Nguyễn Thị Hồn với đề tài “Một mơ hình kết họp học giám sát bán giảm sát cho toán dự báo khách hàng có nguy rời mạng Vinaphone ” Thạc sĩ Phan Thị Thơm với đề tài “Phân lớp đa nhãn, đa áp dụng quản lý danh tiếng Hai thạc sĩ nhận thạc sĩ ĐH Công nghệ, ĐHQG Hà Nội năm 2015 Đánh giá kết đạt đưọ'c kết luận Đề tài đạt tất yêu cầu mặt nội dung, số lượng chất lượng đăng ký Cụ thể đề tài công bố hai báo kỷ yếu hội nghị quốc gia có uy tín chun ngành (một kỷ yếu hội nghị FAIR 2015 hội nghị @2016), hai báo kỷ yếu hội nghị quốc tế có uy tín, có phản biện thuộc hệ thống IEEE/Scopus (một kỷ yếu hội nghị KES 2014 hội nghị ACIIDS 2016), đóng góp đào tạo hai thạc sĩ trường ĐH Cơng nghệ, ĐHQG Hà Nội Ngồi đề tài cịn có hai báo cáo kỹ thuật báo chờ xét duyệt để đăng kỷ yếu hội nghị quốc tế thuộc hệ thống IEEE/Scopus Tóm tẳt kết (tiếng Việt tiếng Anh) Tiếng Việt: Với mục tiêu nghiên cứu cách tiếp cận cho việc tích hợp tri thức bàng đàm phán tranh luận, đề tài đạt kết sau: tài liệu khảo sát, đánh giá chi tiết kỹ thuật tích hợp tri thức hệ thống đa tác tử có tài liệu tổng quan tích hợp tri thức đàm phán viết Các phương pháp tích họp tri thức hệ thống đa tác tử, sử dụng kỹ thuật đàm phán tranh luận đề xuất Các đánh giá tính hợp lý, độ phức tạp tính tốn phương pháp tích hợp tri thức hệ thống đa tác tử xem xét, đánh giá bàn luận Từ kết này, bốn cơng trình cơng bố, có hai kỷ yếu hội nghị quốc gia chuyên ngành CNTT & TT, hai báo đăng kỷ yếu hội nghị quốc tế có uy tín, có phản biện thuộc hệ thống IEEE/Scopus Đề tài hỗ trợ đào tạo cho hai thạc sĩ CNTT trường ĐH Công nghệ, ĐHQG Hà nội Tiếng Anh: With the objective is to research new approaches for knowledge integration by negotiation and argumentation techniques, the main contributions o f this project are as follows: A literature review o f knowledge integration for multi-agent systems and an overview o f belief merging by negotiation are presented in two technical reports A new approach for knowledge integration in multi-agent systems, using the negotiation and argumentation techniques is proposed The rationality and computational complexity o f this approach are investigated and discussed This project published four conference papers, including two papers on the proceedings o f the national ICT conferences and two papers on the international peer-reviewed conference proceedings in IEEE / Scopus system Two master students are graduated under the support o f this project Tài liệu tham khảo: P z Revesz On the semantics o f arbitration International Journal o f Algebra and Computation, 7:133-160, 1995 J Lin Integration o f weighted knowledge bases Artif Intell., 83:363-378, June 1996 S Konieczny and R p Pérez Merging information under constraints: a logical framework Journal o f Logic and Computation, 12(5):773-808, 2002 S Benferhat, D Dubois, s Kaci, and H Prade Possibilistic merging and distance-based fusion o f propositional information Annals o f Mathematics and Artificial Intelligence, 34:217-252, March 2002 G Qi, w Liu, and D A Bell Merging stratified knowledge bases under constraints In Proceedings o f the 21s' national conference on Artificial intelligence -Volume 1, pages 281 286 AAAI Press, 2006 c Baral, s Kraus, and J Minker Combining multiple knowledge bases IEEE Trans On Knowl And Data Eng., 3:208-220, June 1991 c Baral, s Kraus, J Minker, and V s Subrahmanian Combining knowledge bases consisting o f first order theories In Proceedings o f the 6th International Symposium on Methodologies fo r Intelligent Systems, ISMIS ‘91, pages 92-101, London, UK, 1991 Springer-Verlag R Booth A negotiation-style framework for non-prioritised revision In Proceedings o f the 8th conference on Theoretical aspects o f rationality and knowledge, TARK ‘01, pages 137150, San Francisco, CA, USA, 2001 Morgan Kaufmann Publishers Inc R Booth Social contraction and belief negotiation Inf Fusion, 7:19-34, March 2006 10 D Zhang A logic-based axiomatic model o f bargaining Artif Intell., 174:1307- 1322, November 2010 1 s Konieczny B elief base merging as a game Journal o f Applied Non-Classical Logics, 14(3):275-294, 2004 Levi Subjunctives, dispositions and chances Synthese, 34:423-455, 1977 13 J Nash The bargaining problem Econometrica, 18(2): 155-162, April 1950 14 P.M Dung On the Acceptability o f Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games Artif Intell 77(2): 321-358, 1995 15 T.H Tran, N.T Nguyen, Q.B Vo Axiomatic Characterization o f B elief Merging by Negotiation Multimedia Tools and Applications, DOI: 10.1007/sl 1042-012-1136-7, 2012 16 T.H Tran, Q.B Vo, An Axiomatic Model for Merging Stratified B elief Bases by Negotiation, Lecture Notes in Computer Science 7653, 174-184, 2012 17 Nguyễn Thị Hồng Khánh, Hà Quang Thụy, Trần Trọng Hiếu Mô hình tiên đề cho tích hợp tri thức đàm phản, Kỷ yếu Hội thảo Quốc gia lần thứ XIX "Một sổ vấn đề chọn lọc cùa Công nghệ thông tin Truyền thông" Trang 130-135, 2016 18 Vũ Ngọc Trình, Hà Quang Thụy, Trần Trọng Hiếu, Độ đo Googỉe tích hợp liệu, Kỷ yếu Hội nghị Quốc gia lần thứ Nghiên cứu úng dụng Công Nghệ thông tin (FAIR), Trang 224-236, 2015 19 Trong Hieu Tran, Thi Hong Khanh Nguyen, Quang-Thuy Ha, Ngoe Trinh Vu: Argumentation Framework fo r Merging Stratified B elief Bases ACIIDS (1) 2016: 43-53 20 Trong Hieu Tran, Quoc Bao Vo, Thi Hong Khanh Nguyen: On the B elief Merging by Negotiation KES 2014: 147-155 PHẢN III SẢN PHẨM , CƠNG BĨ VÀ KÉT QUẢ ĐÀO TẠO CỦA ĐẺ TÀI 3.1 Kết nghiên cứu Yêu cầu khoa học hoặc/và tiêu kinh t ế - k ỹ thuật TT Tên sản phẩm Bài đăng chuyên san CNTT & TT, Tạp Đăng ký Đạt 02 02 02 02 thạc sĩ 02 thạc sĩ chí ĐHQGHN Báo cáo đăng kỷ yếu hội nghị quốc tế có uy tín, có phản biện thuộc hệ thống ỈEEE/Scopus Đào tạo 3.2 Hình thức, cấp độ cơng bổ kết TT Sản phẩm Tình trạng Ghi đia • Đánh (Đã in/ chấp nhận cảm ơn sư* giá in/ nộp đơn/ tài trợ chung chấp nhận ĐHQGHN (Đạt, đơn hợp lệ / quy khơng cấp giấy xác nhận đinh • đạt) SHTT/ xác nhận sử dụng sản phẩm) Cơng trình cơng bơ tạp chí khoa học qc tê theo hệ thông ISI/Scopus 1.1 1.2 , 'X F Sách chuyên khảo xuât ký họp đông xuât 2.1 2.2 Đăng ký sở hữu trí tuệ 3.1 3.1 Bài báo qc tê không thuộc hệ thông ISI/Scopus 4.1 4.2 Bài báo tạp chí khoa học ĐHQGHN, tạp chí khoa học c ìuyên ngành quốc gia báo cáo khoa học đăng kỷ yếu hội nghị quốc tế 5.1 Nguyễn Thị Hồng Khánh, Hà Quang Thụy, Đ ã in Cỏ Đạt Đ ã in Có Đạt Đ ã in Cỏ Đạt Đ ã in Cỏ Đạt Trần Trọng Hiếu Mơ hình tiên đề cho tích hợp tri thức đàm phán, Kỷ yếu Hội thảo Quốc gia lần thứ XIX "Một số vấn đề chọn lọc Công nghệ thông tin Truyền thông" @2016: 130-135 5.2 Vũ Ngọc Trình, Hà Quang Thụy, Trần Trọng Hiếu, Độ đo Google tích hợp liệu, Kỷ yếu Hội nghị Quốc gia lần thứ Nghiên cứu ứng dụng Công Nghệ thông tin FAIR 2015: 224-236 5.3 Trong Hieu Tran, Thi Hong Khanh Nguyen, Quang-Thuy Argumentation Ha, Ngoe Framework Trinh fo r Vu: Merging Stratified Belief Bases ACIIDS (1) 2016: 4353 5.4 Trong Hieu Tran, Quoc Bao Vo, Thi Hong Khanh Nguyen: On the B elief Merging by Negotiation KES 2014: 147-155 Báo cáo khoa học kiên nghị, tư vân sách theo đặt hàng đơn vị sử dụng 6.1 6.2 Kêt dự kiên ứng dụng quan hoạch định sác sở ứng dụng KH&CN 7.1 7.2 Tóm tắt hoạt động đào tạo sau đại học tác giả thuyết minh đề cương năm trở lai đầy Thòi gian Họ, tên NCS/học viên CH Tư cách tham gia (HD chính/phụ) Ghi chủ (đã bảo vệ/đang thực hiện) - Thư ký đề tài (nếu có) Họ tên: Trần Trọng Hiếu Ngày, tháng, năm sinh: 04/11/1978 Nam/ Nữ: Nam Học hàm, học vị: Tiến sĩ Chức danh khoa h ọ c : Chức vụ: Giảng viên Điện thoại: Tổ chức : 0945893663 Nhà riêng: Mobile: 0945893663 Fax: E-mail: tranthieu2001@yahoo.com Tên tổ chức cơng tác: Khoa Tốn-Cơ-Tin học, Trường ĐHKHTN, ĐHQG Hà Nội Địa tổ chức : 334 Nguyễn Trãi, Thanh Xuân, Hà Nội, Việt Nam - Tổ chức chủ trì đề tài Tên tổ chức chủ trì đề tài: Trường ĐHKHTN, ĐHQG Hà Nội Điện thoại: F ax : E-mail: Website: http://hus.edu.vn Địa chỉ: 334 Nguyễn Trãi, Thanh Xuân, Hà Nội, Việt Nam Tên tổ chức chủ quản đề tài: ĐHQG Hà Nội - Các tô chức phối họp thực đề tài (nếu có-) Tổ chức : Tên tổ chức chủ quản Điện thoại: F ax: Địa c h ỉ: Tổ chức : Tên tổ chức chủ quản Điện thoại: F ax : Địa c h ỉ: - Các cán thực đề tài (Ghi người có đóng góp khoa học thực nội dung thuộc tổ chức chủ ừì tơ chức phơi hợp tham gia thực đề tài, không 10 người kể chủ nhiệm đề tài) T hòi gian làm việc cho đề tài (Số tháng quy đổi2) Họ tên, hoc hàm hoc vi Tổ chức công tác T cách tham gia (chủ nhiêm đề tài/ủy viên) Nội dung công việc tham gia TS Trần Trọng Hiếu ĐHKHTN, ĐHQG Hà Nội Chủ nhiệm đề tài Thực đề tài 12 TS Võ Quốc Bảo ĐH Swinburne, ú c ủ y viên Thực đề tài ThS Nguyễn Thị Hồng Khánh ĐH Điện lực Việt Nam ủ y viên Thực đề tài • • II MỤCTIÊU, NỘIDUNGVÀSẢNPHẨMDựKIÊN 10 Mục tiêu Đề tài nghiên cứu cách tiếp cận cho việc tích hợp tri thức đàm phán băng tranh luận Các kỹ thuật tích hợp tri thức truyền thống bộc lộ số nhược điểm khong thể vượt qua áp dụng cho hệ thống đa tác tử Cụ thể yêu cầu tác tử tham gia qua trình tích hợp phải cung cấp cách đầy đủ, trung thực tri thức mà chúng có Hơn q tìn h tích hợp thực trọng tài nên kết bị ảnh hưởng đánh giá mang tính chủ quan trọng tài, khó tác tử tham gia chấp nhận Việc tích hợp tri thức sừ dụng kỹ thuật đàm phán hay tranh luận tiếp cận đe khắc phục nhược điểm Các mục tiêu đê tài khảo sát, đánh giá chi tiết kĩ thuật tích hợp tri thức có đề xuất phưomg pháp tích hợp tri thức sử dụng kỹ thuật đàm phán tranh luận, đánh giá tính họrp lý, độ phức tạp tính tốn phương pháp 1 -Nội dung NCKH Nội dung nghiên cứu đề tài gồm có: Nội dung 1: Nghiên cứu tổng quan phương pháp tích hợp tri thức Nội dung 2: Đề xuất phương pháp tích hợp tri thức đàm phán: Nội dung 2.1: Khảo sát mơ hình đàm phán J.Nash - Nội dung 2.2: Đề xuất cách tiếp cận tiên đề cho tiếp cận tích hợp tri thức đàm phán Nội dung 2.3: Xây dựng số mơ hình xây dựng cho tiếp cận Nội dung 2.4: Trình bày kết biểu diễn cách tiếp cận - Nội dung 2.5: Trình bày kết lý thuyết, thực nghiệm đánh giá độ phức tạp tính tốn cách tiếp cận tiên đề Nội dung 3: Đề xuất phương pháp tích hợp tri thức tranh luận: - Nội dung 3.1: Nghiên cứu mơ hình ừanh luận P.M Dung - Nội dung 3.2: Đề xuất cách tiếp cận tiên đề cho tiếp cận tích hợp tri thức tranh luận Nội dung 3.3: Xây dựng sơ mơ hình tranh luận cho tiếp cận tích hợp tri thức Nội dung 3.4: Trình bày kết biểu diễn cách tiếp cận , Một (01) tháng quy đôi tháng làm việc gồm 22 ngày, ngày làm việc gồm tiếng - Nội dung 3.5: Xây dựng công cụ tích hợp tri thức sử dụng kỹthuật đàm phán tranh luận đánh giá độ phức tạp tính tốn mơ hình 12 - Sản phẩm dự kiến - Sản phẩm khoa học: Các kêt đê tài viêt cơng trình khoa học cơng bố ừên tạp chí khoa học chun ngành Tin học, Khoa học Máy tính, Cơng nghệ Thơng tin ngồi nước Dự kiến sau: - 02 đăng ứên chuyên san CNTT & TT, Tạp chí ĐHQGHN - 02 báo cáo đăng kỷ yếu hội nghị quốc tế có uy tín, có phản biện IEEE/Scopus thuộc hệ thống - Sàn phẩm công nghệ/khả ứng dụng thực tiễn: Các mơ hình tích hợp tri thức sử dụng ừong đào tạo đại học, sau đại học sử dụng hệ thống đa tác tử để phân chia tài nguyên, tác vụ, , ừong hệ thống chuyên gia nhằm tăng cường độ xác cho hệ thống chẩn đoán bệnh, hay hệ thống dự báo thời tiết, kinh tế, - Sản phẩm đào tạo: + Số thạc sĩ đào tạo: 01 người 13 - T ong quan tình hình nghiên cửu nước đề xuất nghiên cứu đề tài 13.1 Đánh giá tổng quan tình hình nghiên cứu lý luận thực tiễn thuộc lĩnh vực Đề tài Ngồi nước: Tích hợp tri thức lĩnh vực nghiên cứu quan trọng ừong khoa học máy tính, vấn đề tích hợp tri thức phát biểu sau: Cho tập hợp sở tri thức (knowledge bases), sở tri thức mâu thuăn với nhau, làm để thu sở tri thức chung từ sở tri thức cho? Các giải pháp cho vấn đề có liên quan đến nhiều lĩnh vực nghiên cứu khác nhau, chẳng hạn Cơ sở liệu nhiều sở liệu cần phải sáp nhập, Tìm kiếm thơng tin có nhiều nguồn thơng tin cần phải tổng hợp, liên quan đến Hệ thống đa tác tử mà tác từ với hiểu biết khác cần phải đạt đồng thuận ừong việc phân chia tài nguyên hay phối hợp hoạt động Nhiều phương pháp tiếp cận đề xuất, ví dụ tích hợp tri thức với hoạt động trọng tài p.z Revesz [1], tích hợp tri thức với sở tri thức có gắn trọng số J.Lin [2], tích hợp tri thức với ràng buộc tồn vẹn s Konieczny [3], tích hợp tri thức Possibilistic Logic s Benferhat [4], tích hợp tri thức VỚI sở tri thức phân lớp L Qi [5] Nhìn chung, phương pháp tiến so với phương pháp kết hợp tri thức [6, 7] chúng khơng chi xem xét kết hợp tất sở tri thức mà quan tâm đến số nguồn tạo tri thức Tuy nhiên, ừong phương pháp tiếp cận này, tác tử cung cấp nguồn tin khơng xét đến ừong q trình tích hop Tất tác tử giả thiết cung cấp sở tri thức mà chúng nắm giữ cách rõ ràng đầy đủ Quá trình sáp nhập thực trung gian hịa giải hồn tồn độc lập cơng tâm Hai giả thiết thường khó hầu hết hệ thống đa tác t Ngoài phương pháp truyền thống nêu ừên, tích họp tri thức thơng qua đàm phán xem xét [8, 9, 10, 11] Phương pháp xuất phát từ ý tưởng tự nhiên mang tính người giải xung đột, nhóm người có số ý kiến trái ngược hay mâu thuẫn nhau, cho họ thảo luận đàm phán với để đạt đồng thuận Cách tiếp cận giới thiệu R Booth [8, 9] q trình tích hợp gồm hai giai đoạn dựa luật đồng Levy [12] Trong cơng trình này, tác giả đề xuất mơ hình chung cho việc tích hợp tri thức thông qua đàm phán Nghiên cửu tiếp tục s Koniecny việc lớp tốn tử tích hợp dựa vào kỹ thuật đàm phán [10] Tuy nhiên, kết không đủ mạnh việc buộc tác tử phải nhượng cách hợp tác, tức số tác tử sử dụng số thủ thuật để bảo vệ tri thức chúng kết sáp nhập Bên cạnh đó, muốn giữ ngun tắc thay đổi có thể, thừa hưởng từ nghiên cứu duyệt hiểu biết [8, 9], nên vi phạm đến nguyên tắc công bằng, thuộc tính quan trọng tích hợp tri thức Một cơng trình khác liên quan đến phương pháp giới thiệu D Zhang [10] cách xem xét vấn đề ứò chơi đàm phán ừên tinh thần tích hợp tri thức Cơng trình dựa ứên ý tưởng việc xếp thông tin sờ tri thức vào lớp ưu tiên từ thấp đến cao sau loại bỏ lớp thấp sở tri thức phần lại khơng cịn mâu thuẫn tình bất đồng phát sinh (tri thức tác tò bị loại bỏ hồn tồn) Cách tiếp cận làm số thơng tin hữu ích ừong trường hợp thông tin không gây mâu thuẫn, chúng lại nằm số lóp có độ ưu tiên thấp mà cần phải loại bỏ Tình trạng tương tự diễn tích hợp tri thức thực sở tri thức có phân lớp [5] Hơn nữa, tất cơng trình u cầu tác tử phải bộc lộ tất tri thức chúng, yêu cầu khó đáp ứng hệ thống đa tác tử Theo quan điểm đàm phán, tích hợp tri thức q trình mà ừong số tác tử thực số nhượng sờ tri thức chúng để đạt đồng thuận Các tác tử giả thiêt trung thực, có lý trí hợp tác, tức tác tử cung cấp sở tri thức thực mình, mong muốn trì nhiều tốt tri thức chúng châp nhận tât tri thức từ tác tử khác miễn chúng không mâu thuẫn với tri thức Tuy nhiên, giả thiết tính vụ lợi tác tị phổ biến hệ thống đa tác tử , tác từ ln găng đê đạt nhiều lợi ích (giữ gìn ừi thức riêng chúng) tốt Vì vậy, hai câu hỏi phát sinh làm để tác tử thực nhượng vừa đủ để đạt đồng thuận làm để có kết tích hợp cơng cho tất tác t Những câu ừả lời cho câu hỏi mục tiêu đề tài Xa nữa, tất tiếp cận nói trên, tác tà tham gia q trình tích hợp tri thức giả thiết có tính hợp tác, tức chúng đạt đồng thuận thông qua việc đánh đổi hy sinh lợi ích lấy hy sinh lợi ích khác từ tác tử khác Tuy nhiên, ừong nhiều tình tích hcrp tri thức thực tế, số tác tử cỏ thể gìn giữ nhiều tri thức riêng chúng hom tác từ khác chúng có lý lẽ, luận vững để bảo vệ tri thức mình, tức chúng có lập luận để hỗ trợ tri thức chúng phản bác lại lập luận đối phương nhằm bác bỏ tri thức Điều gợi ý cho ý tưởng kỹ thuật cho việc tích hợp tri thức, tích hợp tri thức tranh luận Trong nước : Xử lý tri thức nói chung tích hợp tri thức nói riêng lĩnh vực nghiên cứu mẻ Việt Nam Các nghiên cứu tích hợp tri thức ừong nước bước đầu ứng dụng số lĩnh vực đời sống, xã hội mà tiêu biểu hệ thống dự báo kinh tê triển khai Bộ Kế hoạch —Đầu tư Các kết học thuật bắt đầu xuất từ kết nghiên cứu số nghiên cứu sinh nước vài tiến sĩ học nước ngồi Nhóm tập trung chủ yếu số trường đại học thành phố Hồ Chí Minh Tiêu biểu tiến sĩ Dương Trọng Hải nghiên cứu tích hợp ontology cho hệ sở liệu lớn, nghiên cửu sinh Trương Hải Bằng tích hợp hệ thống mờ Do mơ hình nghiên cứu đề tài xây dựng ừên hệ thống logic nên nội dung nghiên cứu kết nghiên cứu tương đối độc lập với kết nghiên cứu nhóm khác nước 13.2 Định hướng nội dung cần nghiên cứu Đề tài, luận giải cần thiết, tính cấp bách, ý nghĩa lý luận thực tiễn N ộ i dung cần nghiên cứu đề tài: Đề tài gồm hai phần tích hợp tri thức đàm phán tích hợp tri thức ừanh luận Nội dung chi tiết phần trình bày sau: A Tích hợp tri thức đàm phán: - Khảo sát mơ hình đàm phán J Nash đề xuất (năm 1950) kinh tế học [13] nghiên cứu liên quan đến mơ hình ừong Trí tuệ nhân tạo nói chung ừong hệ thống đa tác tử nói riêng - Đê xt mơ hình tiên đề cho tiếp cận tích hợp tri thức bàng đàm phán định nghĩa tập tính chât đáng mong đợi mà kêt tích hợp nên có khảo sát mơi quan hệ tính chất vừa nêu mơ hình - Biểu diễn mơ hình xây dựng cho cách tiép cận cách định nghĩa lớp tốn tử tích hợp thuật toán heuristic để thực toán tử - Đưa kêt biểu diễn để phản ánh mối quan hệ hai mơ hình kể ứên - Nghiên cứu kết lý thuyết tiến hành thực nghiệm để đánh giá độ phức tạp tính tốn cách tiếp cận B Tích hợp tri thức ừanh luận - Nghiên cứu mơ hình ừanh luận P.M Dung đề xuất (năm 1995) [14] trong Trí tuệ nhân tạo ứng dụng hệ thống đa tác tử - Đê xuất mơ hình tiên đề cho tiếp cận tích hợp tri thức tranh luận ừong định nghĩa tập tính chât đáng mong đợi mà kêt tích hợp nên có khảo sát mối quan hệ tính chất vừa nêu mơ hình - Xây dựng mơ hình chiến lược cho cách tiếp cận cách định nghĩa giao thức cho việc tranh luận chiến lược tranh luận ừên giao thức định nghĩa - Xây dựng hệ thống tích hợp tri thức cho cách tiếp cận đánh giá hiệu hoạt động qua thực nghiệm Sự cần thiết, tỉnh cấp bách, ỷ nghĩa lý luận thực tiễn: Các ket nghiên cứu đề tài ứng dụng rộng rãi hệ hỗ trợ định, hệ thống thương mại điện tử tự động, hệ thống web hướng ngữ nghĩa, Đây hệ thống phục vụ cho nhieu mặt đời sống xã hội an ninh quốc phòng - v ề mặt lý luận, kết nghiên cứu đề tài cung cấp mơ hình lý thuyết, kểt đánh giá vê tính hợp lý, độ phức tạp tính tốn cho cộng đồng nghiên cứu phát triển - Về mặt thực tiễn, mơ hình tích hợp tri thức đề xuất sử dụng đào tạo đại học, sau đại học; sử dụng hệ thống đa tác tử để phân chia tài nguyên, tác vụ, , hệ thống chuyên gia nhằm tăng cường độ xác cho hệ thống chẩn đoán bệnh, hệ thống dự báo thời tiết, dự báo kinh tế, hay hệ thống chống biến đổi khí hậu phịng chống thiên ta i, 14 - Liệt kê danh mục cơng trình nghiên cứu, tài liệu có liên quan đến đề tài trích dẫn đánh giá tổng quan P z Revesz On the semantics of arbitration International Journal o f Algebra and Computation, 7:133-160, 1995 J Lin Integration of weighted knowledge bases Artif Intell., 83:363-378, June 1996 S Konieczny and R p Pérez Merging information under consừaints: a logical framework Journal o f Logic and Computation, 12(5):773-808,2002 S Benferhat, D Dubois, s Kaci, and H Prade Possibilistic merging and distance-based fusion o f prepositional information Annals o f Mathematics and Artificial Intelligence 34:217-252, March 2002 G Qi, w Liu, and D A Bell Merging sừatiíied knowledge bases under consừaints In Proceedings o f the 21st national conference on Artificial intelligence -Volume 1, pages 281-286 AAAI Press, 2006 c Baral, s Kraus, and J Minker Combining multiple knowledge bases IEEE Trans On Knowl And Data Eng., 3:208-220, June 1991 c Baral, s Kraus, J Minker, and V s Subrahmanian Combining knowledge bases consisting o f first order theories In Proceedings o f the Ố/A International Symposium on Methodologies for Intelligent Systems, ISMIS ‘91, pages 92-101, London, UK, 1991 Springer-Verlag R Booth A negotiation-style framework for non-prioritised revision In Proceedings o f the 8th conference on Theoretical aspects o f rationality and knowledge, TARK ‘01, pages 137150, San Francisco, CA, USA, 2001 Morgan Kaufmann Publishers Inc R Booth Social contraction and belief negotiation Inf Fusion, 7:19-34, March 2006 10 D Zhang A logic-based axiomatic model o f bargaining Artif Intell., 174:1307- 1322, November 2010 11 s Konieczny Belief base merging as a game Journal o f Applied Non-Classical Logics, 14(3):275-294, 2004 Levi Subjunctives, dispositions and chances Synthese, 34:423-455, 1977 13 J Nash The bargaining problem Econometrỉca, 18(2): 155-162, April 1950 14 P.M Dung On the Acceptability o f Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games Artif Intell 77(2): 321-358,1995 15.T.H Tran, N.T Nguyen, Q.B Vo Axiomatic Characterization o f Belief Merging by Negotiation Multimedia Tools and Applications, DOI: 10.1007/s 11042-012-1136-7, 2012 16 T.H Tran, Q.B Vo, An Axiomatic Model for Merging Sừatiíied Belief Bases by Negotiation, Lecture Notes in Computer Science 7653,174-184, 2012 15 - Cách tiếp cận, phương pháp nghiên cứu, kỹ thuật sử dụng Cách tiếp cận : Các vân đê nghiên cứu tiêp cận từ hai hướng tiếp cận tiên đề tiếp cận xây dựng Trong tiêp cận tiên đê, tập tiên đề định nghĩa để đặc tả tính chẩt đáng mong đợi kệt tích hợp tri thức phân tích mối quan hệ tiên đề Trong tiếp cận xây dựng, mơ hình tích hợp đề xuất, giao thức làm việc chiến lươc tích hơp tri thức bàn luận Phương pháp nghiên cứu, kỹ thuật sử dụng: - Sử dụng lý thuyết đàm phán lý thuyết tranh luận để mơ hình hóa tốn tích hop tri thức - Xây dựng mơ hình tiên đề, mơ hình xây dựng mơ hình chiến lược cho cách tiếp cận đồng thời khảo sát mối quan hệ mo hình Mơ thử nghiệmvà đánh giá - Tỉnh mới, tính đơc đáo, tính sáng tạo: Tích hợp tri thức băng đàm phán tranh luận hướng tiếp cận Đây cách áp dụng nghiên cứu nhiều ừong lĩnh vực khoa học xã hội trị kinh tế, triết học Đề tài đưa ý tưởng vào ừong tiếp cận lính vực trí tuệ nhan tạo 16 - Khả sử dụng sở vật chất, trang thiết bị Cơ sở vật chất cùa Khoa Toán-Cơ-Tin học, Trường ĐHKHTN, ĐHQG Hà Nội 17 - Phương án phối hợp vói tổ chức nghiên cứu sở sản xuất nước (nếu có) Ợrình bày rõ phương án phổi hợp: tên tổ chức phổi hợp tham gia thực đề tài nội dung công việc tham gia đê tài, kể sở sản xuất người sử dụng kết rtghien cứu; khả đỏng góp vê nhân lực, tài chỉnh, sở hạ tầng-nếu cố) - Tóm tắt kế hoạch lộ trình thực ( LOGFRAME) STT Mục tiêu Sản phẩm Các nội dung, hoạt động chủ yếu Điều kiên thưc hiên • • # Dự kiến kinh phí (Tr.đ) Cá nhân, tổ chức thực hiện* Thời gian (bắt đầu, kết thúc) Hoàn thiện đề cương chi tiết Đề cương chi tiết H oàn thiện đề cương chi tiết 2.0 TS.Trần Trọng Hiếu 04/2014 Thu thập viết tổng quan tài liệu Tài liệu tổng quan N ộ i dung 3.0 TS.Trần Trọng Hiếu, 04/2014 TS.Võ Quốc Bảo, ThS Nguyễn Thị Hồng Khánh Tích hợp tri thức hệ thống đa tác tò kỷ yếu hội nghị có số IEEE/Scopus, Tích hợp tri thức đàm phản (Nội dung 2): báo chuyên san CNTT&TT - Khảo sát mơ hình đàm phán J Nash đề xuất 10.0 TS Trần Trọng Hiếu, 05/2014, 06/2014 (Nội dung 2.1) - Đê xuất mơ hình tiên đề cho tiếp cận tích hợp tri thức bàng đàm phán 10.0 (Nội dung 2.2) - Xây dựng số mô hình xây dựng cho cách tiếp cận TS Võ Quốc Bảo, 06/2014, 07/2014 ThS 27.5 Nguyễn Thị Hồng Khánh, 08/2014, 10/2014 (Nội dung 2.3) HVCH - Đưa kết biểu diễn để phản ánh mối quan hệ mơ hình (Nội dung 2.4) 30.0 11/2014, 01/2015 - Trình bày kết lý thuyết thực nghiệm để đánh giá độ phức tạp tính toán cách tiếp cận 02/2015, 03/2015 10.0 (Nội dung 2.5) Các seminar tích hợp tri thức đàm phán kỷ yếu hội nghị có số IEEE/Scopus, Tích hợp tri thức tranh luận (Nội dung 3): _ báo ừên chuyên san CNTT&TT, tạp chí ĐHQGHN - Nghiên cứu mơ hình ừanh luận P.M Dung đề xuất 7.5 10.0 04/2015, 05/2015 (Nội dung 3.1) _ - Đề xuất mơ hình tiên đề cho tiếp cận tích hợp tri thức tranh luận 10.0 (Nội dung 3.2) _ -Xây dựng mơ hình chiến lược cho cách tiếp cận 20.0 TS Võ Quốc Bảo, ThS (Nội dung 3.3) _ - Đưa kết biểu diễn để phản ánh mối quan hệ mơ hình TS Trần Trọng Hiếu, 20.0 Nguyễn Thị Hồng Khánh, 05/2015, 06/2015 06/2015, 08/2015 09/2015, 11/2015 HVCH (Nội dung 3.4) _ - Xây dựng hệ thống tích hợp tri thức cho cách tiếp cận đánh giá hiệu hoạt động hệ thống (Nội dung 3.5) 24.5 12/2015, 02/2016 Các seminar tích hợp tri thức tranh luận Hoàn thiện nghiệm thu đề tài Báo cáo tổng hợp tóm tắt đề tài 7.5 Viết báo cáo nghiệm thu: TS Trần Trọng Hiếu - Viết báo cáo tổng hợp báo cáo tóm tắt 5.0 - Nghiệm thu đề tài 3.0 03/2016, 04/2016 Ghi cá nhăn cổ tên Mục 10 nghiên cứu sinh, học viên cao học tham gia III H ÌN H TH Ứ C S Ả N P H Â M KHOA H Ọ C CỦA Đ Ê TÀI 20 Cấu trúc dự kiến báo cáo kết đề tài - Các báo đăng chuyên san CNTT & TT ữong kỷ yếu hội nghi chuyên ngành 21 Bài báo, báo cáo, sách chuyên khảo: Số báo đăng tạp chí quốc gia: 02 Số báo đăng tạp chí quốc tế: Số báo cáo khoa học, hội nghị khoa học nước: Số báo cáo khoa học, hội nghị khoa học quốc tế: 02 Sách chuyến khảo sản phẩm khác dự kiến công bố: STT Tên sản phẩm ( dự kién) Nội dung, yêu cầu khoa học cần đạt Bài báo tạp chí chuyên ngành nước Bài báo tạp chí ĐHQG Hà Nội Kỷ yếu hội nghị quốc tế chuyên ngành Ghi chủ 22 Phương phá^; Tiêu chuẩn; Quy phạm; Phần mềm máy tính; Bản vẽ thiết kế; Quy trình cơng nghệ; Sơ đo, đồ; số liệu, Cơ sở liệu; Báo cáo phân tích; Tài liệu dự bao (phường pháp, quy trình, mơ hình, ); Đề án, qui hoạch; Luận chứng kinh tế-kỹ thuật và’các 'sản pham khác Tên sản phẩm ( dự k iến ) STT Yêu cầu khoa học Mức chất lượng cần đat 23 Sản phẩm cơng nghệ Mâu {model, maket); Sản phâm (ỉà hàng hố, cỏ thể tiêu thụ thị trường); Vật liệu* Thiết bị, máy móc; Dây chuyền cơng nghệ loại khác; STT Tên sản phẩm cu thể tiêu chất lượng chủ yếu sản phẩm Đơn vi đo • Mức chất lượng cần đạt Mẩu tương tự (theo tiêu chuẩn mói nhất) Trong nước Thê giới Dự kiến số lượng/quy mô sản phẩm tạo 24 Sản phẩm dự kiến đăng ký bảo hộ quyền sở hữu công nghiệp, giải pháp hữu ích, sáng chế 25 Sản phẩm đào tạo STT Cấp đào tạo Số lượng r - Tiên sỹ - Thạc sỹ - Cử nhân \ 26 Các sản phẩm khác ( Ghi rõ : Hợp đồng, chỉnh sách ) IV K H Ả N Ả N G ỬNG D Ụ N G VÀ TÁC ĐỘNG CỦA K É T QUẢ NGHIÊN c u 27 - Khả ứng dụng kết nghiên cứu 27.1 Khả ứng dụng lĩnh vực đào tạo, nghiên cứu khoa học & cơng nghệ, sách, quản lý Có nhiều ứng dụng lĩnh vực đào tạo nghiên cứu khoa học 27.2 Khả ứng dụng thực tiễn (phát triển lánh tế -XH, sản xuất hàng hóa ) 27.3 Khả liên doanh liên kêt với doanh nghiệp trình nghiên cứu 28 - Phạm vi địa (dự kiến) ứng dụng kết đề tài - Đào tạo đại học sau đại học cho ngành Khoa học máy tính thơng tin, Cơng nghê thơng tin ĐHQG Hà Nội - Tăng cường độ xác hệ thống dự báo thời tiết, kinh t ế , số quan đơn vị ừong nước 29 - Tác động lọi ích mang lại kết nghiên cứu 29.1 Đổi với lĩnh vực KH&CN có liên quan (Nêu dự kiên đóng góp vào lĩnh vực khoa học công nghệ nước quốc tế đóng góp mới, mở hướng nghiên cứu thông qua công trĩnh công bo ngoai nước) 29.2 Đối với kinh tế - xã hội bảo vệ môi trường (Nêu tác động dự kiến kết nghiên cứu đổi với xã hộỉ.đỏng góp cho việc xây dựng chủ trương, chỉnh sách, pháp luật có tác động làm chuyển biến nhận thức xã hội, phát trỉến kinh tế xã hội bảo vệ môi trường) 29.3 Đ ổi với tổ chức chủ trì sở ứng dụng kết nghiên cứu ( Đ ô i với đơn vị tổ chức thuộc ĐHQG ỷ t i : nâng cao trình độ, lực cản khoa học cán giảng dạy, cán quản l ý ; tăng cường thiết bị ) Nâng cao lực nghiên cửu chất lượng đào tạo Máy tính khoa học thơng tin cho trường ĐHKHTN, ĐHQG Hà Nội 29.4 Kinh p h í nguồn lực khác mà đề tài đem lại V KINH PHÍ THỰC HIỆN ĐỀ TÀI - Tổng kinh p h í thực đề tà i: 200 ( triệu đồng) - Phân bổ kỉnh phí: Đon vị tỉnh: Triệu đồng TT Nội dung Kỉnh phí Năm thứ 1 Xây dựng đề cương chi tiết 2.0 Thu thập viết tổng quan tài liệu 3.0 ; // Thu thập tư liệu (mua, thuê) Dịch tài liệu tham khảo (số ừang X đơn giá) Năm thứ i // Viêt tông quan tư liệu Điều tra, khảo sát, thí nghiêm, thu thâp số liêu, nghiên cứu 77.5 74.5 15.0 15.0 0 Hội thảo khoa học, viết báo cáo tổng kết, nghiệm thu 7.5 15.5 Hội thảo 7.5 7.5 Chi phí tàu xe, cơng tác phí Chi phí th mướn Chi phí hoạt động chun mơn Chi phí cho đào tạo (Chỉ ph ỉ thuê mướn NCS, học viên cao học Phù hợp với mục 25) (Đã tính Mục Mục 6) Thuê, mua sắm trang thiết bị, nguyên vật liệu Thuê trang thiết bị Mua trang thiết bị Mua nguyên vật liệu, cây, Viêt báo cáo tông kêt 5.0 Nghiệm thu 3.0 Chi khác Mua văn phòng phâm 10.0 10.0 1.0 1.0 In ân, photocopy 1.0 1.0 Quản lý phí 8.0 8.0 100.0 100.0 Tống kinh phí Ngày 01 tháng 04 năm 2014 Ngày 02 tháng 04 năm 2014 đơn vị Người viết thuyết minh đề cương OHÓ Hiệu TRUỎNO Trần Trọng Hiếu o G S ĨS cM u m * PHÊ DUYỆT CỦA GIÁM ĐỐ C ĐHQGHN ĨL.GtÁM ĐỐC c, ' ' /7 ' J /w tia * ... tích hợp tri thức hệ thống đa tác tử có tài liệu tổng quan tích hợp tri thức đàm phán viết Các phương pháp tích họp tri thức hệ thống đa tác tử, sử dụng kỹ thuật đàm phán tranh luận đề xuất Các. .. [18], tích hợp tri thức với sở tri thức có gắn trọng số Lin [14], tích hợp tri thức với ràng buộc tồn vẹn Konieczny [11], tích hợp tri thức lơgic khả B enferhat [3], tích hợp tri thức với sỏ tri thức. .. nhàm bác bỏ tri thức Điều gợi ý cho ý tưởng kỹ thuật cho việc tích hợp tri thức, tích họp tri thức bàng tranh luận B Tích hợp tri thức Việt Nam Xử lý tri thức nói chung tích hợp tri thức nói riêng