Trung tâm thông tin khoa học và CÔng nghệ CỘng hòa xã HỘi chủ nghĩa việt nam

SỞ KHOA HỌC VÀ CÔNG NGHỆ THÀNH PHỐ HỒ CHÍ MINH TRUNG TÂM THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ	CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Đ ộc Lập - Tự Do - Hạnh Phúc
Số : 155 /TĐTT-TTTT V/v: Thẩm định thông tin đề tài nghiên cứu	Tp. Hồ Chí Minh, ngày 09 tháng11 năm 2006

Ngoài các tài liệu đã nêu trong phiếu khảo sát thông tin, còn có các tài liệu, nghiên cứu liên quan đến từng khía cạnh của nội dung đề tài, cụ thể:

1. 
   NƯỚC NGOÀI:
   
   1. 
      Sáng chế:
      

• 
  Semantic system for integrating software components: Hệ thống ngữ nghĩa tích hợp các thành phần của phần mềm. Tác giả Sabbouh Marwan (US), 14/9/2006.
  
• 
  Automated text analysis: Tự động phân tích văn bản. Tác giả Rzevski George (GB); Skobelev Petr (RU), 28/9/2005.
  

1. 
   Sách:
   

• 
  Search system and method based on multiple ontologies – Phương thức và hệ thống tìm kiếm dựa trên các ontology. Tác giả: Baclawski Kenneth P.
  
• 
  Intelligent Agent Technology: Công nghệ thông minh. Tác giả, Ning Zhong (Editor), Jiming Liu (Editor), Setsuo Ohsuga (Editor), Jeffrey Bradshaw (Editor), nhà xuất bản World Scientific Publishing Company, 15/01/2002.
  
• 
  Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents: Ứng dụng khoa học dữ liệu thông minh và học tự động. Tác giả Kwong S. Leung, Lai-wan Chan, and Helen Meng, nhà xuất bản Springer,12/01 2001.
  
• 
  Semantic Web Technologies: Trends and Research in Ontology-based Systems: Nghiên cứu và phương hướng trong hệ thống ontology cơ bản . Tác giả John Davies, Rudi Studer, and Paul Warren, nhà xuất bản John Wiley & Sons, 11/07/2006.
  
• 
  Automated Agent Ontology Creation for Distributed Databases: Sự chế tạo Ontology tự động áp dụng cho cơ sở dữ liệu được phân bố. Tác giả Austin A. Bartolo, nhà xuất bản Storming Media, 2004.
  
• 
  Model Driven Architecture and Ontology Development: Sự phát triển các Ontology và mô hình định hướng kiến trúc. Tác giả Dragan Gaaevic, Dragan Djuric, Vladan Devedic, and Bran Selic, nhà xuất bản Springer, 11/6/2006.
  
• 
  Intelligent Data Engineering and Automated Learning- IDEAL 2003: Khoa học số liệu thông minh và học tự động. Tác giả Jiming Liu, Yiuming Cheung, and Hujun Yin, nhà xuất bản Springer; 17/9/2003.
  
• 
  Advanced Mathematics: Precalculus With Discrete Mathematics and Data Analysis: Toán cao cấp: toán rời rạc và phân tích dữ liệu. Tác giả Richard G. Brown. Nhà xuất bản Mcdougal Littell/Houghton Mifflin, 1997.
  
• 
  Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Revised Lectures: Bài giảng cao cấp trên máy học. Tác giả Shahar Mendelson, Alexander J. Smola. nhà xuất bản Springer, 10/4/2003.
  

1. 
   Bài báo:
   

• 
  Ontology Ranking based on the Analysis of Concept Structures - Xếp hạng Ontology dựa trên phân tích cấu trúc khái niệm. Tác giả: Alani, H. and Brewster, C. Ontology Ranking based on the Analysis of Concept Structures. Nguồn: Proceedings of Third International Conference on Knowledge Capture (K-Cap), Banff, Alberta, Canada, 2005.
  

