Tổng quan nghiên cứu

Trong hệ thống pháp luật Việt Nam, hàng chục nghìn văn bản quy phạm pháp luật được ban hành tạo nên một mạng lưới quy định đồ sộ và đan xen phức tạp. Tính chất vận động không ngừng của đời sống kinh tế - xã hội đòi hỏi hệ thống pháp luật phải liên tục sửa đổi, bổ sung và thay thế. Điển hình như sự kiện ngày 01/01/2017, Bộ luật Dân sự năm 2015 số 91/2015/QH13 chính thức có hiệu lực thay thế cho Bộ luật Dân sự năm 2005 số 33/2005/QH11, kéo theo sự thay đổi hiệu lực đồng loạt của hàng loạt văn bản hướng dẫn thi hành. Vấn đề nghiên cứu trọng tâm được đặt ra là làm thế nào để biểu diễn, lưu trữ và tự động suy diễn hiệu lực của các văn bản pháp luật cùng mối quan hệ phụ thuộc giữa chúng theo từng mốc thời gian cụ thể mà không làm phát sinh sự chồng chéo hoặc sai sót logic.

Mục tiêu cụ thể của luận văn là nghiên cứu, đề xuất một mô hình biểu diễn tri thức lai ghép kết hợp giữa Ngôn ngữ Khung (Frame Language) và Luật sinh (Production Rules), đồng thời hiện thực hóa mô hình này thành một hệ thống hướng dịch vụ cung cấp giao diện lập trình ứng dụng RESTful API cho các phần mềm nghiệp vụ. Phạm vi nghiên cứu tập trung vào các văn bản quy phạm pháp luật do các cơ quan trung ương ban hành từ năm 1981 đến năm 2017, xoay quanh 4 trụ cột lập pháp gồm Bộ luật Dân sự, Bộ luật Hình sự, Bộ luật Tố tụng Dân sự và Bộ luật Tố tụng Hình sự. Ý nghĩa thực tiễn của công trình được chứng minh qua bộ dữ liệu thực nghiệm 383 văn bản và 766 mối quan hệ, đạt độ đo F1-score từ 94,93% đến 100% trong việc xác định văn bản có hiệu lực, mở ra hướng đi đột phá cho việc tin học hóa pháp luật và xây dựng chính phủ điện tử.

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

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên nền tảng lý thuyết biểu diễn tri thức trong Trí tuệ nhân tạo khởi xướng từ năm 1975 bởi Marvin Minsky về Ngôn ngữ Khung và các nguyên lý suy diễn luật sinh của Allen Newell cùng Herbert Simon. Bên cạnh đó, luận văn tiếp cận theo trường phái Kỹ nghệ Pháp lý (Legal Engineering), xem hệ thống pháp luật như một bản đặc tả hình thức của xã hội nhằm áp dụng các kỹ thuật kiểm chứng mô hình phần mềm.

Mô hình nghiên cứu tích hợp 4 khái niệm cốt lõi:

  • Khung tri thức (Frame): Đóng gói thực thể văn bản và quan hệ pháp lý thông qua các thuộc tính (Slot) và thủ tục kích hoạt tự động (Facet) như IF-NEEDED và IF-ADDED.
  • Luật sinh suy diễn (Production Rules): Tập hợp các luật nhân quả dạng điều kiện - kết luận nhằm tính toán tính hiệu lực động và giải quyết xung đột logic.
  • Quan hệ liên kết pháp lý: Phân loại thành 3 quan hệ cơ bản gồm quan hệ trích dẫn (citation), quan hệ hướng dẫn (clarify) và quan hệ thay thế (replacement).
  • Hiệu lực không gian và thời gian: Xác định trạng thái pháp lý của văn bản tại một thời điểm xác định căn cứ theo quy định của Luật Ban hành văn bản quy phạm pháp luật năm 2015 và Nghị định số 34/2016/NĐ-CP.

Phương pháp nghiên cứu

Nghiên cứu sử dụng phương pháp chọn mẫu có chủ đích (purposive sampling) với quy mô mẫu gồm 383 văn bản quy phạm pháp luật cấp trung ương và 766 mối quan hệ ràng buộc, thu thập trong giai đoạn lịch sử từ năm 1981 đến năm 2017. Nguồn dữ liệu thứ cấp được tổng hợp và đối soát chéo từ 3 cổng thông tin chính thức: Cơ sở dữ liệu quốc gia về văn bản pháp luật (vbpl.vn), Hệ thống văn bản pháp luật của Bộ Tư pháp (moj.vn) và Thư viện Pháp luật (thuvienphapluat.vn).

