Biểu diễn tri thức và lập luận trong logic mô tả /
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 tron...
Lưu vào:
| Tác giả chính: | |
|---|---|
| Đồng tác giả: | |
| Định dạng: | Sách |
| Ngôn ngữ: | English Vietnamese |
| Xuất bản : |
H. :
ĐHCN,
2005
|
| Chủ đề: | |
| Thẻ: |
Thêm từ khóa
Không có thẻ nào, Hãy là người đầu tiên đánh dấu biểu ghi này!
|
| LEADER | 01504nam a2200253 4500 | ||
|---|---|---|---|
| 001 | dlc000060617 | ||
| 005 | 20150529105054.0 | ||
| 008 | 101207 000 0 eng d | ||
| 035 | |a VNU050069946 | ||
| 041 | |a vie | ||
| 044 | |a VN | ||
| 082 | |a 005 | ||
| 090 | |a 005 |b HO-L 2005 | ||
| 100 | 1 | |a Hồ, Văn Lâm | |
| 245 | 1 | 0 | |a Biểu diễn tri thức và lập luận trong logic mô tả / |c Hồ Văn Lâm ; Nghd. : PGS.TS. Nguyễn Thanh Thuỷ |
| 260 | |a H. : |b ĐHCN, |c 2005 | ||
| 300 | |a 85 tr. + |e Đĩa CD-Rom | ||
| 520 | |a 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ả. | ||
| 653 | |a Phần mềm | ||
| 653 | |a Web | ||
| 700 | 1 | |a Nguyễn, Thanh Thuỷ, |e Người hướng dẫn | |
| 942 | |c LV | ||
| 999 | |c 1777 |d 1777 | ||
| 952 | |0 0 |1 0 |2 DDC |4 0 |6 005_000000000000000 |7 0 |9 15681 |a DL |b DL |c DL_LV |d 2011-05-19 |g 60000.00 |o 005 |p LV001445 |r 2014-07-12 |w 2014-07-12 |y LV | ||