Tổng quan luận án

Đồ thị tri thức (Knowledge Graph - KG) là cấu trúc dữ liệu đa quan hệ được thiết kế nhằm lưu trữ thông tin ngữ nghĩa dưới dạng các bộ ba thực thể và quan hệ $(h, r, t) \in \mathcal{E} \times \mathcal{R} \times \mathcal{F}$. Kể từ khi được chuẩn hóa và ứng dụng trên quy mô công nghiệp từ năm 2012, đồ thị tri thức đã trở thành nền tảng quan trọng cho các hệ thống tìm kiếm ngữ nghĩa, gợi ý và trả lời câu hỏi. Tuy nhiên, các đồ thị tri thức thế giới thực được tổng hợp từ nhiều nguồn dữ liệu mở không đồng nhất, dẫn đến tình trạng thiếu sót thông tin nghiêm trọng (chẳng hạn như trên Freebase có gần 75% thực thể thiếu nơi sinh, 99% thiếu dân tộc, 95% thiếu thông tin cha mẹ; trên DBpedia có hơn 66% nhà khoa học thiếu mô tả chi tiết; trên Wikidata có 6% thực thể không có loại). Tỷ lệ thiếu hụt quan hệ cơ bản trong các cơ sở tri thức lớn thường xuyên vượt quá 70%. Nhằm khắc phục hạn chế này, bài toán hiệu chỉnh đồ thị tri thức (Knowledge Graph Refinement - KGR) nói chung và bài toán dự đoán liên kết (Link Prediction) nói riêng đóng vai trò cốt lõi trong việc tự động suy luận các liên kết còn thiếu.

Luận án tiến sĩ ngành Khoa học máy tính của tác giả Lê Ngọc Thành, dưới sự hướng dẫn khoa học của GS. Lê Hoài Bắc tại Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Thành phố Hồ Chí Minh, tập trung giải quyết các mục tiêu nghiên cứu cụ thể:

  1. Phân tích và khắc phục các hạn chế về mặt biểu diễn của các mô hình nhúng tịnh tiến và mô hình nhúng xoay khi xử lý các quan hệ đa dạng (đối xứng, bất đối xứng, nghịch đảo, tổng hợp, 1-N, N-1, N-N và phân cấp).
  2. Thiết kế và phát triển các kiến trúc nhúng mới kết hợp giữa biến đổi hình học không gian (không gian số phức, không gian Quaternion, siêu phẳng quan hệ) và mạng nơ-ron tích chập nhằm tăng cường khả năng trích xuất tương tác ngữ nghĩa giữa thực thể và quan hệ.
  3. Đánh giá thực nghiệm toàn diện các mô hình đề xuất trên các tập dữ liệu chuẩn trong điều kiện có và không có rò rỉ dữ liệu kiểm tra, từ đó chứng minh hiệu quả cải thiện độ chính xác dự đoán liên kết.

Về phạm vi nghiên cứu, luận án xác định các ranh giới khoa học rõ ràng:

  • Dạng đồ thị: Tập trung vào đồ thị tri thức tĩnh (static KG) với cấu trúc bộ ba $(h, r, t)$, không xử lý yếu tố thời gian trong đồ thị tri thức động (temporal KG) dạng bộ bốn $(h, r, t, \tau)$. Luận án cũng không áp dụng trên đồ thị đồng nhất (homogeneous graph) như mạng xã hội thuần túy hay đồ thị giao dịch tài chính do thiếu tính đa dạng ngữ nghĩa.
  • Dạng nhiệm vụ: Tập trung vào nhiệm vụ dự đoán thực thể (entity prediction), tức xác định thực thể đầu $(?, r, t)$ hoặc thực thể đuôi $(h, r, ?)$, thay vì dự đoán loại quan hệ $(h, ?, t)$.
  • Giả thuyết dữ liệu: Áp dụng giả thuyết thế giới đóng cục bộ (Local Closed World Assumption - LCWA), thay vì giả thuyết thế giới đóng (CWA) hoặc giả thuyết thế giới mở (OWA), nhằm cân bằng tính chính xác và độ phức tạp tính toán khi huấn luyện trên tập dữ liệu lớn.
  • Phương thức đánh giá: Giải quyết bài toán dự đoán liên kết chuyển tiếp (transductive link prediction), trong đó toàn bộ thực thể đánh giá đều đã xuất hiện trong quá trình huấn luyện.

