Nội dung chi tiết: Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
ĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnTRANH LUẬNChuyên ngành: Hộ thống thông tinMà số:9480104.01LUẬN ẤN TIÉN Sĩ CÔNG NGHE I HÔNG TINNGƯỜI HƯỚNG DÀN KHOA HỌC:1.PGS.TS. Đồ VĂN THÀNH2.TS. TRẦN TRỌNG HIẾUHÀ NỘI - 2022LỜI CAM ĐOANTôi xin cam đoan ỉttận án “Nghiên cừu tích hợp trì thức trong Logic khá năng dựa trên kỳ thuật Đàm phán và Tranh Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnluận là công trình nghiên cừu của riêng lủi. Các kểt qua dược trinh bày trong luận án là hoãn toàn trung thực và chưa từng được công bo h ong bat kỳ m
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
ộ! còng trình nào khác.Tôi đà trích dan đầy đù các tài liệu tham kháo, công trinh nghiên cứu liên quan ở trong nước và quốc tế. Ngoại trừ các lài liệuĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnống Thòng tin. Khoa (’ông nghệ Thông tin. Trường Đại học ('ông nghệ. Dại học Ọitổc gia Hà Nội.Nghiên cứu sinhLê Thị Thanh LưuiLỜI CẢM ƠNThời gian học nghiên cứu sinh và thực hiện luận án tại Bộ môn Các Hệ thống thòng tin - Khoa Còng nghệ thông tin - Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận dưới sự hướng dần khoa học cúa PGS. TS. Đồ Văn Thành và TS. Trần Trọng Iliểu là khoáng thời gian vô cùng quý báu và ý nghĩa đối với tòi.Trước tiên tò
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
i xin bày tó lòng tri ân vô hạn sâu sắc đến Thầy PGS. TS Đồ Vãn Thành vã TS. Trằn Trọng Hiếu, những người Thầy dà dưa tôi tiếp cận. khuyến khích, truyĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnh công trong lình vực nghiên cứu cua minh. Sự nghiêm khắc. nghiêm rúc trong nghiên cửu khoa học cũng với sự dộng viên và chi báo cua các Thầy dà giúp tỏi có nhiều dộng lực vượt qua các giai đoạn nghiên cứu khó khăn, đô ngày hôm nay lồi có the hoàn thành được nhùng nghiên cứu trong bán luận án này cù Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnng nhu trướng thành và lự lin hem Iren con đường nghiên cứu khoa học của minh.Tôi dặc biệt gưi lõi tri ân chân thành tới PGS. TS. Ilà Quang Thụy. PGS.
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
TS Phan Xuân Hiếu. PGS. TS Nguyền Ngọc Ilõa các Thầy dà luôn tận tâm. dộng viên, khuyến khích và chi dần giúp lôi vượt qua nhiều Irô ngại Irong quá tĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnluận án. I hây đà cho chúng lôi một môi trường làm vice hiệu quá nhân vãn lại Phòng thí nghiệm Khoa học dừ liệu và còng nghệ Iri thức - DS&KTLab. Riêng lồi học hôi ờ 1 hây râl nhiêu điêu.Tôi xin bây to lõng biết on chân thành sâu sắc tới Thầy GS. TSKII. Nguyền Ngọc 1 hành Trường Dại học Bách khoa Wr Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnoclaw, Ba Lan đà có nhiều hỗ trợ về mặt chuyên môn cho luận án nãy.Tôi xin bây tó lòng câm ơn chân thành lới các đông đội của lôi là các anh chị em ng
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
hiên cữu sinh Vù Ngọc Trinh, Nguyen Thị Hong Khánh. Phạm Thanh Huyền. Bùi Thị nồng Nhung. Nguyền Vãn Thâm. Nguyền Thị Chăm. Lê Hoàng Quỳnh. NguyềniiThĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậng như nhùng niềm VUI kill đạt được các kết qua mong muốn.Tôi xin chân thành cám ơn tới Ban lành đạo. lập thố các Thầy Cô giáo, các Nhà khoa học thuộc Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội. PGS. TS. Nguyền Phương Thái, PGS TS. Phạm Ngọc Hùng dà giúp dờ về chuyên mòn và tạo diều kiện thuậ Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnn lợi cho tôi trong suốt thời gian học tập vã nghiên cứu. Cam ơn các chuyên viên Nguyền Thị Lan Hương. Nguyền Khánh Ly. Tạ Thị Hồng Hạnh dà luôn hồ tr
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
ợ tôi trong quá trinh hoàn thiện hồ sơ báo vệ các cap.Tôi cùng bây to lòng cam ơn sâu sắc tới Ban giám hiệu Trường Đại học Tài chinh -K.C toán (Quãng ĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận mẹ. các anh chị đà luôn chia sê. động viên và là chồ dựa linh thần vùng chắc cho lôi trong suốt thời gian qua.•VC.V. ĩ.ê Thị Thanh LưuiiiTÓM TẤTTích hợp tri thúc lãm gia tãng giá trị vã khả năng cua các hệ thống thông minh Nhiệm vụ cùa lích hợp tri thức lã kêt họp một sô hệ thông thông minh lại thả Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnnh một hay Làm cho chúng có thể hợp tác dược với nhau. Một trong nhưng diều kiện cằn thiết đê hợp lác thành còng là thông nhài vê Iri thức của các hệ
Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luận
thông này. rích hợp tri thức lá xây dựng một cơ sơ tri thức (CSTT) chung đại diện tốt nhất cho tập các CSTT ban đâu. Khi lích họp tri thức cân phái giĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnch hợp các CSTT có thứ lự ưu lien (bao gôm các cs I T trong logic kha mãng chuẩn (hay CSTTKN). tích hợp các CSTTKN sir dụng nhiều toán lữ tích hợp, lích hợp các cs I I trong logic khá năng biêu Irưng (hay CSTTKNBT) theo quan diêm dinh dề. Các dịnh dề Là các tính chất logic mà ta mong muôn các csT 1 Nghiên cứu tích hợp tri thức trong logic khả năng dựa trên kỹ thuật đàm phán và tranh luậnlích hợp càn thỏa màn.Nội dung cùa luận án dược tóm tắt như sau:ĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ TĐẠI HOC Qưoc GIA HÀ NỘITRƯỜNG ĐẠI HỌC CÔNG NGHỆ • • •LÊ THỊ THANH LƯUNGHIÊN CỨU TÍCH HỢP TRI THỨC TRONG LOGIC KHẢ NĂNG DỰA TRÊN KỸ THUẬT ĐÀM PHÁN VÀ T