... li u có c u trúc d ng XML 2. 4 Các bư c xây d ng Ontology 2. 5 Xây d ng Ontology cho ng d ng 2. 5.1 Đ tv nñ 2. 5 .2 Thi t k Ontology 2. 5 .2. 1 Mô t l p 2. 5 .2. 22. 5 .2. 3 2. 5 .2. 4 Xác đ nh Mơ t thu c tính ... khacphucKTCMep(r2)… 2. 5 .2. 5 Xây d ng câu truy v n 2. 6 Tìm hi u v h th ng h i ñáp t ñ ng Q&A 2. 6.1 Khái ni m 2. 6 .2 Phân lo i h Q&A 2. 6 .2. 1 Phân lo i theo mi n ng d ng (domain) 2. 6 .2. 2Phân lo i theo ... tác đào t o Năm Năm Năm Năm 20 12 2013 20 14 20 15 20 20 100 150 20 0 25 0 300 700 Yêu c u xây d ng h th ng tr giúp Năm 20 11 Trên ñ i h c Năm Đ i h c, cao ñ ng 3.000 3.500 4 .20 0 4.800 5.800 11.300 Trung...
... hay ĐÀOTẠONGHỀ HÀN CƠNGNGHỆ CAO 2. 1 2. 1.1 Tìm hiểu trithức Khái niệm trithức phương tiện khác 2. 1.3 Quản lý trithức2. 1.4 Biểu diễn trithứcTrithức nhận thức hiểu biết việc, vật hay 2. 1.4.1 ... quan hệ hay liệu có cấu trúc dạng XML 2. 4 Các bước xây dựng Ontology 2. 5 Xây dựng Ontology cho ứng dụng 2. 5.1 Đặt vấn ñề 2. 5 .2 Thiết kế Ontology 2. 5 .2. 1 Mô tả lớp 2. 5 .2. 22. 5 .2. 3 2. 5 .2. 4 Xác định ... tạo Năm Năm Năm Năm Năm Năm 20 11 20 12 2013 20 14 20 15 20 20 100 150 20 0 25 0 300 700 Đại học, cao ñẳng 3.000 3.500 4 .20 0 4.800 5.800 11.300 Trung cấp, CNKT 5.430 6.300 7 .25 0 8.900 10.650 30.000 Bên...
... liệu (data diagram) Sơ đồ hoạt động nhận liệu vào, liệu điều khiển, quy trình xử lý cho liệu Sơ đồ liệu nhận vào hoạt động tác nhân điều khiển, cho hoạt động sử dụng : Dữ liệu điều khiển Dữ liệu ... điển) nghiên cứu Đạihọc Tổng hợp Namur METSI (Pháp) (Bỉ) Michael Jackson Cty Michael Jackson Ltd (Anh) Sema-Matra (Pháp) Nhiều công ty Arthur Andersen (Mỹ) Arthur Andersen Đạihọc Tổng hợp Paris ... xử lý Bảng thống kê sau tỷ lệ phần trăm trung bình cho mức : Số TT Các giai đoạn Dữ liệuPhân tích trạng Mơ hình ý niệm liệu Hợp thức hố Mơ hình logic liệu Mơ hình vật lý liệu Xử lý Mơ hình ý...
... dụng 2. 1.3 Kế toán khách hàng Dự án 1 .2 Kế toánAp dụng 1 .2. 1 phân tích Dự án 2.2 Kế tốnAp dụng 1 .2. 2 quản lý Ap dụng 2. 2.1 Ap dụng 2.2 .2 Phân hệ Quản lý nhân tiền lương phân chia thành dự án : ... Quản lý tài kế tốn phân chia thành dự án : Kế toánAp dụng 1.1.1 tổng hợp Ap dụng 1.1 .2 Kế toán cung cấp (nguồn hàng) Ap dụng 2. 1.1 Ap dụng 2. 1 .2 Ap dụng 2. 1.3 Kế toán khách hàng Dự án 1 .2 Kế toánAp ... hình thức phi hình thức Ví dụ nhà máy bia-nước Đà nẵng, dòng vật chất loại chai nhà máy thuỷ tinh Hoà khánh cung cấp, ta gặp dòng thơng tin sau : Khơng thức : trao đổi điện thoại miệng Chính thức...
... GiàĐơnVị SLBáoĐộng SLCó, SLDựTrữ 63 Ví dụ : Danh sách liệu sơ cấp thu lượm từ XN DanaFood : Stt 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 Dữ liệu Giải thích DSốNăm-1 DSốTháng NgàyĐặtHg NgàyCóHg ... điển liệu : STT Tên liệu Trong : STT Dữ liệu Loại Loại Mô tả kiểu liệuCôngthức Số thứ tự liệu Diễn giải liệu liệt kê bảng liệu sơ cấp, liệt kê tên liệu theo thứ tự ABC để dễ tìm kiếm TT liệu ... MãBĐ có liệu hỗn hợp mã tỉnh mã huy n ghép lại II .2. 2.Thanh lọc liệu Khi xây dựng từ điển liệu, cần phải phân tích liệu thành liệu sơ cấp theo quan hệ liệu − tên gọi liệu Sự không phù hợp liệu thể...
... bảng hai chiều sau : 113 Tháng Khách hàng Khách hàng 1 024 Khách hàng 1134 Khách hàng 1145 Giêng 12 543 000 467 000 15 687 000 Hai 654 000 785 000 13 23 2 000 Ba 19 23 1 000 11 9 42 000 20 980 000 ... vụ sinh viên Tin học Các tác phẩm (sách, tàiliệu ) thuộc nhiều chủ đề khác (ngơn ngữ lập trình, hệ điều hành, sở liệu, ) Đương nhiên, chủ đề có nhiều tác phẩm Ta có mơ hình liệu kiểu BẢNG thiết ... hợp hơn, cần trả lời câu hỏi sau : cần liệu cần ghép liệu để định danh cách chắn giai đoạn CSDL ? Có hai câu trả lời cho câu hỏi 125 Câu trả lời thứ có tính lý thuyết, dễ hiểu thực : ta thấy...
... SốPhòng 19 SốTàiKhoản 20 SốTiềnĐặtTrc 21 TênGĐoạn 22 TênKH 23 TênKiểu 24 TênNgânHàng 25 TênNPTrách 26 ThờiGian 1 1 1 1 1 1 1 1 1 1 1 1 135 II .2. 3.Quy tắc hợp thức hoá mơ hình ý niệm liệu a) Quy ... trung số môn học cho trường thành viên Đạihọc Đà nẵng, hàng năm, Ban Đàotạo CTCT yêu cầu cán giảng dạy đến Đạihọc Đà nẵng chấm thi phải điền vào phiếu sau : ĐẠIHỌC ĐÀ NẴNG Ban Đàotạo CTCT Họ ... mơ hình liệu II .2. Hợp thức hố mơ hình ý niệm liệuSau thành lập từ điển liệu ma trận PTH, vấn đề áp dụng quy tắc hợp thức hố mơ hình ý niệm liệu xây dựng II .2. 1.Từ điển liệu Từ điển liệu cho...
... 42 III I I.1 I .2 I.3 I.4 I.5 II II.1 II .2 II .2. 1 II .2. 2 II .2. 3 II.3 II.3.1 II.3 .2 II.3.3 II.3.4 II.3.5 III III.1 III .2 III.3 CHƯƠNG I I.1 I.1.1 I.1 .2 I.1.3 I.1.4 I.1.5 I .2 I.3 II II.1 II .2 II .2. 1 ... ma trận phụ thuộc hàm để hợp thức hoá cho trường hợp vừa nêu Chuyển mơ hình liệu cấu trúc liệu FoxPro 1 62 Thực tập tốt nghiệp a Mô tả Tại trường Đại học, Khoa Côngnghệ Thông tin (CNTT) tổ chức ... I.1.4 I.1.5 I .2 I.3 II II.1 II .2 II .2. 1 II .2. 2 II .2. 3 II .2. 4 II.3 II.4 II.4.1 II.4 .2 PHƯƠNG PHÁP PHỏNG VấN (INTERVIEW) 42 Nguyên lý phương pháp 42 Phân tích trạng 43...
... IV .2 c bi u di 4) b i h ng sau : tư ng n P1 = point(1, 1) P2 = (2, 3) P2 = point (2, 3) S = seg(P1 ,2 P2) = seg(point(1, 1), point (2, 3)) (4, point(6, 4), point(7, 1)) T = triangle(point(4, 2) , ... n sau : triangle = triangle point(1, 1) = X A = point(4, Y) point (2, 3) = point (2, Z) M i trình so kh p tích c c (positive), n u t t c trình so kh p b tr tích c c M 23 u v ngơn ng Prolog triangle ... triangle point A point triangle X point Y point Z Hình IV.5 K t qu so kh p : triangle(point(1, 1), A, point (2, 3)))= triangle(X, point(4, Y), point (2, Z))) S ràng bu c nh n c sau : X = point(1, 1)...
... I .2. 2 I .2. 3 I.3 I.3.1 I.3 .2 II II.1 II .2 II.3 II.3.1 II.3 .2 II.4 II.5 II.5.1 II.5 .2 II.5.3 II.5.4 II.5.5 III III.1 III .2 III .2. 1 III .2. 2 III .2. 3 III.3 III.3.1 III.3 .2 III.3.3 III.3.4 III.3.5 ... 16 III .2. 3 S d ng bi n Prolog 18 IV KI U D LI U C U TRÚC C A PROLOG 20 IV.1 nh nghĩa ki u c u trúc c a Prolog 20 IV .2 So sánh h p nh t h ng 23 CHƯƠNG I II II.1 II .2 II.3 ... III.3 .2 III.3.3 M t s ví d v danh sách 109 S p x p ph n t c a danh sách 109 Tính dài c a m t danh sách 109 T o sinh s t nhiên 111 CHƯƠNG I I.1 I .2 I .2. 1 I .2. 2 I .2. 3 I.3...
... walking(P1, P2), % di chuy n t P1 state(P2, onthefloor, G, H) M nh ây có r t nhi u nghĩa : n P2 47 Ng nghĩa c a chương trình Prolog Di chuy n ã th c hi n « i t P1 n P2» • Con kh sàn nhà trư c sau di chuy ... onthefloor, P1, H), pushing(P1, P2), % y h p t P1 n P2 state(P2, onthefloor, P2, H)) displacement( state(P1, onthefloor, G, H), walking(P1, P2), % di chuy n t P1 n P2 state(P2, onthefloor, G, H)) pushing(tothewindow, ... trư c di chuy n, M di chuy n ã th c hi n, state2 tr ng thái sau di chuy n ng tác «n m l y qu chu i» v i i u ki n u c n thi t c nh nghĩa b i m nh có n i dung : sau di chuy n, kh ã l y c qu chu...
... (X, Y), anc2 (Y, Z), anc2(X , Z) :parent (X, Z) parent (tom, Y’) anc2(Y’, sue) Y’ = bill anc2(bill, sue) parent (bill, Y’’) anc2 (Y’’, sue) parent (bill, sue) thành công Y” = ann anc2(ann, sue) ... trình s có b n bi n th (=1 2 2) mà c b n u có nghĩa khai báo Ta nh n c sau : (1) o th t m nh , (2) o th t ích cho m i s p t th t m nh Hình dư i ây mơ t b n th t c anc1, anc2, anc3, anc4 : % Th t ... lư t sau : ?- anc1(tom, sue) -> Yes ?- anc2(tom, sue) -> Yes ?- anc3(tom, sue) -> Yes ?- anc4(tom, sue) ERR 21 1 Not enough local stack th hai 54 L p trình lơgic Prolog anc2(tom, sue) anc2(X,...
... Y) sau ây, câu tr l i vô h n : ?- egal(X, Y) X = _G235+0 Y = _G235 ; X = 0+_G235 Y = _G235 ; X = _G299+s(0) Y = s(_G299) ; X = 0+s(_G3 02) Y = s(_G3 02) ; 81 82 L p trình lơgic Prolog X = _G299+s(s(0)) ... Thành công n u Term1 chu n c a h ng Term1 @>= Term2 Thành công n u ho c hai h ng b ng both ho c Term1 ng sau Term2 theo th t chu n c a h ng ng sau Term2 theo th t compare(?Order, H ng1, H ng2) Ki ... fib(1, 1) % fib1 = fib(N, F) :% fibn +2 = fibn+1 + fibn N > 1, N1 is N - 1, fib(N1, F1), N2 is N - 2, fib(N2, F2), F is F1 + F2 ?- fib (20 , F) F = 10946 Yes ?- fib (21 , F) ERROR: Out of local stack...
... Prolog tr l i câu h i sau : ?- [1 ,2, 3] = [1|X] ?- [1 ,2, 3] = [1 ,2| X] 1 12 L p trình lơgic Prolog ??????- [1 | [2, 3]] = [1 ,2, X] [1 | [2, 3,4]] = [1 ,2, X] [1 | [2, 3,4]] = [1 ,2| X] b(o,n,j,o,u,r) = ... takeout(3,[1 ,2, 3],[1 ,2] ) Yes ?- takeout(X,[1 ,2, 3],L) X = L = [2, 3] ; X = L = [1, 3] ; X = L = [1, 2] ; No ?- takeout(4,L,[1 ,2, 3]) L = L = L = L = No [4, [1, [1, [1, 1, 4, 2, 2, 2, 2, 4, 3, 3] 3] 3] 4] ; ; ; ; ... ho t ng sau : ?- subset2([4,3], [2, 3,5,4]) Yes Vi t chương trình Prolog l y ph n t t m t danh sách Chương trình có th chèn ph n t vào m t danh sách ho t ng sau : ?- takeout(3,[1 ,2, 3],[1 ,2] ) Yes...
... TÁC GI GIÁO TRÌNH “L P TRÌNH LƠGIC” Thơng tin v tác gi : + H tên : PhanHuyKhánh + Quê quán : Ngh An + Cơ quan công tác : Khoa Công ngh Thông tin, Trư ng i h c Bách khoa, i h c N ng + Email: khanhph@vnn.vn, ... phép th a cho Y Mu n v y, th c hi n hư ng d n sau : S d ng phép ph nh not( Term1 = Term2) N u quan h Term1 = Term2 c tho mãn, ó, not( Term1 = Term2) s th t b i, phép th bi n không x y Bài toán ... mywrite( end_of_file) mywrite( X) :write( X), write( '.'), nl ích sau cho phép côpy t t p ngu n f1.txt vào t p ích f2.txt : ?- tell('f2.txt'), see('f1.txt'), copie, seen, told Yes Trong th t c copie...