Tổng quan tài liệu và vị trí của luận án

Luận án tiến hành phân loại và tổng quan hệ thống các công trình nghiên cứu về biểu diễn và dự đoán liên kết trên đồ thị tri thức thành năm nhóm tiếp cận chính:

  1. Nhóm mô hình tịnh tiến (Translation-based Models): Tiêu biểu là mô hình TransE (Bordes và cộng sự, 2013), định nghĩa phép biến đổi tịnh tiến $\mathbf{h} + \mathbf{r} \approx \mathbf{t}$. Hạn chế của TransE là chỉ mô hình hóa được quan hệ bất đối xứng, nghịch đảo và tổng hợp, nhưng thất bại trước quan hệ đối xứng và các quan hệ phức tạp 1-N, N-1, N-N. Các biến thể tiếp theo như TransH, TransR, TorusE và TransRHS đã sử dụng các phép chiếu lên siêu phẳng hoặc không gian hình học phi Euclid nhưng vẫn gặp giới hạn về tính biểu diễn đồng thời các mẫu quan hệ.
  2. Nhóm mô hình xoay (Rotation-based Models): Tiêu biểu là mô hình RotatE (Sun và cộng sự, 2019), ánh xạ thực thể và quan hệ sang không gian số phức 2 chiều $\mathbb{C}$ và xem quan hệ như một phép xoay Hadamard $\mathbf{h} \circ \mathbf{r} \approx \mathbf{t}$. Mô hình này bao quát được các quan hệ đối xứng, bất đối xứng, nghịch đảo và tổng hợp. Tuy nhiên, RotatE gặp hạn chế khi góc xoay giữa thực thể đầu và đuôi không đủ nhỏ, dẫn đến tích lũy sai số lớn, đồng thời kém hiệu quả trong việc phân biệt các thực thể trong mối quan hệ 1-N, N-1, N-N và quan hệ phân cấp. Các mở rộng khác như Rotate3D, HA-RotatE, MRotatE, SO3E và SU2E đã khai thác không gian 3 chiều hoặc nhóm Lie nhưng vẫn chưa tối ưu hóa được việc kết hợp phép co giãn để xử lý quan hệ phân cấp.
  3. Nhóm mô hình phản xạ (Reflection-based Models): Bao gồm các mô hình RefH và ReflectE, sử dụng các phép biến đổi phản xạ hình học để xử lý các liên kết đối xứng và bất đối xứng.
  4. Nhóm mô hình khớp ngữ nghĩa (Semantic Matching Models): Bao gồm RESCAL, DistMult (Yang và cộng sự, 2015), ComplEx, TuckER, LowFER và QuatE. DistMult chỉ xử lý được quan hệ đối xứng thông qua tích phân kỳ ba chiều; ComplEx mở rộng DistMult trên miền số phức; QuatE sử dụng đại số Quaternion nhưng thuần túy dựa trên tích đại số song tuyến tính mà không tận dụng phép xoay hình học bảo toàn cấu trúc nhóm.
  5. Nhóm mô hình dựa trên mạng nơ-ron (Neural Network-based Models): Tiêu biểu là ConvE (Dettmers và cộng sự, 2018), ConvKB (Nguyen và cộng sự, 2018), HypER (Balažević và cộng sự, 2019), ConvRR, InteractE, KBGAN và KBGAT. ConvKB ghép nối các vectơ $(\mathbf{h}, \mathbf{r}, \mathbf{t})$ thành ma trận để đưa qua tích chập 1D/2D, cho phép khai thác tương tác giữa cả ba thành phần nhưng có chi phí tính toán cao, dễ quá khớp (overfitting) và tốc độ huấn luyện chậm trên các tập dữ liệu lớn như YAGO3-10.

Khoảng trống nghiên cứu được luận án xác định là:

  • Các mô hình hình học (như RotatE) có tính diễn giải cao nhưng bị giới hạn về không gian tương tác cục bộ và khả năng biểu diễn quan hệ phức tạp, đặc biệt là quan hệ phân cấp và quan hệ nhiều-nhiều.
  • Các mô hình mạng nơ-ron tích chập (như ConvKB) có khả năng trích xuất đặc trưng sâu nhưng thiếu cơ chế sinh tham số động theo từng quan hệ cụ thể, dễ rơi vào tình trạng chết nơ-ron và khó khăn trong việc mở rộng độ sâu mạng.
  • Thiếu các kiến trúc lai tối ưu có thể kết hợp tính trực quan và khả năng ràng buộc hình học của phép xoay trong không gian đa chiều (số phức, Quaternion) với năng lực trích xuất mẫu ngữ nghĩa cục bộ của mạng tích chập.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khung phân tích

