Nghiên cứu và đề xuất phương pháp mô hình hóa tri thức cho hệ thống văn bản luật

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN HÀ THANH NGHIÊN CỨU VÀ ĐỀ XUẤT PHƯƠNG PHÁP MÔ HÌNH HÓA TRI THỨC CHO HỆ THỐNG VĂN BẢN LUẬT LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN ( i )HÀ NỘI 2017[.]

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN HÀ THANH NGHIÊN CỨU VÀ ĐỀ XUẤT PHƯƠNG PHÁP MƠ HÌNH HĨA TRI THỨC CHO HỆ THỐNG VĂN BẢN LUẬT LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN HÀ NỘI - 2017 i ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN HÀ THANH NGHIÊN CỨU VÀ ĐỀ XUẤT PHƯƠNG PHÁP MƠ HÌNH HĨA TRI THỨC CHO HỆ THỐNG VĂN BẢN LUẬT Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60480103 LUẬN VĂN THẠC SỸ CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS TS NGUYỄN VIỆT HÀ HÀ NỘI - 2017 ii LỜI CAM ĐOAN Tôi xin cam đoan công việc luận văn thực tơi Các số liệu, kết trình bày luận văn hoàn toàn trung thực Tất tài liệu tham khảo, cơng trình nghiên cứu, kết công việc người khác sử dụng đề tài ghi rõ nguồn Nếu tơi nói trái thật, xin chịu trách nhiệm theo pháp luật quy định nhà trường Hà Nội, ngày tháng năm Chữ ký i LỜI CẢM ƠN Thực luận văn việc cá nhân học viên cao học để lấy Thạc sỹ để luận văn có chất lượng tốt có đóng góp thực tiễn cho xã hội cơng sức nhiều người Đầu tiên, tơi xin cảm ơn gia đình tơi, người ủng hộ tuyệt đối nhiều phương diện để tơi theo đuổi lựa chọn Tơi xin cảm ơn Thầy Nguyễn Việt Hà, người Thầy truyền cho động lực, cho nhiều kiến thức kinh nghiệm quý báu nghiên cứu khoa học nói chung thực đề tài nói riêng Tơi xin cảm ơn thầy cô Trường Đại học Công nghệ Khoa Luật, Đại học Quốc gia Hà Nội, người đào tạo giúp trưởng thành lực nghề lực nghiên cứu Tôi xin cảm ơn bạn sinh viên nhóm nghiên cứu Skylab, Trường Đại học Cơng nghệ, ĐHQGHN tham gia đóng góp ý kiến cho đề tài giúp sức cho việc thu thập liệu thử nghiệm phương pháp đề xuất luận văn Tôi xin chân thành cảm ơn! ii MỤC LỤC CHƯƠNG ĐẶT VẤN ĐỀ 1.1 Lý chọn đề tài 1.2 Các nghiên cứu liên quan 1.2.1 Các nghiên cứu biểu diễn tri thức .2 1.2.2 Các nghiên cứu Legal Engineering .4 1.3 Nhiệm vụ luận văn 1.4 Cấu trúc luận văn CHƯƠNG CƠ SỞ LÝ THUYẾT .7 2.1 Mơ hình hóa tri thức .7 2.1.1 Tri thức biểu diễn tri thức 2.1.2 Mơ hình tri thức .8 2.1.3 Phương pháp mơ hình hóa tri thức ngơn ngữ khung .8 2.1.4 Phương pháp mơ hình hóa tri thức luật sinh 2.1.5 Phương pháp mô hình hóa tri thức mạng ngữ nghĩa .10 2.2 Văn pháp luật 12 2.2.1 Văn pháp luật vai trò văn pháp luật 12 2.2.2 Các loại văn pháp luật .12 2.2.3 Đặc trưng hiệu lực văn pháp luật 14 CHƯƠNG MƠ HÌNH HĨA TRI THỨC CHO VĂN BẢN LUẬT .15 3.1 Mơ tả tốn .15 3.2 Phân tích tính chất văn pháp luật .15 3.3 Mô tả phương pháp .17 3.3.1 Phân tích lựa chọn kỹ thuật biểu diễn .17 3.3.2 Cấu trúc khung .18 3.3.3 Các luật suy diễn 23 3.5 Đánh giá phương pháp 24 3.5.1 Điểm mạnh phương pháp 24 iii 3.5.2 Hạn chế phương pháp .25 CHƯƠNG THỰC NGHIỆM 26 4.1 Phương pháp liệu thực nghiệm 26 4.2 Kết thực nghiệm phân tích 29 4.3 Xây dựng hệ thống hướng dịch vụ 31 4.4 Đánh giá thực nghiệm 35 CHƯƠNG KẾT LUẬN 36 PHỤ LỤC A CÁC CĂN CỨ PHÁP LÝ .37 PHỤ LỤC B CÀI ĐẶT CÁC LUẬT SINH 42 TÀI LIỆU THAM KHẢO 43 iv Danh sách hình vẽ Hình 1.1 Kiến trúc phân tầng web ngữ nghĩa [39] .3 Hình 2.1 Dữ liệu, thơng tin tri thức [30] Hình 2.2 Ví dụ mạng ngữ nghĩa 10 Hình 2.3 Ví dụ nhược điểm mạng ngữ nghĩa 11 Hình 3.1 Minh họa quan hệ trích dẫn VBPL 21 Hình 3.2 Minh họa quan hệ hướng dẫn VBPL 22 Hình 3.3 Minh họa quan hệ thay VBPL .22 Hình 4.1 Dữ liệu thu thập 26 Hình 4.2 Tình trạng văn 01/2000/NQ-HĐTP theo CSDLQG 31 Hình 4.3 Kiến trúc hệ sở tri thức 32 Hình 4.4 Truy vấn phản hồi client server 33 Hình 4.5 Ứng dụng Hỗ trợ soạn thảo văn luật IEE 34 Hình 4.6 Ứng dụng hỗ trợ đọc văn luật 34 Danh sách bảng Bảng 3.1 Mức lương tối thiểu vùng thay đổi qua năm 17 Bảng 3.2 Các loại văn pháp luật .18 Bảng 3.3 Khung loại văn .19 Bảng 3.4 Khung văn pháp luật 20 Bảng 3.5 Khung quan hệ 23 Bảng 3.6 Danh sách luật suy diễn .24 Bảng 4.1 Thống kê liệu theo loại văn 27 Bảng 4.2 Thống kê liệu theo năm ban hành 28 Bảng 4.3 Kết thực nghiệm .29 v Các ký hiệu viết tắt AMD BLDS CPU CSDLQG GPU IEE KMP MHz MIPS NĐ NQ QPPL RAM REST TT VBADPL VBHC VBPL VBQPPL Advanced Micro Devices Bộ luật dân Central Processing Unit Cơ sở liệu quốc gia Graphic processing unit Integrated editing environment Thuật toán Knuth–Morris–Pratt Megahertz Million instructions per second Nghị định Nghị Quy phạm pháp luật Random Access Memory Representaion State Transfer Thông tư Văn áp dụng pháp luật Văn hành Văn pháp luật Văn quy phạm pháp luật vi Tóm tắt Văn pháp luật đóng vai trị quan trọng hệ thống pháp luật quốc gia Với mục tiêu xử lý tự động thông tin phát huy hiệu tri thức từ văn pháp luật, cần phương pháp mơ hình hóa tri thức phù hợp cho chúng Trong phạm vi nghiên cứu này, khảo sát kỹ lưỡng đặc tính hệ thống văn pháp luật Việt Nam đề xuất phương pháp mơ hình hóa cho văn quan hệ chúng Thách thức cơng việc xử lý tính chất ln thay đổi văn luật, khoảng thời gian có hiệu lực mối liên hệ chặt chẽ chúng Các tính chất mối quan hệ biểu diễn sở tri thức mà thiết kế lựa chọn để thông tin văn pháp luật trở nên hữu dụng Khi biểu diễn sở tri thức mình, chúng tơi so sánh ba phương pháp biểu diễu tri thức phổ biến là: Mạng ngữ nghĩa, Luật sinh Ngơn ngữ khung, sở đó, điểm mạnh phương pháp kế thừa phương pháp đề xuất nghiên cứu Bên cạnh đó, chúng tơi cài đặt hệ thống hướng dịch vụ cung cấp dịch vụ truy vấn tri thức cho hệ thống khác Từ khóa Mơ hình hóa tri thức, Văn pháp luật Việt Nam, Ngôn ngữ Khung, Luật sinh vii Abstract Legal documents play an important role in legal system of every nation In order to automated process information and make use of knowledge from legal documents, we need an appropriate knowledge representation for them In this research, we investigate properties of Vietnamese legal document system and propose a representation for the documents and their relationships The main challenge for this task is dynamic charateristics, validity period and binding relationships among legal documents Properties and relationships which we design to represent in our knowlege base are selective in order to make use of information within legal documents In order to represent our knowlege base, we compare three methods: Semantic Network, Production Rules, Frame Language and make use of their advantages in our representation Moreover, we implement a service-oriented system providing knowledge querying service for other application systems based on our research result Keywords Knowledge representation, Vietnamese Legal Document System, Frame language, Production rule vii