Lý do lựa chọn phương pháp kết hợp Ngôn ngữ Khung và Luật sinh xuất phát từ việc khắc phục nhược điểm của Mạng ngữ nghĩa truyền thống (vốn đòi hỏi lưu trữ đồ thị khổng lồ khi rời rạc hóa thời gian) và hạn chế không có cơ chế suy diễn của Khung thuần túy. Hệ thống được lập trình thử nghiệm theo kiến trúc hướng dịch vụ (SOA) chuẩn RESTful trên nền tảng máy chủ hệ điều hành CentOS 7.1611, trang bị 4 nhân vi xử lý AMD Opteron xung nhịp 1000.0 MHz và bộ nhớ RAM 4.0 GB. Các chỉ số thống kê gồm Độ chính xác (Precision), Độ hồi tưởng (Recall) và Độ đo F1 được tính toán nghiêm ngặt tại 5 mốc thời gian chuẩn: 01/01/1995, 01/01/2000, 01/01/2005, 01/01/2010 và 01/01/2017.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích dữ liệu và thử nghiệm mô hình đã mang lại 4 phát hiện quan trọng:

Thứ nhất, phân bố cấu trúc của tập dữ liệu pháp luật cho thấy tính đa dạng cao với 123 Nghị định của Chính phủ (chiếm tỷ trọng cao nhất 32,28%), 42 Thông tư liên tịch (chiếm 10,97%), cùng hệ thống các Luật, Bộ luật, Pháp lệnh và Quyết định chuyên ngành.

Thứ hai, tại mốc kiểm thử ban đầu ngày 01/01/1995, mô hình đạt độ chính xác tuyệt đối 100% và độ hồi tưởng 100% khi nhận diện chính xác 12/12 văn bản đang có hiệu lực thi hành, trùng khớp hoàn toàn với dữ liệu của Cơ sở dữ liệu quốc gia.

Thứ ba, tại mốc kiểm thử ngày 01/01/2000, hệ thống lọc ra 32 văn bản hiệu lực trong khi Cơ sở dữ liệu quốc gia báo cáo 33 văn bản. Qua đối soát chuyên sâu, nghiên cứu phát hiện văn bản số 117/CP ngày 07/09/1994 về án phí, lệ phí bị thiếu thông tin ngày hết hiệu lực trên cổng thông tin quốc gia, chứng minh năng lực suy diễn logic của hệ tri thức vượt trội hơn so với phương pháp lưu trữ dữ liệu quan hệ thuần túy.

Thứ tư, tại mốc kiểm định phức tạp nhất ngày 01/01/2017 với khối lượng văn bản liên kết dày đặc, hệ thống vẫn duy trì độ hồi tưởng cao đạt khoảng 96,55% và độ đo F1-score đạt 94,93%.

Thảo luận kết quả

Các kết quả thực nghiệm khẳng định rằng việc tích hợp thủ tục IF-NEEDED vào slot isValid của Khung văn bản cho phép hệ thống tự động tính toán trạng thái hiệu lực mà không cần nhập liệu thủ công ngày hết hiệu lực. Khi đối chiếu với các nghiên cứu Kỹ nghệ Pháp lý quốc tế tại Viện JAIST (Nhật Bản) hay Đại học Toronto (Canada), phương pháp đề xuất đã giải quyết thành công bài toán thay đổi hiệu lực dây chuyền trong hệ thống pháp luật dân sự Việt Nam.

Dữ liệu thực nghiệm có thể được mô hình hóa trực quan qua bảng ma trận đối sánh hiệu lực và biểu đồ đường thể hiện sự suy giảm nhẹ của F1-score từ 100% năm 1995 xuống 94,93% năm 2017. Nguyên nhân chính của sự chênh lệch này là do một số văn bản sửa đổi, bổ sung chỉ làm hết hiệu lực một phần (ở cấp độ Điều hoặc Khoản), trong khi mô hình hiện tại đang quản lý hiệu lực ở cấp độ toàn bộ văn bản. Điển hình như trường hợp Nghị quyết số 01/2000/NQ-HĐTP hướng dẫn Bộ luật Hình sự năm 1999 đã được hệ thống tự động suy luận hết hiệu lực chính xác hơn dữ liệu nhập tay trên cổng thông tin nhà nước.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu và những hạn chế được nhận diện, 4 giải pháp chiến lược được đề xuất nhằm nâng cao hiệu quả ứng dụng hệ tri thức pháp luật:

