Tải bản đầy đủ (.pdf) (2 trang)

những đóng góp mới của luận án

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (308.66 KB, 2 trang )

<span class='text_page_counter'>(1)</span><div class='page_container' data-page=1>

<b>NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN </b>


<b>I. THÔNG TIN CHUNG VỀ LUẬN ÁN </b>


<b>Họ và tên nghiên cứu sinh: Trần Thanh Lương </b>


<b>Tên đề tài luận án: Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả </b>
<b>Chuyên ngành: Khoa học Máy tính </b> <b>Mã số: 62.48.01.01 </b>


Tập thể hướng dẫn:


<b>1. PGS. TSKH. Nguyễn Anh Linh, </b>


<i>Khoa Toán – Cơ – Tin học, Trường Đại học Tổng hợp Vác-xa-va, Ba Lan </i>
<b>2. TS. Hồng Thị Lan Giao, </b>


<i>Khoa Cơng nghệ Thông tin, Trường Đại học Khoa học, Đại học Huế. </i>
<b>Cơ sở đào tạo: Trường Đại học Khoa học, Đại học Huế </b>


<b>II. NHỮNG ĐÓNG GÓP MỚI CỦA LUẬN ÁN </b>


 Xây dựng ngôn ngữ logic mô tả <sub> </sub> dựa trên ngôn ngữ <sub> </sub> với tập các đặc
trưng mở rộng gồm , , , , , . Ngồi ra, ngơn ngữ được xây dựng cịn cho
phép sử dụng các thuộc tính (bao gồm thuộc tính rời rạc và liên tục) như là các phần tử
cơ bản của ngôn ngữ và cho phép sử dụng các vai trị dữ liệu nhằm mơ tả các hệ thống
thông tin phù hợp với thực tế hơn.


 Xây dựng mô phỏng hai chiều trên lớp các logic mở rộng đang nghiên cứu. Mở
rộng các định nghĩa, định lý, bổ đề về mô phỏng hai chiều trong logic mô tả đã đề cập và
chứng minh các định lý, bổ đề này.


 Chúng tôi đã phát biểu và chứng minh một định lý quan trọng về bộ chọn cơ bản


để làm mịn phân hoạch. Thơng qua tính đầy đủ của bộ chọn cơ bản, chúng tôi đã phát
triển thuật toán học khái niệm cho hệ thống thông tin trong logic mô tả sử dụng mơ
phỏng hai chiều. Ngồi các bộ chọn cơ bản và bộ chọn đơn giản, luận án còn đề xuất sử
dụng các bộ chọn mở rộng cho quá trình làm mịn phân hoạch. Độ đo gia lượng thơng tin
và tính đơn giản của khái niệm cũng được sử dụng trong quá trình làm mịn phân hoạch.


 <i><b>Chúng tôi đã đề xuất các thuật toán BBCL, dual-BBCL, BBCL2 (sử dụng mô </b></i>
phỏng hai chiều) để giải quyết các bài toán học khái niệm cho cơ sở tri thức trong logic
mô tả với các ngữ cảnh khác nhau.


<i>Thừa Thiên Huế, ngày 15 tháng 10 năm 2015 </i>


ĐẠI DIỆN TẬP THỂ HƯỚNG DẪN NGHIÊN CỨU SINH


</div>
<span class='text_page_counter'>(2)</span><div class='page_container' data-page=2>

<b>THE NEW CONTRIBUTIONS OF THE DOCTORAL THESIS </b>



<b>I. GENERAL INFORMATION OF THE THESIS </b>
<b>Full name: Tran Thanh Luong </b>


<b>Topic: Concept learning for description logic-based information systems </b>
<b>Major: Computer Science </b> <b>Code: 62.48.01.01 </b>


Supervisors:


<b>1. Assoc. Prof. Dr. Sci. Nguyen Anh Linh, </b>


<i>Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland </i>
<b>2. Dr. Hoang Thi Lan Giao, </b>


<i>Faculty of Information Technology, College of Sciences, Hue University, Vietnam </i>


<b>Institution: College of Sciences, Hue University, Vietnam </b>


<b>II. THE NEW CONTRIBUTIONS OF THE THESIS </b>


 We construct the language <sub> </sub> based on <sub> </sub> with the set of DL-features,
including: , , , , , . We take attributes (discrete or numeric attributes) as
basic elements of the language and data roles to describe for practical information
systems.


 We construct bisimulation in the considered description logics. We also extend
definitions, theorems, lemmas for bisimulation in these description logics and prove these
theorems and lemmas.


 We formulate and prove an important theorem on basic selectors for granulating
partitions. We develop a bisimulation-based concept learning algorithm for information
systems in description logics. Apart from basic selectors and simple selectors, we
propose to use extended selectors for the granulation process. The information gain
measure and the simplicity of concepts are also used in the granulation process.


<i><b> We propose Algorithms BBCL, dual-BBCL, BBCL2 (using bisimulation) to solve </b></i>
the problems of concept learning for knowledge bases in description logics using
different settings.


<i>Thua Thien Hue, October 15th, 2015 </i>
REPRESENTATIVE OF THE SUPERVISORS PhD. STUDENT


</div>

<!--links-->

×