1. 
   Phần mềm:
   

• 
  Dự án xây dựng hệ thống tìm kiếm thông minh dựa trên tri thức khái niệm sử dụng công nghệ web ngữ nghĩa (sematics web). Tác giả: Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker. Nguồn: INRIA
  
• 
  Giải pháp kỹ thuật xây dựng một máy tìm kiếm thông minh sử dụng các công nghệ biểu diễn và tìm kiếm tri thức (ontology-based search engine) của đại học Bologna (University of Bologna). Tài liệu gốc: “Towards an ontology-guided search engine” , tác giả Mauro Gaspari và Davide Guidi.
  
• 
  ONTOSEARCH2 dự án của ĐH Aberdeen Computer Science Department để hỗ trợ sử dụng lại dễ dàng các ontology trên Semantic Web bằng cách cho phép tìm kiếm theo cấu trúc cơ sở dữ liệu tri thức và mạng ngữ nghĩa khác
  
• 
  Gingsen : máy tìm kiếm thông minh dựa trên cơ sở biểu diễn và phân lọai tri thức. Tác giả: Abraham Bernstein, Esther Kaufmann, Christian Kaiser, Christoph Kiefer, Department of Informatics, University of Zurich, Switzerland.
  

2. 
   TRONG NƯỚC:
   
   1. 
      Luận án:
      

• 
  Phát triển các mô hình biểu diễn tri thức để giải tự động một số lớp bài toán: Chuyên ngành: Đảm bảo toán học cho máy tính và hệ thống tính toán. Tác giả Lê Hoài Bắc - Trường Đại học Khoa học Tự nhiên T.P. Hồ Chí Minh; 1999.
  
• 
  Xây dựng hệ tính toán thông minh xây dựng & phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động : Chuyên ngành : Bảo đảm toán học cho máy tính và các hệ thống tính toán. Tác giả Đỗ Văn Nhơn - Trường Đại học Khoa học Tự nhiên T.P. Hồ Chí Minh ; 2001
  
• 
  Lập trình tính toán hình thức trong phương pháp phần tử hữu hạn giải một số bài toán cơ học môi trường liên tục. Tác giả Nguyễn Đình Hiển, trường Đại học khoa học tự nhiên Tp. Hồ Chí Minh, 26/6/2004.
  
• 
  Nghiên cứu và phát triển một số thuật giải mô hình ứng dụng khai thác dữ liệu (data mining). Tác giả Đỗ Phúc, trường Đại học khoa học tự nhiên Tp. Hồ Chí Minh, 27/01/2003.
  
• 
  Phát triển một số mô hình và thuật toán xử lý tự động biểu mẫu viết tay cùng ảnh chân dung (ứng dụng trong quản lý xuất nhập cảnh). Tác giả Nguyễn Hồng Sơn, trường Đại học khoa học tự nhiên Tp. Hồ Chí Minh, 14/6/2006.
  

1. 
   Đề tài nghiên cứu:
   

• 
  Nghiên cứu truy vấn thông tin văn bản dựa trên tri thức khái niệm và ứng dụng xây dựng công cụ tìm kiếm thông minh trong kho tài nguyên tin học tiếng Việt" do Trường Đại học Công Nghệ Thông Tin- Đại học Quốc gia TPHCM chủ trì và TS. Nguyễn Tuấn Đăng là chủ nhiệm đề tài.
  

Xin thông báo kết quả thẩm định của chúng tôi.

Trân trọng./.

• 
  Như trên;
  
• 
  Lưu, VT, ĐBTT.
  

Đề tài: " Nghiên cứu phát triển các Ontology cho biểu diễn tri thức và ứng dụng xây dựng phần mềm hỗ trợ học toán cao cấp "

Từ khóa: hệ giải toán cao cấp, toán cao cấp, tính toán thông minh, xây dựng hệ tính toán thông minh, biểu diễn tri thức, automated ontology evolution, system that supports studying knowledge, advanced mathematics.