Thứ nhất, tinh chỉnh cấu trúc Khung tri thức xuống đơn vị chi tiết gồm Phần, Chương, Mục, Điều, Khoản và Điểm. Mục tiêu là đạt độ chính xác trên 98% trong việc nhận diện các văn bản có hiệu lực một phần, hoàn thành trước quý 4 năm 2027 do các nhà nghiên cứu kỹ thuật phần mềm phối hợp cùng Cục Công nghệ thông tin - Bộ Tư pháp triển khai.

Thứ hai, tích hợp các giải thuật Xử lý ngôn ngữ tự nhiên (NLP) và Học máy thống kê vào mô-đun Crawler để tự động bóc tách thực thể và phát hiện mối quan hệ liên kết từ văn bản thô. Giải pháp hướng tới mục tiêu tự động hóa 90% quy trình cập nhật dữ liệu pháp luật trong giai đoạn 2027-2028 dưới sự phụ trách của các kỹ sư Trí tuệ nhân tạo.

Thứ ba, xây dựng cơ chế luật sinh nâng cao nhằm tự động phát hiện các văn bản có nội dung mâu thuẫn, chồng chéo, ban hành sai thẩm quyền hoặc vi phạm nguyên tắc bảo hiến. Chỉ tiêu đề ra là phát hiện tự động tối thiểu 85% các điểm xung đột pháp lý trước năm 2029 bởi các chuyên gia luật học và kỹ sư tri thức.

Thứ tư, tối ưu hóa hạ tầng hệ thống hướng dịch vụ RESTful API đạt năng lực chịu tải trên 1.000 truy vấn mỗi giây (QPS) với thời gian phản hồi dưới 50 mili-giây. Kế hoạch thương mại hóa và mở rộng dịch vụ này dự kiến phục vụ hơn 10.000 chuyên viên pháp lý trước năm 2028 thông qua các nền tảng ứng dụng soạn thảo và tiện ích hỗ trợ đọc luật.

Đối tượng nên tham khảo luận văn

Luận văn là nguồn tài liệu học thuật và kỹ thuật giá trị dành cho 4 nhóm đối tượng trọng tâm:

Thứ nhất, các nhà nghiên cứu và học viên cao học chuyên ngành Công nghệ thông tin, Kỹ thuật phần mềm và Trí tuệ nhân tạo. Nhóm đối tượng này có thể kế thừa phương pháp kết hợp Ngôn ngữ Khung và Luật sinh để giải quyết các bài toán biểu diễn tri thức động trong những miền dữ liệu có tính chất biến đổi theo thời gian.

Thứ hai, kỹ sư phần mềm và các doanh nghiệp công nghệ pháp lý (LegalTech). Luận văn cung cấp bản thiết kế kiến trúc hoàn chỉnh từ cấu trúc dữ liệu, bộ quy tắc suy diễn đến giao diện RESTful API, phục vụ trực tiếp cho việc xây dựng các công cụ hỗ trợ soạn thảo văn bản hành chính và tiện ích phân tích pháp lý thông minh.

Thứ ba, các cơ quan lập pháp, quản lý nhà nước như Văn phòng Quốc hội, Bộ Tư pháp và Tòa án nhân dân tối cao. Báo cáo nghiên cứu cung cấp cơ sở khoa học để xây dựng hệ thống rà soát tự động tính thống nhất của văn bản quy phạm pháp luật, giảm thiểu sai sót chủ quan trong quy trình xây dựng pháp luật.

Thứ tư, luật sư, chuyên viên pháp chế doanh nghiệp và sinh viên ngành Luật. Tài liệu giúp người làm việc trong ngành luật hiểu rõ cấu trúc logic hình thức của hệ thống văn bản, tối ưu hóa quy trình tra cứu văn bản đang có hiệu lực tại các thời điểm tố tụng cụ thể.

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

Phương pháp mô hình hóa tri thức trong luận văn có điểm gì vượt trội so với Mạng ngữ nghĩa truyền thống? Mạng ngữ nghĩa biểu diễn tri thức dưới dạng đồ thị tĩnh, khi áp dụng vào miền dữ liệu thay đổi theo thời gian như luật pháp sẽ đòi hỏi lưu trữ số lượng đồ thị khổng lồ sau mỗi lần rời rạc hóa thời gian. Mô hình lai ghép giữa Khung và Luật sinh trong luận văn chỉ cần 383 khung thực thể và 766 quan hệ để tính toán trạng thái động mà không gây lãng phí bộ nhớ lưu trữ.