Luận án xây dựng trên các nền tảng toán học và lý thuyết biểu diễn đồ thị:

  • Đại số số phức ($\mathbb{C}$) và Quaternion ($\mathbb{H}$): Không gian Quaternion được cấu thành từ 1 phần thực và 3 phần ảo ${1, i, j, k}$ thỏa mãn $i^2 = j^2 = k^2 = ijk = -1$. Đại số này cung cấp nền tảng cho việc biểu diễn các phép xoay trong không gian 4 chiều.
  • Lý thuyết nhóm: Sử dụng nhóm trực giao đặc biệt $SO(n)$, cụ thể là $SO(4)$, để mô hình hóa các phép xoay kép (double rotation) và xoay đẳng hướng (isotropic rotation) trên hai mặt phẳng trực giao phân tách, bảo toàn chuẩn khoảng cách và cấu trúc hình học của đồ thị.
  • Mạng HyperNetwork: Kiến trúc mạng nơ-ron phụ trợ sinh trọng số thích nghi cho mạng nơ-ron chính nhằm cá nhân hóa bộ lọc theo từng mối quan hệ ngữ nghĩa.
  • Toán tử tích chập phức: Mở rộng phép tích chập trên miền số phức để đồng thời trích xuất đặc trưng cục bộ và bảo toàn cấu trúc biến đổi pha của quan hệ.

Phương pháp nghiên cứu thực nghiệm

Luận án áp dụng phương pháp định lượng thực nghiệm chuẩn tắc trong ngành Khoa học máy tính:

  • Dữ liệu thực nghiệm: Sử dụng 5 bộ dữ liệu chuẩn quốc tế được phân chia sẵn thành các tập huấn luyện (train), kiểm định (valid) và kiểm tra (test):
Tập dữ liệu Số thực thể ($\mathcal{E}$) Số quan hệ ($\mathcal{R}$) Tập huấn luyện Tập kiểm định Tập kiểm tra Đặc điểm rò rỉ dữ liệu
WN18 40.943 18 141.442 5.000 5.000 Có rò rỉ kiểm tra (quan hệ đảo)
FB15k 14.951 1.345 483.142 50.000 59.071 Có rò rỉ kiểm tra (quan hệ đảo)
WN18RR 40.943 11 86.835 3.034 3.134 Không rò rỉ kiểm tra
FB15k-237 14.541 237 272.115 17.535 20.466 Không rò rỉ kiểm tra
YAGO3-10 123.182 37 1.079.040 5.000 5.000 Kích thước lớn, quan hệ phức tạp
  • Độ đo hiệu suất: Đánh giá trong môi trường lọc (Filtered setting - loại bỏ các bộ ba đúng đã biết khỏi danh sách xếp hạng để tránh phạt sai mô hình):

    1. Thứ hạng trung bình (Mean Rank - MR): $$MR = \frac{1}{|T|} \sum_{i=1}^{|T|} r_i$$ với $r_i$ là thứ hạng của bộ ba đúng, giá trị càng nhỏ càng tốt ($[1, +\infty)$).
    2. Thứ hạng nghịch đảo trung bình (Mean Reciprocal Rank - MRR): $$MRR = \frac{1}{|T|} \sum_{i=1}^{|T|} \frac{1}{r_i}$$ giá trị nằm trong khoảng $(0, 1]$, càng gần 1 hiệu suất càng cao.
    3. Tỷ lệ trúng trong top $k$ (Hits@k / H@k với $k \in {1, 3, 10}$): $$Hits@k = \frac{1}{|T|} \sum_{i=1}^{|T|} \mathbb{I}(r_i \le k)$$ với $\mathbb{I}(\cdot)$ là hàm chỉ thị nhận giá trị 1 nếu điều kiện thỏa mãn và 0 nếu ngược lại.
  • Kỹ thuật tối ưu hóa và huấn luyện: Sử dụng các thuật toán tối ưu Adagrad, Adam; hàm kích hoạt ELU (Exponential Linear Unit); chiến lược lấy mẫu âm tự điều chỉnh (Self-adversarial negative sampling), khung phát sinh mẫu âm SampledNCE, và ràng buộc kiểu (type constraints) để sinh mẫu âm hợp lệ.