Nội dung:

• 
  Thống kê phân loại kiến thức cần được biểu diễn và xây dựng cơ sở tri thức.
  
• 
  Nghiên cứu xây dựng các mô hình tri thức thích hợp cho từng phần và cho toàn bộ kiến thức cho hệ tri thức ứng dụng thực tế.
  
• 
  Nghiên cứu xây dựng những thuật giải mô phỏng hành vi tư duy giải quyết vấn đề của người để thể hiện được trên máy tính và triển khai xuống mức vật lý dựa trên các ontology và các mô hình tri thức.
  
• 
  Nghiên cứu các ngôn ngữ đặc tả trên máy tính và xây dựng ngôn ngữ đặc tả tri thức, đặc tả câu hỏi và đặc tả vấn đề cho hệ thống.
  

1. 
   Thư viện Khoa Học Tổng Hợp :
   
   1. 
      Cơ sở dữ liệu luận án:
      

• 
  Phát triển các mô hình biểu diễn tri thức để giải tự động một số lớp bài toán: Chuyên ngành: Đảm bảo toán học cho máy tính và hệ thống tính toán. Tác giả Lê Hoài Bắc - Trường Đại học Khoa học Tự nhiên T.P. Hồ Chí Minh; 1999.
  

• 
  Xây dựng hệ tính toán thông minh xây dựng & phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động : Chuyên ngành : Bảo đảm toán học cho máy tính và các hệ thống tính toán. Tác giả Đỗ Văn Nhơn . - Trường Đại học Khoa học Tự nhiên T.P. Hồ Chí Minh ; 2001
  

2. 
   www.google.com :
   

• 
  Lập trình tính toán hình thức trong phương pháp phần tử hữu hạn giải một số bài toán cơ học môi trường liên tục. Tác giả Nguyễn Đình Hiển, trường Đại học khoa học tự nhiên Tp. Hồ Chí Minh, 26/6/2004.
  

• 
  Nghiên cứu và phát triển một số thuật giải mô hình ứng dụng khai thác dữ liệu (data mining). Tác giả Đỗ Phúc, trường Đại học khoa học tự nhiên Tp. Hồ Chí Minh, 27/01/2003.
  

• 
  Phát triển một số mô hình và thuật toán xử lý tự động biểu mẫu viết tay cùng ảnh chân dung (ứng dụng trong quản lý xuất nhập cảnh). Tác giả Nguyễn Hồng Sơn, trường Đại học khoa học tự nhiên Tp. Hồ Chí Minh, 14/6/2006.
  

• 
  Ontology Ranking based on the Analysis of Concept Structures - Xếp hạng Ontology dựa trên phân tích cấu trúc khái niệm. Tác giả: Alani, H. and Brewster, C. (2005) Ontology Ranking based on the Analysis of Concept Structures. Nguồn: Proceedings of Third International Conference on Knowledge Capture (K-Cap), Banff, Alberta, Canada.
  

1. 
   Phần mềm:
   

• 
  Dự án xây dựng hệ thống tìm kiếm thông minh dựa trên tri thức khái niệm sử dụng công nghệ web ngữ nghĩa (sematics web). Tác giả: Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker. Nguồn: INRIA
  
• 
  Giải pháp kỹ thuật xây dựng một máy tìm kiếm thông minh sử dụng các công nghệ biểu diễn và tìm kiếm tri thức (ontology-based search engine) của đại học Bologna (University of Bologna). Tài liệu gốc : “Towards an ontology-guided search engine” , tác giả Mauro Gaspari và Davide Guidi.
  
• 
  ONTOSEARCH2 dự án của ĐH Aberdeen Computer Science Department để hỗ trợ sử dụng lại dễ dàng các ontology trên Semantic Web bằng cách cho phép tìm kiếm theo cấu trúc cơ sở dữ liệu tri thức và mạng ngữ nghĩa khác
  