Hệ tri thức xử lý thế nào khi một văn bản luật mẹ hết hiệu lực thi hành? Hệ thống vận hành luật sinh suy diễn dựa trên nguyên tắc của Luật Ban hành văn bản quy phạm pháp luật năm 2015: nếu văn bản A quy định chi tiết cho văn bản B mà văn bản B hết hiệu lực thì văn bản A cũng tự động hết hiệu lực. Điển hình là việc hệ thống tự động xác định Nghị quyết số 01/2000/NQ-HĐTP hết hiệu lực khi Bộ luật Hình sự năm 1999 bị bãi bỏ.

Quy mô và đặc điểm của tập dữ liệu thực nghiệm trong luận văn là gì? Tập dữ liệu thực nghiệm bao gồm 383 văn bản quy phạm pháp luật cấp trung ương ban hành từ năm 1981 đến năm 2017 cùng 766 mối quan hệ. Trong đó, Nghị định chiếm tỷ trọng lớn nhất với 123 văn bản (32,28%), Thông tư liên tịch chiếm 42 văn bản (10,97%), tập trung vào 4 bộ luật trụ cột của hệ thống tư pháp Việt Nam.

Hệ thống hướng dịch vụ được xây dựng trên môi trường kỹ thuật nào? Hệ thống được thiết kế theo kiến trúc RESTful API gồm 3 mô-đun chính: Khung tri thức, Luật suy diễn và Bộ thu thập dữ liệu (Crawler). Ứng dụng được cài đặt trên máy chủ CentOS 7.1611 sử dụng vi xử lý 4 nhân AMD Opteron xung nhịp 1000.0 MHz và bộ nhớ RAM 4.0 GB, phục vụ đồng thời cho 2 ứng dụng đầu cuối là IEE và tiện ích trình duyệt.

Hạn chế lớn nhất của nghiên cứu hiện tại là gì và định hướng khắc phục ra sao? Hạn chế lớn nhất là mô hình chưa hỗ trợ xác định hiệu lực một phần ở cấp độ Điều, Khoản khi văn bản bị sửa đổi cục bộ, dẫn đến độ đo F1 tại mốc năm 2017 giảm xuống 94,93%. Hướng khắc phục là mở rộng cấu trúc phân cấp của Khung và tích hợp các mô hình ngôn ngữ sâu trong giai đoạn nghiên cứu tiếp theo.

Kết luận

  • Luận văn đã phân tích sâu sắc 6 tính chất đặc trưng của hệ thống văn bản pháp luật Việt Nam, làm tiền đề vững chắc cho việc ứng dụng Trí tuệ nhân tạo vào lĩnh vực Kỹ nghệ Pháp lý.
  • Đề xuất thành công mô hình biểu diễn tri thức lai ghép giữa Ngôn ngữ Khung và Luật sinh, giải quyết triệt để tính chất vận động theo thời gian và quan hệ ràng buộc đa chiều giữa các văn bản luật.
  • Hoàn thành kiểm nghiệm thực tế trên tập dữ liệu 383 văn bản và 766 quan hệ pháp lý, đạt độ đo F1-score ấn tượng từ 94,93% đến 100% qua các mốc thời gian từ năm 1995 đến năm 2017.
  • Xây dựng thành công hệ thống hướng dịch vụ chuẩn RESTful API, cung cấp nền tảng tri thức cho 2 ứng dụng thực tiễn là môi trường soạn thảo IEE và công cụ hỗ trợ đọc văn bản luật trực tuyến.
  • Mở ra lộ trình phát triển giai đoạn 2027-2030 với việc tích hợp công nghệ Xử lý ngôn ngữ tự nhiên và học máy thống kê nhằm tự động hóa phát hiện xung đột pháp lý và văn bản vi hiến.

Các tổ chức nghiên cứu, cơ quan quản lý nhà nước và doanh nghiệp công nghệ được khuyến khích khai thác, ứng dụng mô hình tri thức này để thúc đẩy chuyển đổi số toàn diện ngành tư pháp và nâng cao năng lực quản trị quốc gia trong kỷ nguyên số.