Nội dung chính theo từng chương

Chương 1: Giới thiệu

Chương 1 thiết lập bức tranh tổng thể về bài toán dự đoán liên kết trong đồ thị tri thức, phân tích các ứng dụng thực tế trong hệ thống gợi ý, trả lời câu hỏi, phân tích tương tác protein và thị giác máy tính. Chương này xác định ba thách thức kỹ thuật lớn: tính đa dạng và phức tạp trong liên kết, kích thước dữ liệu lớn và tính chất động của dữ liệu thực tế. Luận án lựa chọn tập trung giải quyết thách thức về tính đa dạng và phức tạp của liên kết trong đồ thị tĩnh theo giả thuyết thế giới đóng cục bộ (LCWA) và bài toán chuyển tiếp (transductive).

Chương 2: Cơ sở lý thuyết

Chương 2 trình bày hình thức hóa toán học về đồ thị tri thức $G = (\mathcal{E}, \mathcal{R}, \mathcal{F})$, kiến trúc tổng quát của mô hình dự đoán liên kết dựa trên nhúng (bao gồm không gian nhúng, hàm tính điểm $f_r(h, t)$, hàm khoảng cách $d_r(h, t)$, chiến lược phát sinh mẫu âm $G^-$ và hàm mất mát $\mathcal{L}$). Chương này phân loại chi tiết các mẫu quan hệ ngữ nghĩa (đối xứng, bất đối xứng, nghịch đảo, tổng hợp, 1-1, 1-N, N-1, N-N) cùng các khái niệm nền tảng về lý thuyết nhóm trực giao và đại số Quaternion.

Chương 3: Tổng quan công trình nghiên cứu liên quan

Chương 3 phân tích ưu điểm và nhược điểm của các nhóm mô hình dự đoán liên kết hiện hữu: nhóm mô hình tịnh tiến (TransE, TransH, TransR), nhóm mô hình xoay (RotatE, Rotate3D), nhóm mô hình đối xứng/phản xạ (ReflectE), nhóm khớp ngữ nghĩa (RESCAL, DistMult, ComplEx, QuatE) và nhóm mạng nơ-ron (ConvE, ConvKB, HypER). Kết quả phân tích chỉ ra rằng việc mở rộng số chiều không gian biểu diễn và kết hợp toán tử tích chập với các phép biến đổi hình học là hướng tiếp cận tiềm năng để nâng cao hiệu suất mô hình.

Chương 4: Mô hình phát sinh trọng số xác định quan hệ dựa trên mạng HyperNetwork (ConvHyper)

Chương 4 đề xuất mô hình ConvHyper nhằm cải tiến mô hình cơ sở ConvKB. ConvHyper sử dụng một mạng nơ-ron phụ trợ HyperNetwork để tạo ra các bộ lọc tích chập thích ứng riêng cho từng quan hệ cụ thể và khởi tạo trọng số cho các tầng ẩn của mạng chính. Giải pháp này giúp tối ưu hóa việc trích xuất tương tác giữa thực thể và quan hệ, đồng thời tăng chiều sâu mạng mà không làm bùng nổ số lượng tham số cố định. Luận án thay thế hàm kích hoạt ReLU bằng hàm ELU để giải quyết triệt để hiện tượng chết nơ-ron đối với các giá trị đầu vào âm. Thực nghiệm chứng minh ConvHyper cải thiện hiệu suất từ 0,5% trên các tập dữ liệu chuẩn so với ConvKB, đồng thời chỉ ra tốc độ học và kích thước mẫu âm là các siêu tham số ảnh hưởng trực tiếp đến chất lượng hội tụ.

Chương 5: Mô hình nhúng sử dụng phép chiếu và xoay trên các siêu phẳng quan hệ (RotatPRH)

