Hiến pháp Luật Nghị định Nghị định Nghị định
Thông tư Quyết
Quan hệ giữa các văn bản luật thuộc các kiểu hướng dẫn, thay thế và trích dẫn được thể hiện bởi Khung được thể hiện trong bảng 3.5 dưới đây.
Bảng 3.5. Khung về quan hệ
Slot Type Ý nghĩa
fromDoc prop Số hiệu văn bản gốc
toDoc prop Số hiệu văn bản tới
type prop Loại quan hệ
clause prop Điều khoản phát sinh
isValid IF-NEEDED [checkRelaValidity] Tính hiệu lực
3.3.3. Các luật suy diễn
Như đã phân tích, hệ thống văn bản luật là hệ thống tri thức có sự cập nhật không ngừng, vì vậy cần có những cơ chế suy diễn để cập nhật cấu trúc của mô hình tri thức tại một thời điểm cụ thể. Chúng tôi sử dụng các luật suy diễn để giải quyết yêu cầu này.
Do đặc trưng của hệ thống văn bản luật, việc xảy ra xung đột giữa các luật suy diễn là không thể tránh khỏi. Để giải quyết xung đột, các chiến lược áp dụng luật được sử dụng như sau:
- Luật suy diễn xuất hiện trước được áp dụng trước.
- Các kết quả đã có (đã được lưu trong các slot) sẽ không bị thay thế bởi luật - Luật có nhiều điều kiện nhất sẽ được áp dụng trước
- Áp dụng luật phù hợp với sự kiện được đưa vào gần nhất
Bảng 3.6 thể hiện các luật suy diễn trong mô hình tri thức. Trong đó clarify, cite, replace thể hiện quan hệ hướng dẫn, trích dẫn và thay thế, isValid trả về giá trị đúng nếu văn bản có hiệu lực và trả về giá trị sai nếu văn bản không có hiệu lực. Tất cả các quan hệ này đều xét trong một mốc thời gian ấn định trước.
Bảng 3.6. Danh sách các luật suy diễn Tiền đề Kết luận Tiền đề Kết luận A.replace(B) !B.isValid() AND A.clarify(B) !B.isValid() !A.isValid() AND A.replace(B) !A.isValid() B.isValid() AND A.clarify(B) C.replace(A) C.clarify(B) AND B.replace(C) A.replace(B) A.replace(C) AND A.cite(B) C.replace(B) A.cite(C) 3.5. Đánh giá phương pháp
Sau khi nghiên cứu và đề xuất phương pháp mô hình hóa tri thức cho văn bản luật, chúng tôi thấy rằng phương pháp này có một số điểm mạnh và hạn chế sau đây.
3.5.1. Điểm mạnh của phương pháp
- Mô hình tri thức được đề xuất dựa trên những phân tích về tính chất của văn bản pháp luật, giải quyết được yêu cầu của bài toán nghiên cứu.
- Ưu và nhược của các phương pháp biểu diễn tri thức kinh điển như mạng ngữ nghĩa, ngôn ngữ khung và luật sinh được phân tích, kế thừa vào phương pháp một cách có chọn lọc.
- Cấu trúc của mô hình thể hiện linh hoạt các đối tượng cũng như quan hệ giữa chúng tại các thời điểm khác nhau và có tính đến khả năng mở rộng trong tương lai. - Mô hình tri thức có thể được xây dựng tự động bằng các giải thuật và phương pháp xử lý ngôn ngữ tự nhiên như nhận diện thực thể, trích chọn quan hệ, thuật toán so khớp chuỗi, các giải thuật Heuristic, các giải thuật học máy thống kê và các mô hình xác suất.
3.5.2. Hạn chế của phương pháp
- Mô hình tri thức chưa đủ linh hoạt để biểu diễn văn bản pháp luật còn hiệu lực một phần. Ví dụ như trong trường hợp một văn bản bị sửa đổi bổ sung một số điều.
- Cơ chế giải quyết giữa các mâu thuẫn đối với các trường hợp văn bản trái luật, vi hiến, cơ chế này sẽ không hoạt động hiệu quả.
- Chưa đưa ra được phương pháp bảo toàn tính thống nhất trong mô hình tri thức khi tồn tại văn bản tự mâu thuẫn, văn bản phủ định nhưng không thay thế văn bản khác hoặc trường hợp người ký không có thẩm quyền.
CHƯƠNG 4. THỰC NGHIỆM 4.1. Phương pháp và dữ liệu thực nghiệm 4.1. Phương pháp và dữ liệu thực nghiệm
Để xác thực tính đúng đắn của phương pháp được đề xuất, chúng tôi xây dựng thực nghiệm với đặc tả bài toán đã nêu ở chương 3, sau đó thống kê kết quả và tính toán các độ đo. Do số lượng các văn bản luật là rất lớn, để có thể kiểm chứng được tính đúng đắn của phương pháp, chúng tôi chỉ thu thập các văn bản được ban hành bởi các cơ quan cấp trung ương liên quan đến 4 văn bản luật: Bộ luật Dân sự, Bộ luật Tố tụng dân sự, Bộ luật Hình sự và Bộ luật Tố tụng hình sự từ năm 1981 đến nay .