Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả
Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHẸHÒ VĂN LÂMBIÉU DIẺN TRI THỨCLUẬN VÀN THẠC SỸNgười hướng dẫn: Nguyễn Thanh ThủyHà nội - 2005-1 -Mục lục Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả cLòi cảm 0*11.......................Error!Bookmark not defined.Những thuât ngữ vict tat..................................3Mó’ đầu...................................................5Chirong 1Tồng quan về logic mô tả1. 1 Nguôn gôc cùa logic mô tà...........................................71.2Biêu diễn Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả tri thức và lâp luân......................................91.3Sư hrưc lie lĩ sử nghiên cửu về logic mô tà.........................111.4Các lĩnh vực ứLuận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả
ng dụng logic mó tá...................................121.4.1I Inh vực cóng nghệ phần mềm...................................131.4.2Lình vưc xử lý ngônĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHẸHÒ VĂN LÂMBIÉU DIẺN TRI THỨCLUẬN VÀN THẠC SỸNgười hướng dẫn: Nguyễn Thanh ThủyHà nội - 2005-1 -Mục lục Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả ....................................15Chirưng 2Bien (liễn tri thức và lập luận trong logic mô tả2.1Biêu diễn tri thức..................................................162.1.1Cơ SỜ tri thức.................................................lố2.1.2.1Cú pháp và ngừ nghía cua ngôn ngù .................... Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả ......182 1 2.2 Ho ngôn ngừ AL..............................................202.1.2.3 Ngôn ngtrmô ta môt bò phân cùa logic ú từ...................222.Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả
1.3Thuât ngữ (Terminologies)......................................232 13.1 Tiên dề trong TBox............................................232 1 3 .2 TiĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHẸHÒ VĂN LÂMBIÉU DIẺN TRI THỨCLUẬN VÀN THẠC SỸNgười hướng dẫn: Nguyễn Thanh ThủyHà nội - 2005-1 -Mục lục Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả 282.1.4.2rập cá thè trong ngôn ngữ mô tá.............................302.2l.âp luân..........................................................302.2.1Tác vu lâp luân (suy điền) cho TBox............................31 Luận văn thạc sĩ biểu diễn tri thức và lập luận trong logic mô tả ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG NGHẸHÒ VĂN LÂMBIÉU DIẺN TRI THỨCLUẬN VÀN THẠC SỸNgười hướng dẫn: Nguyễn Thanh ThủyHà nội - 2005-1 -Mục lụcGọi ngay
Chat zalo
Facebook