Chương 5 giới thiệu mô hình RotatPRH. Nhằm giải quyết triệt để vấn đề nhập nhằng khi biểu diễn các quan hệ phức tạp 1-N, N-1 và N-N của mô hình RotatE, RotatPRH thực hiện chiếu thực thể đầu và thực thể đuôi lên một siêu phẳng quan hệ riêng biệt $w_r$ trước khi thực hiện phép xoay trong không gian số phức 2D. Mô hình áp dụng các ràng buộc mềm (soft constraints) bao gồm: ràng buộc tỷ lệ, tính trực giao và chuẩn hóa đơn vị nhằm bảo toàn đặc tính hình học của không gian nhúng trong suốt quá trình tối ưu. Kết quả thực nghiệm cho thấy RotatPRH nâng cao hiệu suất từ 1,4% đến 2,0% trên các bộ dữ liệu không có rò rỉ kiểm tra (WN18RR, FB15k-237), và đạt mức tăng trưởng vượt bậc 15% trên độ đo Hits@1 đối với bộ dữ liệu quy mô lớn YAGO3-10.

Chương 6: Mô hình nhúng đồ thị với nhóm trực giao trong không gian Quaternion (Rotate4D)

Chương 6 đề xuất mô hình Rotate4D, mở rộng không gian nhúng từ miền số phức $\mathbb{C}$ sang đại số Quaternion 4 chiều $\mathbb{H}$. Rotate4D triển khai hai biến thể xoay: xoay kép (double rotation) và xoay đẳng hướng (isotropic rotation) trên hai mặt phẳng trực giao độc lập $P$ và $Q$. Dựa trên lý thuyết nhóm trực giao đặc biệt $SO(4)$, mô hình đảm bảo tính chính xác toán học trong việc bảo toàn độ dài và góc xoay. Ngoài ra, Rotate4D tích hợp phép co giãn Quaternion (scaling) sau khi xoay nhằm xử lý cấu trúc quan hệ phân cấp (hierarchical relations). Kết quả thực nghiệm cho thấy Rotate4D cải thiện 1,49% so với mô hình cơ sở tốt nhất cùng nhóm, và đặc biệt cải thiện tới 12% khi đánh giá riêng trên các quan hệ có tính chất phân cấp. Kích thước chiều nhúng tối ưu được xác định là 750 và kích thước lô (batch size) là 512.

Chương 7: Mô hình xoay quan hệ trong mạng nơ-ron tích chập phức (ConvRot)

Chương 7 trình bày mô hình lai ConvRot, tích hợp năng lực trích xuất tương tác cục bộ của mạng tích chập với năng lực mô hình hóa biến đổi ngữ nghĩa của phép xoay phức. Luận án phát triển hai biến thể kiến trúc tích chập phức: NConvRot (tích chập tiêu chuẩn trên bản nhúng phức) và HConvRot (kết hợp HyperNetwork để sinh bộ lọc cho tích chập phức). ConvRot được chứng minh là dạng tổng quát hóa của cả hai mô hình kinh điển TransE và RotatE. Đồng thời, luận án áp dụng cơ chế ràng buộc loại (type constraints) để loại bỏ các thực thể không tương thích về mặt ngữ nghĩa trong quá trình tạo mẫu âm. Mô hình ConvRot giúp nâng cao hiệu suất tổng thể từ 5% đến 7% so với các công trình nghiên cứu trước đó mà không làm gia tăng đáng kể thời gian tính toán.

Chương 8: Kết luận và hướng phát triển

Chương 8 tổng kết toàn bộ các kết quả đạt được của bốn mô hình đề xuất, khẳng định tính đúng đắn của việc khai thác không gian hình học đa chiều kết hợp với mạng nơ-ron. Chương này cũng phân tích các hạn chế còn tồn tại của nghiên cứu và vạch ra bốn hướng phát triển tiếp theo trong tương lai.

Kết quả và những đóng góp mới

