Luận văn thạc sĩ công nghệ thông tin 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 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 1.2.2 Các nghiên cứu Legal Engineering 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 2.1 Mô hình hóa tri thức 2.1.1 Tri thức biểu diễn tri thức 2.1.2 Mơ hình tri thức 2.1.3 Phương pháp mơ hình hóa tri thức ngơn ngữ khung 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] 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 viii hướng dịch vụ phù hợp với triết lý công nghệ phần mềm đại, giúp tăng khả tái sử dụng, tăng tính linh hoạt, khả nâng cấp bảo trì độc lập từ giúp tăng chất lượng toàn hệ thống phần mềm [20] Chúng xây dựng hệ thống theo kiến trúc dịch vụ web theo tiêu chuẩn REST [21] Trong thiết kế này, hệ thống không lưu giữ trạng thái giao tiếp, hệ thống ứng dụng đóng vai trị máy khách chủ động lưu thông tin xác thực gửi chúng truy vấn Ngoài ra, hệ thống cung cấp giao diện quán bao gồm GET, POST, PUT, PATCH DELETE Hệ thống tạo nên mơ đun tương tác với Hình 4.3 bao gồm Khung chứa khung tri thức thực thể luật mối liên hệ, luật suy diễn Crawler giúp hệ tri thức tự động cập nhật có thơng tin từ nguồn internet Các giao diện giúp hệ thống tương tác với hệ khác cung cấp REST API Hình 4.3 Kiến trúc hệ sở tri thức Với kiến trúc trên, hệ sở tri thức cập nhật có thơng tin từ phía người dùng tìm kiếm internet Bên cạnh giao tiếp thơng qua giao thức chuẩn REST giúp cho việc cung cấp dịch vụ tới hệ ứng dụng dễ dàng, nâng cấp hệ thống tri thức tiến hành độc lập với hệ ứng dụng Dựa kiến trúc hệ thống trình bày phần trước, tiến hành cài đặt môi trường thực nghiệm Yêu cầu truy vấn gửi lên từ máy khách bao gồm nội dung truy vấn mốc thời gian Chúng tiến hành cài đặt hệ thống hướng dịch vụ máy chủ Centos 7.3.1611 có thông số kỹ thuật sau: 32 - Architecture: x86_64 CPU(s): Thread(s) per core: Core(s) per socket: Socket(s): CPU family: 15 Model: 37 Model name: AMD Opteron(tm) Processor 850 Stepping: CPU MHz: 1000.000 BogoMIPS: 1991.71 RAM: 6.0 GB Hệ thống tìm kiếm liệu thực luật suy diễn, sau trả kết phù hợp với yêu cầu truy vấn Bên cạnh mơ đun lấy liệu hệ thống có khả thu nhận văn phân tích thuộc tính nguồn định từ thông tin nhập liệu từ người quản lý hệ thống Hình 4.4 Truy vấn phản hồi client server Hệ thống hướng dịch vụ sử dụng hai hệ thống ứng dụng phát triển bạn sinh viên nhóm nghiên cứu Ứng dụng thứ 33 mang tên IEE (integrated editing environment) cung cấp dịch vụ soạn thảo cho người thường xuyên tạo lập hợp đồng, án hay văn hành IEE cung cấp tính tự động hồn thiện, gợi ý tên văn bản, gợi ý mẫu văn bản, tái định dạng kiểm lỗi tả Hình 4.5 Ứng dụng Hỗ trợ soạn thảo văn luật IEE Hình 4.6 Ứng dụng hỗ trợ đọc văn luật 34 Ứng dụng thứ hai hệ thống hỗ trợ đọc văn pháp luật trình duyệt web Khi sử dụng ứng dụng này, văn pháp luật xuất khung cửa sổ trình duyệt tự động đánh dấu Người sử dụng đọc thuộc tính văn trỏ chuột vào vùng đánh dấu Ứng dụng mang lại lợi ích cho người thường xuyên phải làm việc với văn pháp luật văn hành luật sư, nhân viên bảo hiểm, kế tốn, nhân viên pháp chế Hình 4.5 4.6 ảnh chụp hình hai ứng dụng 4.4 Đánh giá thực nghiệm Với kết thực nghiệm trình bày phía trên, thấy phương pháp đề xuất luận văn phù hợp với miền tri thức hệ thống văn pháp luật Việt Nam So sánh với thông tin cung cấp sở liệu quốc gia văn pháp luật hệ tri thức có điểm vượt trội áp dụng chế suy diễn để tính hiệu lực văn pháp luật Điều hứa hẹn cải tiến tương lai việc tự động hóa phần cơng việc văn pháp luật Bên cạnh đó, tính thực tiễn khả áp dụng phương pháp đề xuất chứng minh thông qua hai hệ thống ứng dụng có sử dụng sở tri thức đề tài Ứng dụng IEE (integrated editing environment) cung cấp dịch vụ soạn thảo cho người thường xuyên tạo lập hợp đồng, án hay văn hành Hệ thống hỗ trợ đọc văn pháp luật trình duyệt web mang lại lợi ích cho người thường xuyên phải làm việc với văn pháp luật văn hành luật sư, nhân viên bảo hiểm, kế toán, nhân viên pháp chế Thực nghiệm mở hướng nghiên cứu để cải thiện hệ thống tri thức Hiệu hệ thống chất lượng kết trả phụ thuộc nhiều vào chất lượng liệu hiệu thuật tốn khâu trích xuất thuộc tính phát quan hệ văn Chúng tiếp tục cải tiến cấu phần nghiên cứu 35 CHƯƠNG KẾT LUẬN Trong khuôn khổ luận văn thạc sỹ, nghiên cứu sở lý thuyết liên quan, đưa phân tích đặc điểm miền tri thức kỹ thuật sử dụng để mơ hình hóa tri thức để từ đưa phương pháp mơ hình tri thức cho hệ thống văn luật Bài tốn mơ hình hóa tri thức sở tốn trí tuệ nhân tạo ứng dụng công nghệ cao miền tri thức Trong luận văn, sau phân tích kỹ đặc điểm hệ thống văn pháp luật đặc điểm phương pháp mô hình hóa tri thức, chúng tơi đề xuất phương pháp kết hợp ngôn ngữ khung luật sinh để mơ hình hóa thực thể văn luật quan hệ chúng Những thực thể quan hệ biến đổi theo thời gian, đề tài chứng minh tính phù hợp hiệu phương pháp miền tri thức Chúng tơi tiến hành thực nghiệm để chứng minh tính khả thi phù hợp đề tài miền ứng dụng có kết bước đầu Cụ thể hệ thống thể số kết tốt so với kết nhập liệu thủ công sử dụng hệ thống ứng dụng nhóm nghiên cứu Bên cạnh cịn số điểm hồn thiện nghiên cứu để có cơng trình hồn chỉnh Thứ nhất, mơ hình tri thức chưa mô tả khái niệm như: Phần, Chương, Điều, Khoản văn pháp luật Vì vậy, việc phát văn có hiệu lực phần cách tự động chưa thực Thứ hai, mơ hình tri thức chưa phát điểm mâu thuẫn chồng chéo nội hệ tri thức Thứ ba, mơ hình tri thức chưa có chế xác định văn có nội dung trái luật, vi hiến, sai thẩm quyền Kết luận văn tiền đề cho nghiên cứu ứng dụng miền tri thức văn luật Đầu tiên toán trí tuệ nhân tạo sử dụng hệ tri thức tốn suy luận, tìm kiếm thơng tin, hỏi đáp tự động Tiếp hệ thống ứng dụng sử dụng trực tiếp mơ hình tri thức hỗ trợ cho người xây dựng, thực thi sử dụng pháp luật cải thiện suất lao động Bên cạnh đó, chúng tơi tiếp tục phát triển mở rộng mơ hình tri thức tri thức ẩn Đơn cử pháp luật nước theo truyền thống thông luật [40], công lý nguồn pháp luật tri thức ẩn cần phát qua phương pháp học máy thống kê 36 PHỤ LỤC A CÁC CĂN CỨ PHÁP LÝ Để đảm bảo tính đắn phương diện pháp lý phương pháp đề xuất, nêu văn có hiệu lực thời điểm luận văn hoàn thành Luật ban hành quy phạm pháp luật 2015 80/2015/QH13 quy định sau: “Điều Giải thích từ ngữ Trong Luật này, từ ngữ hiểu sau: Quy phạm pháp luật quy tắc xử chung, có hiệu lực bắt buộc chung, áp dụng lặp lặp lại nhiều lần quan, tổ chức, cá nhân phạm vi nước đơn vị hành định, quan nhà nước, người có thẩm quyền quy định Luật ban hành Nhà nước bảo đảm thực Đối tượng chịu tác động trực tiếp văn quy phạm pháp luật quan, tổ chức, cá nhân có quyền, nghĩa vụ, trách nhiệm chịu ảnh hưởng trực tiếp từ việc áp dụng văn sau ban hành Giải thích Hiến pháp, luật, pháp lệnh việc Ủy ban thường vụ Quốc hội làm rõ tinh thần, nội dung điều, khoản, điểm Hiến pháp, luật, pháp lệnh để có nhận thức, thực hiện, áp dụng đúng, thống pháp luật Điều Nguyên tắc xây dựng, ban hành văn quy phạm pháp luật Bảo đảm tính hợp hiến, tính hợp pháp tính thống văn quy phạm pháp luật hệ thống pháp luật Tuân thủ thẩm quyền, hình thức, trình tự, thủ tục xây dựng, ban hành văn quy phạm pháp luật Bảo đảm tính minh bạch quy định văn quy phạm pháp luật Bảo đảm tính khả thi, tiết kiệm, hiệu quả, kịp thời, dễ tiếp cận, dễ thực văn quy phạm pháp luật; bảo đảm lồng ghép vấn đề bình đẳng giới văn quy phạm pháp luật; bảo đảm yêu cầu cải cách thủ tục hành 37 Bảo đảm yêu cầu quốc phòng, an ninh, bảo vệ môi trường, không làm cản trở việc thực điều ước quốc tế mà Cộng hòa xã hội chủ nghĩa Việt Nam thành viên Bảo đảm công khai, dân chủ việc tiếp nhận, phản hồi ý kiến, kiến nghị cá nhân, quan, tổ chức trình xây dựng, ban hành văn quy phạm pháp luật Điều Ngôn ngữ, kỹ thuật văn quy phạm pháp luật Ngôn ngữ văn quy phạm pháp luật tiếng Việt Ngôn ngữ sử dụng văn quy phạm pháp luật phải xác, phổ thơng, cách diễn đạt phải rõ ràng, dễ hiểu Văn quy phạm pháp luật phải quy định cụ thể nội dung cần điều chỉnh, không quy định chung chung, không quy định lại nội dung quy định văn quy phạm pháp luật khác Tùy theo nội dung, văn quy phạm pháp luật bố cục theo phần, chương, mục, tiểu mục, điều, khoản, điểm; phần, chương, mục, tiểu mục, điều văn quy phạm pháp luật phải có tiêu đề Khơng quy định chương riêng tra, khiếu nại, tố cáo, khen thưởng, xử lý vi phạm văn quy phạm pháp luật khơng có nội dung Ủy ban thường vụ Quốc hội quy định thể thức kỹ thuật trình bày văn quy phạm pháp luật Quốc hội, Ủy ban thường vụ Quốc hội, Chủ tịch nước Chính phủ quy định thể thức kỹ thuật trình bày văn quy phạm pháp luật quan, người có thẩm quyền khác quy định Luật Điều 10 Số, ký hiệu văn quy phạm pháp luật Số, ký hiệu văn quy phạm pháp luật phải thể rõ số thứ tự, năm ban hành, loại văn bản, quan ban hành văn Việc đánh số thứ tự văn quy phạm pháp luật phải theo loại văn năm ban hành Luật, nghị Quốc hội, pháp lệnh, nghị Ủy ban thường vụ Quốc hội đánh số thứ tự theo loại văn nhiệm kỳ Quốc hội 38 Số, ký hiệu văn quy phạm pháp luật xếp sau: a) Số, ký hiệu luật, nghị Quốc hội xếp theo thứ tự sau: “loại văn bản: số thứ tự văn bản/năm ban hành/tên viết tắt quan ban hành văn số khóa Quốc hội”; b) Số, ký hiệu pháp lệnh, nghị Ủy ban thường vụ Quốc hội xếp theo thứ tự sau: “loại văn bản: số thứ tự văn bản/năm ban hành/tên viết tắt quan ban hành văn số khóa Quốc hội”; c) Số, ký hiệu văn quy phạm pháp luật không thuộc trường hợp quy định điểm a điểm b khoản xếp theo thứ tự sau: “số thứ tự văn bản/năm ban hành/tên viết tắt loại văn - tên viết tắt quan ban hành văn bản” Điều 11 Văn quy định chi tiết Văn quy phạm pháp luật phải quy định, cụ thể để có hiệu lực thi hành Trong trường hợp văn có điều, khoản, điểm mà nội dung liên quan đến quy trình, quy chuẩn kỹ thuật nội dung khác cần quy định chi tiết điều, khoản, điểm giao cho quan nhà nước có thẩm quyền quy định chi tiết Văn quy định chi tiết quy định nội dung giao không quy định lặp lại nội dung văn quy định chi tiết Cơ quan giao ban hành văn quy định chi tiết không ủy quyền tiếp Dự thảo văn quy định chi tiết phải chuẩn bị trình đồng thời với dự án luật, pháp lệnh phải ban hành để có hiệu lực thời điểm có hiệu lực văn điều, khoản, điểm quy định chi tiết Trường hợp quan giao quy định chi tiết nhiều nội dung văn quy phạm pháp luật ban hành văn để quy định chi tiết nội dung đó, trừ trường hợp cần phải quy định, văn khác Trường hợp quan giao quy định chi tiết nội dung nhiều văn quy phạm pháp luật khác ban hành văn để quy định chi tiết 39 Điều 12 Sửa đổi, bổ sung, thay thế, bãi bỏ đình việc thi hành văn quy phạm pháp luật Văn quy phạm pháp luật sửa đổi, bổ sung, thay bãi bỏ văn quy phạm pháp luật quan nhà nước ban hành văn bị đình việc thi hành bãi bỏ văn quan nhà nước cấp có thẩm quyền Văn sửa đổi, bổ sung, thay thế, bãi bỏ đình việc thi hành văn khác phải xác định rõ tên văn bản, phần, chương, mục, tiểu mục, điều, khoản, điểm văn bị sửa đổi, bổ sung, thay thế, bãi bỏ đình việc thi hành Văn bãi bỏ văn quy phạm pháp luật phải đăng Công báo, niêm yết theo quy định Khi ban hành văn quy phạm pháp luật, quan ban hành văn phải sửa đổi, bổ sung, bãi bỏ văn bản, phần, chương, mục, tiểu mục, điều, khoản, điểm văn quy phạm pháp luật ban hành trái với quy định văn văn đó; trường hợp chưa thể sửa đổi, bổ sung phải xác định rõ văn danh mục văn bản, phần, chương, mục, tiểu mục, điều, khoản, điểm văn quy phạm pháp luật mà ban hành trái với quy định văn quy phạm pháp luật có trách nhiệm sửa đổi, bổ sung trước văn quy phạm pháp luật có hiệu lực Một văn quy phạm pháp luật ban hành để đồng thời sửa đổi, bổ sung, thay thế, bãi bỏ nội dung nhiều văn quy phạm pháp luật quan ban hành.” Nghị định 34/2016/NĐ-CP quy định sau: “Điều 38 Xác định hiệu lực văn quy phạm pháp luật Xác định hiệu lực văn quy phạm pháp luật ban hành: Ngày có hiệu lực văn quy phạm pháp luật phải quy định cụ thể văn quy phạm pháp luật theo quy định Điều 151 Điều 152 Luật Cơ quan chủ trì soạn thảo phải dự kiến cụ thể ngày có hiệu lực văn quy phạm pháp luật dự thảo văn quy phạm pháp luật sở bảo đảm đủ thời gian để quan, tổ chức, cá nhân có điều kiện tiếp cận văn bản, đối tượng thi hành có điều kiện chuẩn bị thi hành văn Xác định văn quy định chi tiết thi hành hết hiệu lực: 40 a) Văn quy phạm pháp luật hết hiệu lực văn quy phạm pháp luật quy định chi tiết thi hành điều, khoản, điểm giao quy định chi tiết thi hành văn đồng thời hết hiệu lực; b) Trường hợp văn quy phạm pháp luật quy định chi tiết hết hiệu lực phần nội dung quy định chi tiết phần hết hiệu lực văn quy định chi tiết hết hiệu lực đồng thời với phần hết hiệu lực văn quy định chi tiết Trường hợp xác định nội dung hết hiệu lực văn quy định chi tiết thi hành văn hết hiệu lực toàn bộ; c) Trường hợp văn quy định chi tiết nhiều văn quy phạm pháp luật, có văn quy định chi tiết hết hiệu lực nội dung văn quy định chi tiết thi hành hết hiệu lực đồng thời với văn quy định chi tiết hết hiệu lực Trường hợp xác định nội dung hết hiệu lực văn quy định chi tiết thi hành văn hết hiệu lực toàn bộ.[ ]” 41 PHỤ LỤC B CÀI ĐẶT CÁC LUẬT SINH Để tiện cho việc thuyết minh, luật sinh chương trình bày văn Khi tiến hành cài đặt luật sinh thực tế, chúng sử dụng mẫu thiết kế lọc (Filter Design Pattern) Đây mẫu thiết kế cho phép lọc tập hợp đối tượng dựa điều kiện cụ thể Trong trường hợp này, lọc xây dựng từ luật sinh đề xuất chương Hình minh họa thuật toán áp dụng luật sinh Minh họa thuật toán áp dụng luật sinh Đầu tiên, liệu chứa thông tin văn quan hệ chúng nạp Sau đó, dựa chiến lược áp dụng luật trình bày Mục 3.3.3, lọc thích hợp lựa chọn Sau chọn lọc, hệ thống áp dụng lọc để loại bỏ đối tượng khơng phù hợp Quá trình tiếp tục khơng có lọc thích hợp cịn áp dụng tập hợp đối tượng khơng cịn thay đổi 42 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Nguyễn Đăng Dung, Đặng Minh Tuấn Giáo trình Luật hiến pháp Việt Nam, NXB Đại Học Quốc Gia, 2013 [2] Hà Hùng Cường “Hoàn thiện hệ thống pháp luật đáp ứng yêu cầu xây dựng Nhà nước pháp quyền XHCN Nhà nước pháp quyền XHCN” Tạp chí Nghiên cứu lập pháp số 18 (139 + 140), 2009 [3] Lê Việt Trường “Vai trò ủy ban Quốc hội đảm bảo tính thống hệ thống pháp luật” Tạp chí Nghiên cứu lập pháp số (169), 2010 [4] Quốc hội nước Cộng hòa xã hội chủ nghĩa Việt Nam Luật Ban hành văn quy phạm pháp luật 2015 - 80/2015/QH13 [5] Trường Đại học Luật Hà Nội Giáo trình lý luận Nhà nước Pháp luật NXB Công an nhân dân, Hà Nội, năm 2008 [6] Trường Đại học luật Hà Nội Giáo trình xây dựng văn pháp luật NXB Công an nhân dân, Hà Nội, 2008 [7] Nguyễn Thanh Thuỷ Trí tuệ nhân tạo: Các phương pháp giải vấn đề xử lý tri thức NXB Giáo dục, 1995-1999 [8] Nguyễn Cửu Việt Giáo Trình Nhà Nước Và Pháp Luật Đại Cương NXB Đại Học Quốc Gia, 2000 Tiếng Anh [9] 2016 the Year of the Virtual Assistant? L'Atelier : Accelerating Innovation Web 21 Feb 2017 [10] Berners-Lee, Tim, James Hendler, and Ora Lassila "The semantic web." Scientific american 284.5 (2001): 28-37 43 [11] Brachman, Ronald J., and James G Schmolze "An overview of the KL-ONE knowledge representation system." Cognitive science 9.2 (1985): 171-216 [12] Bechhofer, Sean "OWL: Web ontology language." Encyclopedia of Database Systems Springer US, 2009 2008-2009 [13] Brickley, Dan, and Ramanathan V Guha "RDF vocabulary description language 1.0: RDF schema." (2004) [14] Bach, Ngo Xuan, LE MINH NGUYEN, and Akira Shimazu "RRE task: The task of recognition of requisite part and effectuation part in law sentences." International Journal of Computer Processing of Languages 23.02 (2011): 109-130 [15] Bach, Ngo Xuan, et al "A two-phase framework for learning logical structures of paragraphs in legal articles." ACM Transactions on Asian Language Information Processing (TALIP) 12.1 (2013): [16] Chaudhri, Vinay K., and Zahra Mohammadi Zadeh "Knowledge Representation and Reasoning." Web 21 Feb 2017 [17] D Poole, A K Mackworth, and R Goebel Computational Intelligence: A Logical Approach Oxford University Press, Oxford, UK, 1998 [18] Davies, John, Rudi Studer, and Paul Warren, eds Semantic Web technologies: trends and research in ontology-based systems John Wiley & Sons, 2006 [19] Daconta, Michael C., Leo J Obrst, and Kevin T Smith The Semantic Web: a guide to the future of XML, Web services, and knowledge management John Wiley & Sons, 2003 [20] Erl, Thomas Soa: principles of service design Prentice Hall Press, 2007 [21] Fielding Dissertation: CHAPTER 5: Representational State Transfer (REST) Web 12 Mar 2017 [22] Fikes, Richard, and Tom Kehler The role of frame-based representation in reasoning Communications of the ACM 28.9 (1985): 904-920 44 [23] Gruber, Thomas R "A translation approach to portable ontology specifications." Knowledge acquisition 5.2 (1993): 199-220 [24] "How Google Search Works - Search Console Help." Google Google Web 24 Mar 2017 [25] Hayes-Roth, Frederick "Rule-based systems." Communications of the ACM 28.9 (1985): 921-932 [26] "Go beyond Artificial Intelligence with Watson." IBM Watson N.p., n.d Web 19 Jan 2017 [27] Jackson, Peter "Introduction to expert systems." (1986) [28] Katayama, Takuya, et al "e-Society and legal engineering." Journal of the Japanese Society for Artificial Intelligence 23.4 (2008): 529-536 [29] Katayama, Takuya Perspective of Verifiable and Evolvable E-Society Web 19 Feb 2017 [30] Adapted from “Knowledge Engineering course (CM3016), by K Hui 2008-2009 [31] Nakamura, Makoto, Shunsuke Nobuoka, and Akira Shimazu "Towards translation of legal sentences into logical forms." Annual Conference of the Japanese Society for Artificial Intelligence Springer Berlin Heidelberg, 2007 [32] Narayanan, Ajit Law, Computer Science, and Artificial Intelligence Intellect Books, 1998 [33] Noy, N.F., and McGuinness D.L (2001) Ontology Development 101: A Guide to Creating Your First Ontology SMI Technical report SMI-20010880, Stanford University, 2001 [34] Newell, Allen, and Herbert Alexander Simon GPS, a program that simulates human thought No P-2257 RAND CORP SANTA MONICA CALIF, 1961 [35] Knowledge (1989) Oxford English dictionary online (2nd ed.), Retrieved from https://en.oxforddictionaries.com/definition/knowledge 45 [36] [37] Russell, Stuart J.; Norvig, Peter (2003), Artificial Intelligence: A Modern Approach (2nd ed.), Upper Saddle River, New Jersey: Prentice Hall, ISBN 0-13-790395-2, chpt Sowa, John F., ed Principles of semantic networks: Explorations in the representation of knowledge Morgan Kaufmann, 2014 [38] Shimazu, Akira, and Minh Le Nguyen "Legal Engineering and Its Natural Language Processing." Knowledge and Systems Engineering Springer International Publishing, 2014 7-7 [39] "Architecture." Semantic Web - XML2000 - Slide "Architecture" Web 24 Feb 2017 [40] "What Is the Difference between Common and Civil Law?" The Economist The Economist Newspaper, 16 July 2013 Web 23 Jan 2017 [41] "Law and Computer Science Collaborate to Change the Future of Legal Research." University of Toronto News Web 20 Feb 2017 [42] World Wide Web Consortium "RDF 1.1 concepts and abstract syntax." (2014) 46 ... 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... để mơ hình hóa tri thức để từ đưa phương pháp mơ hình tri thức cho hệ thống văn luật Bài tốn mơ hình hóa tri thức sở tốn trí tuệ nhân tạo ứng dụng công nghệ cao miền tri thức Trong luận văn, sau... cho hệ thống văn pháp luật tiếng Việt, sau cài đặt mơ hình vào hệ thống hướng dịch vụ, cung cấp dịch vụ tri thức cho hệ thống ứng dụng Phương pháp sử dụng luận văn phương pháp biểu diễn tri thức