Link tải luận văn miễn phí cho ae
Trình bày một cách tổng quan về logic mô tả: Sự ra đời, thành tựu và lịch sử nghiên cứu cũng như ứng dụng trong những ngành khoa học khác của logic mô tả. Giới thiệu cách biểu diễn tri thức và lập luận trong logic mô tả nhằm làm sáng tỏ chức năng biểu diễn tri thức, lập luận trên cơ sở tri thức trong những ngôn ngữ logic mô tả điển hình. Trình bày ứng dụng của logic mô tả trong lĩnh vực Web ngữ nghĩa, việc cài đặt thử nghiệm các thuật toán lập luận trong logic mô tả để giải quyết bài toán bao hàm, bài toán thỏa trong logic mô tả
Luận văn ThS. Công nghệ thông tin -- Trường Đại học công nghệ. Đại học Quốc gia Hà Nội, 2005
Công việc biểu diễn tri thức và lập luận trên cơ sở tri thức trong các hệ
thống xử lý thông tin giữ một vai trò quan trọng cho việc thành công của hệ
thống. Xuất phát từ sự quan trọng đó, nhiều tổ chức nghiên cứu khoa học đã
bỏ công nghiên cứu, tìm kiếm những công cụ để biểu diễn tri thức một cách
thuận lợi nhất và logic mô tả là một trong những công cụ để biểu diễn tri thức
được các tổ chức nghiên cứu khoa học sử dụng đến.
Logic mô tả (Description logics - DL) là thuật ngữ được sử dụng gần
đây để biểu đạt những hình thức biểu diễn tri thức trong một lĩnh vực nào đó.
Trước kia, thuật ngữ này được dùng để chỉ ngôn ngữ biểu diễn tri thức, ngôn
ngữ khái niệm hay ngôn ngữ biểu diễn cơ sở tri thức KL-ONE. DL cho phép
định nghĩa những khái niệm liên quan đến lĩnh vực, sử dụng những khái niệm
này để chỉ ra những thuộc tính của những đối tượng, những cá thể trong lĩnh
vực đó. Bản thân tên gọi DL đã thể hiện một trong những thuộc tính của ngôn
ngữ này là mô tả. Về mặt ngữ nghĩa, có thể xem chúng là ngôn ngữ con của
logic vị từ. Một đặc trưng khác là nhấn mạnh vào phần lập luận và xem việc
lập luận như một dịch vụ trung tâm. Lập luận là các cơ chế cho phép suy luận
được tri thức mới và giúp đưa ra những quyết định từ tri thức đã có trong cơ
sở tri thức. DL cung cấp nhiều cách suy luận được dùng rộng rãi trong những
hệ thống xử lý thông tin thông minh, ngoài ra còn được sử dụng để xây dựng
và hiểu thế giới, phân loại những khái niệm, những cá thể.
Hiện nay, logic mô tả đã và đang được ứng dụng trong nhiều lĩnh vực
khác nhau như: Xử lý ngôn ngữ tự nhiên, công nghệ phần mềm, cơ sở dữ liệu,
y học, Web ngữ nghĩa ...
Cộng đồng nghiên cứu về logic mô tả trên thế giới hiện nay có hơn 100
nhóm nghiên cứu đang hoạt động và nhiều tổ chức khoa học khác cũng đang rất quan tâm đến logic mô tả cũng như các ứng dụng của chúng trong công
nghiệp.
Trong nghiên cứu về logic mô tả, nội dung luận văn gồm 4 chương :
Chương 1: Trình bày một cách tổng quan về logic mô tả. Trong phần
này cung cấp một cái nhìn tổng quan về logic mô tả: Sự ra đời của logic mô
tả, thành tựu và lịch sử nghiên cứu về logic mô tả, cũng như ứng dụng trong
những ngành khoa học khác của logic mô tả.
Chương 2: Trình bày cách biểu diễn tri thức và lập luận trong logic mô
tả. Đây là chương trọng tâm của luận văn nhằm làm sáng tỏ chức năng biểu
diễn tri thức, lập luận trên cơ sở tri thức trong những ngôn ngữ logic mô tả
điễn hình. Cùng với việc biểu diễn tri thức, ta sẽ sử dụng những dịch vụ lập
luận được hỗ trợ cho logic mô tả để đưa ra những tri thức mới hay đưa ra
những quyết định. Việc sử dụng hai thuật toán lập luận (thuật toán bao hàm
và thuật toán thoả) được giới thiệu trong phần này là đề tài nghiên cứu được
quan tâm trong logic mô tả.
Chương 3: Trình bày về một lĩnh vực đang được quan tâm của logic
mô tả là dùng logic mô tả cho việc phát triển web ngữ nghĩa. Web ngữ nghĩa
giúp cho việc thiết kế và tìm kiếm thông tin trên web hiệu quả hơn. Với mục
đích như thế, các logic mô tả mở rộng đã trở thành một ngôn ngữ nền tảng
trong việc mô tả những trang web, cùng với những thuật toán lập luận của
logic mô tả đã giúp việc tìm kiếm các thông tin trên web thuận lợi hơn.
Chương này sẽ đề cập đến ý nghĩa của web ngữ nghĩa và các ngôn ngữ mở
rộng từ logic mô tả phục vụ cho web ngữ nghĩa.
Chương 4: Trình bày việc cài đặt thử nghiệm các thuật toán lập luận
trong logic mô tả. Đây là những thuật toán đã được sử dụng để lập luận trong các hệ thống xử lý thông tin. Chương trình thử nghiệm thuật toán lập luận
được cài đặt để giải quyết bài toán bao hàm, bài toán thoả trong logic mô tả.
Chương 1
Tổng quan về logic mô tả
Chương này đề cập đến những động cơ thúc đẩy sự phát triển của logic
mô tả như là một hình thức cho việc biểu diễn tri thức cũng như một số ý
tưởng cơ bản quan trọng cho nền tảng của những hệ thống đã được tạo ra
trong logic mô tả truyền thống.
Trong chương này, đầu tiên đề cập đến nguồn gốc của logic mô tả, sau
đó sẽ đề cập một cách tổng quát các đặc tính của logic mô tả, các giai đoạn
nghiên cứu về logic mô tả và cuối cùng chúng ta điểm qua các lĩnh vực ứng
dụng của logic mô tả.
1.1 Nguồn gốc của logic mô tả
Logic mô tả bắt nguồn từ mạng ngữ nghĩa (semantic networks) và
frame, biểu diễn những khái niệm và lập luận trong chúng có quan hệ với
nhau. Cấu trúc của một khái niệm được mô tả bởi một ngôn ngữ (được gọi là
ngôn ngữ khái niệm) và những phép toán logic.
Với cách tiếp cận của logic kinh điển, việc biểu diễn tri thức thường
thông qua các biến vị từ, những phép toán vị từ và lập luận xác định hệ quả
logic. Theo cách tiếp cận của phi logic, dựa vào những giao diện đồ hoạ, tri
thức được biểu diễn thông qua các cấu trúc dữ liệu đặc biệt và lập luận đựơc
hoàn thành bằng những thủ tục có các thao tác giống nhau. Trong số đó có hai
ngôn ngữ sử dụng nhiều nhất đó là mạng ngữ nghĩa và Frame. Mặt dù có
hPg6Pgv5rsrLScv