Luận án mang lại những đóng góp khoa học mới về mặt lý luận và thực nghiệm:

  1. Đóng góp về mặt mô hình và thuật toán:

    • Đề xuất mô hình ConvHyper, tích hợp mạng HyperNetwork và hàm kích hoạt ELU vào kiến trúc tích chập ConvKB, cải thiện hiệu suất dự đoán từ 0,5% trên các độ đo chuẩn.
    • Đề xuất mô hình RotatPRH, kết hợp phép chiếu thực thể lên siêu phẳng quan hệ với phép xoay phức 2D kèm hệ thống ràng buộc mềm (tỷ lệ, trực giao, chuẩn hóa), giúp tăng hiệu suất từ 1,4% đến 2,0% trên WN18RR và FB15k-237, đặc biệt cải thiện 15% Hits@1 trên tập dữ liệu lớn YAGO3-10.
    • Đề xuất mô hình Rotate4D, áp dụng đại số Quaternion, lý thuyết nhóm $SO(4)$ với hai cơ chế xoay kép và xoay đẳng hướng, kết hợp phép co giãn Quaternion để giải quyết quan hệ phân cấp, đạt mức cải thiện 1,49% tổng thể và 12% trên nhóm quan hệ phân cấp.
    • Đề xuất mô hình ConvRot (gồm hai biến thể NConvRot và HConvRot), kết hợp toán tử tích chập phức và biến đổi xoay cùng chiến lược lọc mẫu âm bằng ràng buộc loại, giúp cải thiện hiệu suất từ 5% đến 7% so với các mô hình cơ sở.
  2. Công bố khoa học: Toàn bộ các kết quả nghiên cứu trong luận án đã được công bố trên các tạp chí và hội nghị khoa học quốc tế uy tín:

    • 02 bài báo trên tạp chí quốc tế thuộc danh mục SCIE/Q1: Knowledge-Based Systems (IF: 8.8, [CT01]), Expert Systems with Applications (IF: 8.5, [CT02]).
    • 02 bài báo trên tạp chí quốc tế thuộc danh mục SCIE/Q2: Applied Intelligence (IF: 5.3, [CT03], [CT04]).
    • Các báo cáo tại các hội nghị quốc tế chuyên ngành: ACIIDS (Rank B, [CT06], [CT08]), ICCCI (Rank B, [CT09]), KSEM (Rank C, [CT09]), ICANN (Rank C, [CT10]).
  3. Ứng dụng thực tiễn: Các nền tảng lý thuyết và kiến trúc nhúng của luận án đã được bước đầu triển khai trong hai hệ thống thực tế: hệ thống Chatbot tiếng Việt sử dụng truy vấn dựa trên bản nhúng đồ thị tri thức và hệ thống hỗ trợ phát hiện tương tác thuốc trong đơn thuốc y tế.

Hạn chế và hướng nghiên cứu tiếp

Theo trình bày của tác giả trong văn bản, công trình còn tồn tại một số hạn chế gắn liền với phạm vi nghiên cứu:

  • Chưa tích hợp yếu tố thời gian: Các mô hình mới chỉ hoạt động trên đồ thị tri thức tĩnh, chưa xử lý được các sự kiện biến đổi theo trục thời gian trong đồ thị tri thức động (temporal KG).
  • Chưa khai thác toàn diện không gian đa tạp: Việc biểu diễn hình học mới dừng lại ở không gian số phức, Quaternion và siêu phẳng Euclid, chưa tối ưu hóa đầy đủ các tính chất trên các không gian đa tạp phi Euclid sâu hơn (như không gian Hyperbolic tổng quát).
  • Tính giải thích của mạng nơ-ron: Mặc dù các mô hình biến đổi xoay có tính trực quan cao, các thành phần tích chập sâu và HyperNetwork vẫn mang tính chất hộp đen, cần phát triển cơ chế giải thích rõ ràng hơn cho các quyết định dự đoán liên kết.
  • Tối ưu hóa hiệu năng tính toán: Cần tiếp tục nghiên cứu các kỹ thuật tối ưu hóa phần cứng và thuật toán để xử lý hiệu quả các đồ thị tri thức quy mô siêu lớn với hàng tỷ bộ ba trong môi trường thực tế.

Giá trị tham khảo

Luận án là tài liệu tham khảo có giá trị chuyên môn cao cho các đối tượng:

  • Nghiên cứu sinh và học viên cao học ngành Khoa học máy tính, Trí tuệ nhân tạo: Có thể tham khảo Chương 2, Chương 3 và phần Phụ lục để nắm vững cơ sở toán học về không gian biểu diễn (Topology, đại số Quaternion, nhóm trực giao $SO(n)$) và các kỹ thuật nhúng đồ thị.
  • Các kỹ sư và nhà phát triển hệ thống xử lý ngôn ngữ tự nhiên, kỹ thuật tri thức: Có thể áp dụng kiến trúc mã nguồn và thuật toán của các mô hình ConvHyper, RotatPRH, Rotate4D và ConvRot (trình bày tại Chương 4, 5, 6, 7) để nâng cao độ chính xác cho các hệ thống gợi ý, hệ thống hỏi đáp (QA) và trích xuất tri thức chuyên ngành.
  • Các nhóm nghiên cứu liên ngành (Y - Sinh, Thị giác máy tính): Có thể khai thác phương pháp luận dự đoán liên kết để phân tích tương tác phân tử sinh học, tương tác thuốc hoặc suy luận quan hệ không gian giữa các đối tượng trong ảnh.