• 
  Gingsen : máy tìm kiếm thông minh dựa trên cơ sở biểu diễn và phân lọai tri thức. Tác giả: Abraham Bernstein, Esther Kaufmann, Christian Kaiser, Christoph Kiefer, Department of Informatics, University of Zurich, Switzerland.
  

3. 
   www.amazon.com :
   

• 
  9810247060: Intelligent Agent Technology: Công nghệ thông minh. Tác giả, Ning Zhong (Editor), Jiming Liu (Editor), Setsuo Ohsuga (Editor), Jeffrey Bradshaw (Editor), nhà xuất bản World Scientific Publishing Company, 15/01/2002.
  

• 
  3540414509: Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents: Ứng dụng khoa học dữ liệu thông minh và học tự động. Tác giả Kwong S. Leung, Lai-wan Chan, and Helen Meng, nhà xuất bản Springer,12/01 2001.
  

• 
  0470025964: Semantic Web Technologies: Trends and Research in Ontology-based Systems: Nghiên cứu và phương hướng trong hệ thống ontology cơ bản . Tác giả John Davies, Rudi Studer, and Paul Warren, nhà xuất bản John Wiley & Sons, 11/07/2006.
  

• 
  1423515994: Automated Agent Ontology Creation for Distributed Databases: Sự chế tạo Ontology tự động áp dụng cho cơ sở dữ liệu được phân bố. Tác giả Austin A. Bartolo, nhà xuất bản Storming Media, 2004.
  

• 
  3540321802: Model Driven Architecture and Ontology Development: Sự phát triển các Ontology và mô hình định hướng kiến trúc. Tác giả Dragan Gaaevic, Dragan Djuric, Vladan Deved~ic, and Bran Selic, nhà xuất bản Springer, 11/6/2006.
  

• 
  354040550X: Intelligent Data Engineering and Automated Learning- IDEAL 2003: Khoa học số liệu thông minh và học tự động. Tác giả Jiming Liu, Yiuming Cheung, and Hujun Yin, nhà xuất bản Springer; 17/9/2003.
  

• 
  0395771145: Advanced Mathematics: Precalculus With Discrete Mathematics and Data Analysis: Toán cao cấp: toán rời rạc và phân tích dữ liệu. Tác giả Richard G. Brown. Nhà xuất bản Mcdougal Littell/Houghton Mifflin, 1997.
  

• 
  0821828991: The Mathematical Education of Teachers: Giáo dục toán học dùng cho giáo viên. Tác giả Ams, Conference Board Of The Mathematical Sci. nhà xuất bản American Mathematical Society, 15/8/2001.
  

• 
  6424973. Search system and method based on multiple ontologies – Phương thức và hệ thống tìm kiếm dựa trên các ontology. Tác giả: Baclawski Kenneth P.
  
• 
  3540005293 : Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Revised Lectures: Bài giảng cao cấp trên máy học. Tác giả Shahar Mendelson, Alexander J. Smola. nhà xuất bản springer, 10/4/2003.
  

4. 
   ep.espacenet.com:
   

• 
  US2006206883: Semantic system for integrating software components: Hệ thống ngữ nghĩa tích hợp các thành phần của phần mềm. Tác giả Sabbouh Marwan (US), 14/9/2006.
  

• 
  GB2412451: Automated text analysis: Tự động phân tích văn bản. Tác giả Rzevski George (GB); Skobelev Petr (RU), 28/9/2005.
  

5. 
   TRUNG TÂM THÔNG TIN KHOA HỌC & CÔNG NGHỆ TP.HCM :
   
   1. 
      Đề tài đã thẩm định :
      

• 
  Nghiên cứu truy vấn thông tin văn bản dựa trên tri thức khái niệm và ứng dụng xây dựng công cụ tìm kiếm thông minh trong kho tài nguyên tin học tiếng Việt" do Trường Đại học Công Nghệ Thông Tin- Đại học Quốc gia TPHCM chủ trì và TS. Nguyễn Tuấn Đăng là chủ nhiệm đề tài.