Câu hỏi thường gặp

1. Vì sao luận án lựa chọn giả thuyết thế giới đóng cục bộ (LCWA) thay vì giả thuyết thế giới đóng (CWA) hay thế giới mở (OWA)?

  • Luận án lựa chọn LCWA vì CWA quá chặt chẽ (coi mọi bộ ba không xuất hiện là sai, chỉ phù hợp với truy vấn dữ liệu chuẩn), trong khi OWA (coi các bộ ba chưa xuất hiện có thể đúng) gây khó khăn lớn cho việc xác định thông tin cần học và tạo mẫu âm. LCWA giả định trong một phạm vi cục bộ nhất định, thông tin là đầy đủ, cho phép tập trung khai thác sâu các mối quan hệ đã biết, giảm độ phức tạp tính toán và nâng cao độ chính xác khi huấn luyện trên dữ liệu lớn.

2. Hiện tượng rò rỉ dữ liệu kiểm tra (test leakage) trên các bộ dữ liệu FB15k và WN18 là gì và được khắc phục như thế nào?

  • Hiện tượng rò rỉ dữ liệu kiểm tra trên FB15k và WN18 xuất hiện do sự tồn tại của các quan hệ nghịch đảo giữa tập huấn luyện và tập kiểm tra (ví dụ: nếu tập huấn luyện có $(e_1, r_1, e_2)$ và $r_2$ là quan hệ đảo của $r_1$, thì mô hình dễ dàng đoán được $(e_2, r_2, e_1)$ trong tập kiểm tra mà không cần học ngữ nghĩa thực sự). Điều này được khắc phục bằng cách sử dụng hai bộ dữ liệu chuẩn hóa WN18RR và FB15k-237, trong đó các quan hệ nghịch đảo đã bị loại bỏ hoàn toàn (FB15k-237 giảm hơn 80% số lượng quan hệ so với FB15k).

3. Mô hình Rotate4D sử dụng cấu trúc toán học nào để giải quyết các mối quan hệ phân cấp (hierarchical relations)?

  • Rotate4D nhúng thực thể và quan hệ vào không gian Quaternion 4 chiều $\mathbb{H}$ và áp dụng lý thuyết nhóm trực giao đặc biệt $SO(4)$ để thực hiện phép xoay kép và xoay đẳng hướng trên hai mặt phẳng trực giao $P$ và $Q$. Để xử lý quan hệ phân cấp, mô hình tích hợp thêm phép co giãn Quaternion (scaling) sau biến đổi xoay, giúp mô hình hóa sự thay đổi mức độ bao hàm giữa các thực thể và đạt mức cải thiện 12% riêng trên nhóm quan hệ này.

4. Khác biệt cơ bản giữa hai hàm kích hoạt ReLU và ELU trong kiến trúc mô hình ConvHyper là gì?

  • Trong mô hình ConvKB gốc, hàm ReLU triệt tiêu hoàn toàn gradient của các giá trị đầu vào âm (gán bằng 0), dẫn đến hiện tượng chết nơ-ron. Mô hình ConvHyper thay thế bằng hàm ELU, cho phép xử lý đầu vào âm thông qua một đường cong phi tuyến mượt mà, duy trì dòng gradient liên tục, từ đó giúp mạng học sâu hơn và tăng tính ổn định trong quá trình tối ưu hóa.

Kết luận

Luận án tiến sĩ của tác giả Lê Ngọc Thành đã giải quyết bài toán dự đoán liên kết trên đồ thị tri thức tĩnh thông qua việc phát triển bốn mô hình nhúng cải tiến: ConvHyper, RotatPRH, Rotate4D và ConvRot. Công trình đã kết hợp giữa các cấu trúc hình học không gian đa chiều (số phức, Quaternion, nhóm trực giao $SO(4)$) với các kỹ thuật mạng nơ-ron học sâu (HyperNetwork, tích chập phức). Các kết quả thực nghiệm trên năm bộ dữ liệu chuẩn WN18, FB15k, WN18RR, FB15k-237 và YAGO3-10 đã chứng minh hiệu quả vượt trội của các giải pháp đề xuất, đồng thời mở ra các hướng ứng dụng thực tế trong hệ thống Chatbot tiếng Việt và phân tích tương tác thuốc.