Luận văn này có kết cấu nội dung gồm 3 chương: Chương 1 - Khai phá dữ liệu và các hệ thống ra quyết định; Chương 2 - Thử nghiệm hệ thống trợ giúp ra quyết định hòa giải, xét xử; Chương 3 - Xây dựng hệ thống hỗ trợ ra quyết định về các tranh chấp hôn nhân và gia đình. Mời các bạn cùng tham khảo!
HỌC VIỆN CƠNG NGHỆ BƯU CHÍNH VIỄN THƠNG - Nguyễn Tiến Hiệp XÂY DỰNG HỆ THỐNG HỖ TRỢ RA QUYẾT ĐỊNH HỊA GIẢI, ĐỐI THOẠI TRONG CÁC TRANH CHẤP HƠN NHÂN VÀ GIA ĐÌNH Chun ngành: Hệ thống thơng tin Mã số: 8.48.01.04 TÓM TẮT LUẬN VĂN THẠC SĨ HÀ NỘI - 2020 Luận văn hoàn thành tại: HỌC VIỆN CƠNG NGHỆ BƯU CHÍNH VIỄN THƠNG Người hướng dẫn khoa học: PGS TS Đỗ Trung Tuấn (Ghi rõ học hàm, học vị) Phản biện 1: PGS.TS Nguyễn Mạnh Hùng … Phản biện 2: TS Trần Minh Tân………………………… Luận văn bảo vệ trước Hội đồng chấm luận văn thạc sĩ Học viện Cơng nghệ Bưu Viễn thơng Vào lúc: ngày tháng năm Có thể tìm hiểu luận văn tại: - Thư viện Học viện Cơng nghệ Bưu Viễn thơng MỞ ĐẦU Tính từ năm 2012 đến nay, số lượng vụ án loại tăng gấp hai lần Tịa án ln tình trạng q tải; nhiều vụ án dân sự, hành phải xét xử qua nhiều cấp nhiều năm; án, định Tịa có hiệu lực pháp luật chậm thi hành ảnh hưởng đến quyền, lợi ích hợp pháp tổ chức, cá nhân, ảnh hưởng đến niềm tin người dân Tòa án Việc khai phá sở liệu án, định Tịa án từ hỗ trợ Hịa giải viên, Thẩm phán, lãnh đạo Tịa án xem xét đánh giá vụ việc sau thụ lý trước xét xử, để từ có định hướng hỗ trợ hịa giải, đối thoại giúp bên giải quyết, rút ngắn thời gian giải vụ việc, tiết kiệm kinh phí Nhà nước bên, hàn gắn rạn nứt quan hệ xã hội, góp phần xây dựng khối đồn kết nhân dân; qua việc hịa giải, đối thoại, người tiến hành hòa giải, đối thoại giải thích, nâng cao nhận thức pháp luật cho bên, giúp việc thi hành thuận lợi Xuất phát từ nhu cầu thực tế lý học viên chọn đề tài “Xây dựng hệ thống trợ giúp định hòa giải, đối thoại tranh chấp hôn nhân gia đình” Luận văn chia thành chương Chương đề cập hệ thống trợ giúp định, nhu cầu khai phá liệu định thuật toán phân loại ID3 C4.5; Chương thể việc thực phân loại nhờ định, sử dụng thuật toán C4.5 Luận văn sử dụng cài đặt J48 phần mềm Weka; Chương đề cập sở liệu án hôn nhân sử dụng môi trường Visual C# để trợ giúp định giải vụ, việc hôn nhân gia đình Hệ quản trị sở liệu SQL SERVER Cuối luận văn phần kết luận, tự đánh giá kết đạt phương hướng nghiên cứu CHƯƠNG KHAI PHÁ DỮ LIỆU VÀ CÁC HỆ THỐNG RA QUYẾT ĐỊNH 1.1.Tổng quan khai phá liệu Khai phá liệu cơng việc trích rút tri thức cách tự động hiệu từ khối lượng liệu lớn Tri thức thường dạng mẫu có tính chất khơng tầm thường, khơng tường minh, chưa biết đến có tiềm mang lại lợi ích Có số nhà nghiên cứu cịn gọi khai phá liệu phát tri thức sở liệu Ở xem khai phá liệu cốt lõi trình phát tri thức 1.1.2 Kiến trúc hệ thống khai phá liệu Kiến trúc hệ thống khai phá liệu điển hình cho hình đó: (i) CSDL, kho liệu hoặc thông tin lưu trữ khác; (ii) Máy chủ CSDL hay máy chủ kho liệu; (iii) Cơ sở tri thức; (iv) Máy khai phá liệu; (v) Module đánh giá mẫu; (vi) Giao diện người dùng 1.1.3 Các chức khai phá liệu Nhìn chung nhiệm vụ hệ khai phá liệu phân chia thành hai loại: mô tả dự đốn Cơng việc khái phá liệu loại mơ tả nhắm biểu thị đặc điểm chung liệu có CSDL Cơng việc khai phá liệu loại dự đoán nhằm thực suy luận liệu để đưa dự đốn 1.1.4 Các phương pháp khai phá liệu Có nhiều phương pháp thực việc khai phá liệu theo có loại cơng cụ sau: (i) Các phương pháp thống kê; (ii) Cây định; (iii) Lập luận theo trường hợp; (iv) Tính tốn nơ ron; (v) Các tác nhân thơng minh; (vi) Các thuật tốn di truyền; (vii) Các cơng cụ khác 1.1.5 Đặc trưng hóa phân biệt Đặc trưng hóa việc tổng kết đặc điểm hay tính chất chung lớp liệu đích Dữ liệu tương đương với lớp người dùng đặc tả truy vấn CSDL 1.1.5 Phân tích kết hợp Phân tích kết hợp việc khám phá luật kết hợp tập lớn liệu Các luật kết hợp thể mối quan hệ giá trị thuộc tính mà ta nhận thấy tự tần suất xuất với Các luật kết hợp khám phá từ tập lớn ghi tập luật có ý nghĩa giúp cho nhà doanh nghiệp định 1.1.6 Phân lớp dự đốn Phân lớp q trình tìm tập mơ hình (hoặc chức năng) mô tả phân biệt lớp liệu Các mơ hình sử dụng cho mục đích dự đoán lớp đối tượng 1.1.7 Phân cụm Khơng giống phân lớp dự đốn, phân cụm phân tích đối tượng liệu chưa biết nhãn lớp, nghĩa nhãn lớp khơng tồn q trình huấn luyện liệu Phân cụm sử dụng để đưa nhãn lớp 1.1.8 Phân tích phần tử ngồi Một sở liệu chứa đối tượng liệu khơng tn theo mơ hình liệu Những đối tượng gọi phần tử Hầu hết phương pháp khai phá liệu coi phần tử nhiễu loại bỏ chúng 1.2 Khái niệm hệ thống hỗ trợ định 1.2.1 Quyết định 1.2.1.1 Khái niệm định Theo Simon (1960); Costello & Zalkind 1963; Churchman (1968) lựa chọn “đường lối hành động”, hay “chiến lược hành động” Fishburn (1964) dẫn đến mục tiêu mong muốn” Churchman (1968) “Một q trình lựa chọn có ý thức hai hay nhiều phương án để chọn phương án tạo kết mong muốn điều kiện ràng buộc biết” 1.2.1.2 Hiểu rõ thêm định Việc đưa định vấn đề xuất khắp lĩnh vực, hoạt động đời sống mà không nhận Từ việc đơn giản chọn quần áo để dự tiệc công việc lớn lao phân bố ngân sách vào chương trình quốc gia công việc đưa định Vậy đưa định chọn giải pháp khả thi giải pháp mà theo người đưa định phù hợp 1.2.2 Quá trình định 1.2.2.1 Phân loại định Có thể phân bốn loại định sau: Quyết định có cấu trúc (Structured Decision): Các định mà người định biết chắn Ví dụ: Bài toán định thưởng, phạt Nhân viên Quyết định khơng có cấu trúc (NonStructured Decision): Các định mà người định biết có nhiều câu trả lời gần khơng có cách để tìm câu trả lời xác Ví dụ: Bài toán định chiến lược phát triển Nhà trường Quyết định đệ quy (Recurring Decision): Các định lặp lặp lại Quyết định không đệ quy (Nonrecurring Decision): Các định không xảy thường xuyên 1.2.2.2 Các giai đoạn trình định Theo Simon, trình định quan hệ chúng giới thiệu hình đây: Pha trí tuệ Các mục tiêu tổ chức Thu thập liệu Xác định sở hữu v n đề Phát biểu v n đề Đơn giản hóa Các giả thiết Kiểm chứng mơ hình Phát biểu v n đề Pha thiết kế Tạo mơ hình Thiết lập tiêu chí lựa chọn Tìm kiếm phướng án thay Dự đoán đo kết Các giải pháp thay Thực tế Thành cơng Tìm kiếm quết thủ tục Xác định v n đề Phân loại v n đề Thử nghiệm, kiểm tra giải pháp đề xu t Cài đặt giải pháp Pha lựa chọn Giải pháp cho mơ hình Chọn phương án tốt nh t Phân tích nhạy cảm Lên kế hoạch cài đặt Giải pháp Khơng thành cơng Hình 1.1 Các giai đoạn trình định (Nguồn: “Hệ trợ giúp định”, nxb Đại học Quốc gia Hà Nội, 2016) Giai đoạn thứ nhận định (Intelligence): Tìm kiếm tình dẫn đến việc phải định, nhận dạng vấn đề, nhu cầu, hội, rủi ro Giai đoạn thứ hai thiết kế (Design): Phân tích hướng tiếp cận để giải vấn đề, đáp ứng nhu cầu, tận dụng hội, hạn chế rủi ro Giai đoạn thứ ba lựa chọn (Choice): Cân nhắc đánh giá giải pháp chọn giải pháp tối ưu Cuối tiến hành định (Implementation): Thực giải pháp chọn, theo dõi kết điều chỉnh thấy cần thiết 1.2.2.3 Tìm kiếm đánh giá lựa chọn phần quan trọng hỗ trợ định Giai đoạn lựa chọn (Choice Phase) giai đoạn quan trọng trình định Giai đoạn bao gồm ba bước sau đây: (i):Tìm kiếm lựa chọn; (ii): Đánh giá lựa chọn; (iii):Giới thiệu lựa chọn 1.2.3 Khái niệm hệ hỗ trợ định Trong thập niên 1970, Scott Norton đưa khái niệm hệ trợ giúp định (Decision Support System, DSS) Ông định nghĩa “DSS hệ dựa máy tính, có tính tương tác, giúp nhà định dùng liệu mơ hình để giải toán phi cấu trúc, toán mờ, phức tạp với lời giải khơng hồn chỉnh” Cho đến chưa có định nghĩa thống DSS Tuy nhiên tất đồng ý mục đích DSS hỗ trợ cải tiến việc định 1.3 Các thành phần hệ thống định 1.3.1 Các thành phần Một hệ hỗ trợ định gồm có ba thành phần chính: Quản lý liệu; Quản lý mơ hình; Quản lý giao diện người dùng Môi trường Khách hàng Các trình : Thủ tục Chương trình Công cụ Hoạt động Quyết định Đầu vào : Vật liệu thơ Giá Tài ngun Điều kiện khí hậu Chính quyền Đầu : Hiệu Hậu Sản phẩm cuối Phân phối dịch vụ Cạnh tranh Người định Biên hệ thống Nhà cung c p Cổ đông Phản hồi Ngân hàng Hình 1.2 Hệ thống định mơi trường (Nguồn: “Hệ trợ giúp định”, nxb Đại học Quốc gia Hà Nội, 2016) 1.3.2 Mơ hình định Một đặc trưng hệ hỗ trợ định phải có mơ hình hỗ trợ định Việc chọn lựa xây dựng mơ hình nằm giai đoạn thứ (Design Phase) trình định Mơ hình khái qt hóa hay trừu tượng hóa vấn đề thực tế thành mơ hình định tính hay định lượng Đó quy trình kết hợp khoa học (sự xác, logic) nghệ thuật (sự sáng tạo) Một mô hình gồm ba thành phần bản: Decision Variables: Đây lựa chọn xác định người định Chẳng hạn toán định thưởng phạt nhân viên … Các biến không điều khiển Các biến định Các mối quan hệ toán học Các biến kết Hình 1.3 Cấu trúc chung mơ hình định lượng (Nguồn: “Hệ trợ giúp định”, nxb Đại học Quốc gia Hà Nội, 2016) Uncontrollable Variables: Đây biến không nằm kiểm soát người định (bị tác động yếu tố bên ngồi) Chẳng hạn tốn là… Result Variables: Đây biến kết mơ hình Chẳng hạn toán đây… 1.4 Phân loại hệ thống định Hệ hỗ trợ định phân loại dựa nhiều tiêu chí Hiện nay, chưa có cách phân loại thống Sau hai cách phổ biến Theo [4] có tất năm loại hệ hỗ trợ định: Hướng giao tiếp (Communication, Driven DSS); Hướng liệu (Data, Driven DSS); Hướng tài liệu (Document, Driven DSS); Hướng tri thức (Knowledge, Driven DSS); Hướng mơ hình (Model, Driven DSS) 1.5 Cây định 1.5.1 Khái niệm Cây định cấu trúc định có dạng Cây định nhận đầu vào giá trị thuộc tính mơ tả đối tượng hay tình trả giá trị rời rạc Mỗi thuộc tính đầu vào gọi mẫu hay ví dụ, đầu gọi loại hay nhãn phân loại Thuộc tính đầu vào cịn gọi đặc trưng nhận giá trị rời rạc hoặc liên tục Để cho đơn giản, trước tiên ta xem xét thuộc tính rời rạc, sau mở rộng cho trường hợp thuộc tính nhận giá trị liên tục Cây định biểu diễn dạng cấu trúc (xem ví dụ hình 1.4) Mỗi nút trung gian, tức nút nút lá, tương ứng với phép kiểm tra thuộc tính Hình 1.4 Ví dụ định Trong định: Gốc: node Nút trong: biểu diễn kiểm tra thuộc tính đơn (hình chữ nhật) Nhánh: biểu diễn kết kiểm tra nút (mũi tên) Nút lá: biểu diễn lớp hay phân phối lớp (hình trịn) 1.5.3 Đánh giá định lĩnh vực khai phá liệu 1.5.3.1 Sức mạnh định Cây định có sức mạnh sau [12]: Khả sinh quy tắc hiểu Khả thực thi lĩnh vực hướng quy tắc Dễ dàng tính tốn phân lớp Khả xử lý với thuộc tính liên tục thuộc tính rời rạc Thể rõ ràng thuộc tính tốt 1.5.3.2 Điểm yếu định Dù có sức mạnh bật trên, định khơng tránh khỏi có điểm yếu Đó định khơng thích hợp với toán với mục tiêu dự đốn giá trị thuộc tính liên tục thu nhập, huyết áp hay lãi xuất ngân hàng, … Cây định khó giải với liệu thời gian liên tục không bỏ nhiều công sức cho việc đặt biểu diễn liệu theo mẫu liên tục Dễ xảy lỗi có q nhiều lớp Chi phí tính toán đắt để đào tạo 11 CHƯƠNG THỬ NGHIỆM HỆ THỐNG TRỢ GIÚP RA QUYẾT ĐỊNH HÒA GIẢI, XÉT XỬ Chương trình bày việc sử dụng phần mềm Weka để thực thuật toán phân lớp liệu án nhân Lựa chọn sử dụng thuật tốn J48 thuật tốn J48 Weka cài đặt thuật toán C4.5 2.1 Chuẩn bị liệu Dữ liệu đầu vào cung cấp dạng tệp excel với 265 án, định có hiệu lực Tòa án liệu mẫu Tòa án nhân dân thành phố Hà Nội sổ theo dõi giải vụ, việc nhân gia đình Đưa tập liệu vào xử lý: Là bảng tính excel sau: Hình 2.1 Dữ liệu sổ theo dõi vụ việc nhân gia đình (Nguồn: Tịa án nhân dân thành phố Hà Nội) Trong qui trình khai phá liệu, công việc xử lý liệu trước đưa vào mơ hình cần thiết, bước làm cho liệu có ban đầu qua thu thập liệu (gọi liệu gốc ordinal data) áp dụng (thích hợp) với mơ hình khai phá liệu (data mining model) cụ thể Tất giá trị cụ thể gán nhãn thể bảng sau: Bảng 2.1 Biến số hóa liệu “độ tuổi” 12 STT Giá trị thuộc tính Gán nhãn Độ tuổi nguyên đơn nhỏ hoặc 30 tuoi_nguyen_don: 30 Độ tuổi bị đơn nhỏ hoặc 30 tuoi_bi_don: 30 Bảng 2.2 Biến số hóa liệu “con chung” STT Giá trị thuộc tính Gán nhãn Có chung co_chung: co Khơng có chung co_chung: khong Bảng 2.3 Biến số hóa liệu “độ lệch tuổi” STT Giá trị thuộc tính Gán nhãn Chênh lệch tuổi nguyên đơn bị đơn do_lech_tuoi: khoảng nhỏ hoặc 10 Bảng 2.4 Biến số hóa liệu “quan hệ pháp luật” STT Giá trị thuộc tính Gán nhãn Mâu thuẫn gia đình quan_he_phap_luat: MTGD Yếu tố nước ngồi quan_he_phap_luat: NN Ngoại tình quan_he_phap_luat: NT Cờ bạc, rượu chè, ma túy quan_he_phap_luat: TNXH Bệnh tật, khơng có quan_he_phap_luat: BT Một người tích quan_he_phap_luat: MT Mâu thuẫn kinh tế quan_he_phap_luat: MTKT Bạo lực gia đình quan_he_phap_luat: BLGD Bảng 2.5 Ý nghĩa biến “quyết định” 13 STT Giá trị thuộc tính Gán nhãn Hịa giải quyet_dinh: Hoagiai Xét xử quyet_dinh: Xetxu Sau chuẩn hóa dựa bảng mơ tả có liệu đầu tệp data_toaan.arff: Hình 2.2 Dữ liệu sau chuẩn hóa 2.2 Sử dụng J48 a Lựa chọn số Information Gain: Sau chạy thuật toán với lựa chọn ta thu kết sau: 14 Hình 2.3 Kết thực với Information Gain Đánh giá kết phân lớp với mẫu liệu số 14, kích thước 20 thời gian thực 0.01s i Các số phân lớp: Độ phân lớp xác liệu: Độ phân lớp đạt kết xác cao thuật tốn với 221/265 tương đương 83.3962 %; Độ phân lớp khơng xác liệu: Độ phân lớp đạt kết khơng xác thuật tốn 44/265 tương đương 16.6038 % ii Đánh giá số Information Gain cho thuộc tính: Bảng 2.6 Bảng xếp hạng số Information Gain Xếp hạng Thuộc tính đặc trưng Chỉ số Information Gain quan_he_phap_luat 0.26020 tuoi_nguyen_don 0.02206 do_lech_tuoi 0.01021 co_chung 0.00511 tuoi_bi_don 0.00137 b Lựa chọn số Gain Ratio: Sau chạy thuật toán với lựa chọn ta thu kết sau: Hình 2.3 Kết thực với Gain Ratio 15 Đánh giá kết phân lớp với mẫu liệu số 14, kích thước 20 thời gian thực 0.01s i Các số phân lớp: Độ phân lớp xác liệu: Độ phân lớp đạt kết xác cao thuật tốn với 221/265 tương đương 83.3962 %; Độ phân lớp khơng xác liệu: Độ phân lớp đạt kết không xác thuật tốn 44/265 tương đương 16.6038 % ii Đánh giá số Information Gain cho thuộc tính: Bảng 2.7 Bảng xếp hạng số Information Gain Xếp hạng Thuộc tính đặc trưng Chỉ số Information Gain quan_he_phap_luat 0.0893 tuoi_nguyen_don 0.02245 do_lech_tuoi 0.00902 co_chung 0.0056 tuoi_bi_don 0.00164 Cả hai lựa chọn cho kết lầ mơ hình định: Hình 2.3 Kết thực Cả hai lựa chọn cho sinh luật nhau: Rule 1: IF quan_he_phap_luat = "MTGD" THEN quyet_dinh="Xetxu"; Rule 2: IF quan_he_phap_luat = "NN" THEN quyet_dinh="Hoagiai"; 16 Rule 3: IF quan_he_phap_luat = "NT" AND co_chung = "khong" AND tuoi_nguyen_don="30" THEN quyet_dinh="Hoagiai"; Rule 5: IF quan_he_phap_luat = "NT" AND co_chung = "co" THEN quyet_dinh="Hoagiai"; Rule 6: IF quan_he_phap_luat = "TNXH" THEN quyet_dinh="Xetxu"; Rule 7: IF quan_he_phap_luat = "BT" AND do_lech_tuoi="10" THEN quyet_dinh="Hoagiai"; 10 Rule 10: IF quan_he_phap_luat = "MT" AND tuoi_bi_don="30" AND co_chung="khong" THEN quyet_dinh="Xetxu"; 12 Rule 12: IF quan_he_phap_luat = "MT" AND tuoi_bi_don=">30" AND co_chung="co" THEN quyet_dinh="Hoagiai"; 13 Rule 13: IF quan_he_phap_luat = "MTKT" THEN quyet_dinh="Xetxu"; 14 Rule 14: IF quan_he_phap_luat = "BLGD" THEN quyet_dinh="Xetxu"; 2.3 Kết luận Từ liệu đầu vào đánh giá độ hiệu phân lớp liệu cao với độ xác 83.3962 %, khơng xác thuật tốn 16.6038 % Với việc tự thay đổi định thêm định thực tế vào sở liệu sẵn có, phần mềm khơng ngừng phát triển hồn thiện nhằm đưa định xác, sát với thực tế Chương thể việc phân lớp án hôn nhân với phần mềm Weka Với luật sinh sở để thực xây dựng phần mềm hệ thống hỗ 17 trợ định hòa giải, đối thoại trình bày chương luận văn 18 CHƯƠNG XÂY DỰNG HỆ THỐNG HỖ TRỢ RA QUYẾT ĐỊNH VỀ CÁC TRANH CHẤP HƠN NHÂN VÀ GIA ĐÌNH Chương trình bày trạng xử lí liệu xử án nhân phân tích, thiết kế, xây dựng sở liệu SQL SERVER, nhằm trợ giúp định xử án hôn nhân 3.1 Nhu cầu sở liệu án hôn nhân gia đình 3.1.1 Nhu cầu xây dựng sở liệu án, định Tòa án Từ ngày 01/10/2018 đến ngày 30/9/2019, Tòa án thụ lý 625.979 vụ việc, giải 500.361 vụ việc (đạt tỷ lệ 80%); so với năm 2018, số vụ việc thụ lý tăng 69.141 vụ (bằng 12,4%), giải tăng 58.808 vụ (bằng13,3%) Qua khảo sát khó khăn thực tế tiếp nhận đơn khởi kiện cụ thể với lĩnh vực hôn nhân gia đình Thẩm phán phân cơng xem xét cần nghiên cứu kỹ nội dung đơn thông tin nguyên đơn, bị đơn để định xem vụ việc hịa giải hay khó hịa giải mà phải mở phiên tòa xét xử Việc định cần nhanh chóng khơng ảnh hưởng đến quyền lợi người dân, nhiên với lượng vụ việc ngày lớn áp lực khơng nhỏ Với ngành Tịa án hướng tới tương lai phát triển Tịa án thơng minh dựa việc khai phá kho liệu án, định Tịa án hỗ trợ cơng tác xem xét giải vụ việc có vụ việc nhân gia đình Cùng với việc đẩy mạnh cải cách hành hướng tới giải vụ việc nhanh chóng, cần xây dựng sở liệu phần mềm áp dụng khai liệu án hỗ trợ định nhanh chóng kịp thời 3.1.2 Hiện trạng liệu án nhân gia đình Nội dung án ngành Tòa án ghi sổ theo dõi hoặc số đơn vị ghi lại bảng tính, có nhiều đặc trưng Tuy nhiên chưa có phần mềm quản lý lữu trữ tập trung sở liệu án, định Tòa án Nội dung gọi sổ thụ lý theo dõi thống kê kết giải vụ việc nhân gia đình 19 Hình 3.1 Thí dụ thơng tin án 3.2 Phân tích tốn quản lý án nhân 3.2.1 Thông tin nguyên đơn Các thông tin bên Nguyên đơn: (i): Họ tên; (ii): Giới tính: Nam/Nữ; (iii): Năm sinh; (iv): Tuổi: Tuổi nguyên đơn nộp đơn Tòa; (v): Địa chỉ; (vi): Con chung 3.2.2 Thông tin bị đơn Các thông tin liên quan đến bên Bị đơn: (i): Họ tên; (ii): Giới tính: Nam/Nữ; (iii): Năm sinh; (iv): Tuổi: Tuổi bị đơn nộp đơn Tịa; (v):Địa 3.2.3 Thơng tin định Với định tồn án, bao gồm thơng tin ngày thụ lý án, thẩm phán phụ trách, kết vụ việc quan hệ pháp luật hai phía nguyên đơn bị đơn Ngày thụ lý án: Ngày toàn án tiếp nhận thụ lý án từ phía nguyên đơn Thẩm phán: Họ tên thẩm phán phụ trách vụ việc Kết quả: Kết vụ việc tòa án tuyên bố (hòa giải hay xét xử) Quan hệ pháp luật: Các nguyên nhân dẫn đến việc đệ đơn (i) Mâu thuẫn gia đình; (ii) Bạo lực gia đình; (iii) Yếu tố nước ngồi; (iv) Một người tích; (v) Ngoại tình; (vi) Bệnh tật, khơng có con; (vii) Mâu thuẫn kinh tế; (viii) Nghiện rượu bia, cờ bạc, ma túy 20 3.3 Thiết kế sở liệu án nhân gia đình 3.3.2 Thiết kế chi tiết bảng liệu - Bảng NguyenĐon có thuộc tính Hình 3.2 Lược đồ bảng ngun đơn - Bảng BiĐon có thuộc tính Hình 3.3 Lược đồ bảng bị đơn - Bảng QuyetDinh có thuộc tính Hình 3.4 Lược đồ bảng định - Quan hệ bảng liệu Bảng QuyetDinh có trường MaVuViec khóa ngoại, tham chiếu đến trường MaVuViec hai bảng NguyenDon BiDon để lấy thông tin nguyên đơn bị đơn 21 Hình 3.5 Lược đồ sở liệu 3.4 Xây dựng hệ thống trợ giúp định môi trường C# 3.4.1 Chức Trợ giúp định Chức phần mềm chức trợ giúp định từ thông tin đầu vào nguyên đơn bị đơn xây dựng luật từ phần mềm Weka Hình 3.6 Giao diện - Thực chức “Trợ giúp định”: Khi Thẩm phán nhập đầy đủ thơng tin hình thực “Trợ giúp định” hệ thống đưa kết trợ giúp có kết “Xét xử” sau: Hình 3.7 Kết trợ giúp định 22 - Thực chức “Lưu”: Thẩm phán xem kết trợ giúp lưu kết trợ giúp hệ thống phục vụ công tác lưu trữ sở liệu án hỗ trợ tìm kiếm thống kê, giám sát thực hiện,… Hình 3.8 Lưu kết trợ giúp định 3.4.2 Chức tra cứu án, định - Chức phục vụ việc tra cứu thông tin vụ việc, án, định Tòa án theo thuộc tính thơng tin đầu vào Hình 3.9 Màn hình tra cứu thơng tin án, định 23 3.3 Kết luận Chương trình bày hệ thống truy cập liệu trợ giúp định án hôn nhân Hệ thống sử dụng (i) hệ quản trị sở liệu SQL SERVER; (ii) môi trường Visual C# Thông tin từ sở liệu hữu ích việc tra cứu án hôn nhân, đưa phương án dự thảo án mới, trước tình cần trợ giúp, tư vấn 24 KẾT LUẬN Những kết đạt Luận văn trình bày nhu cầu xây dựng sử dụng hệ thống trợ giúp định việc thụ lý, xem xét đưa định vụ, việc lĩnh vực nhân gia đình Bản án, định nhân gia đình đề cập đối tượng để thực việc định với vụ, việc nhân gia đình dựa khai phá liệu án, định Tịa án Trong q trình thực hoàn thiện luận văn với hướng dẫn giáo viên hướng dẫn tơi thực hiện, hồn thiện đạt số kết nêu mục tiêu đề cương cụ thể sau: Chương đầu trình bày hiểu nội dung tổng quan, kiến trúc, chức năng, phân tích lớp dự đoán, phân cụm khai phá liệu Khái niệm hệ thống định, phân loại hệ thống định, định thực nghiên cứu, phân tích đánh giá chung thuật toán phân lớp liệu thuật toán ID3 thuật tốn C4.5 Qua đánh giá thuật toán C4.5 thuật toán xử lý đầy đủ vấn đề phân lớp liệu phổ biến nhất, sở lựa chọn áp dụng thuật toán vào việc xây dựng hệ thống hỗ trợ định hòa giải tranh chấp nhân giai đình Chương thứ hai áp dụng việc thử nghiệm phương pháp phân lớp định sử dụng thuật tốn J48 cơng cụ phần mềm WEKA, kết đưa định luật phân lớp áp dụng xây dựng phần mềm hỗ trợ định Chương cuối xây dựng sở liệu phần mềm hỗ trợ định mà luận văn đề xuất sử dụng cơng việc Tịa án Cơ sở liệu sử dụng hệ quản trị sở liệu SQL SERVER Việc đưa công nghệ thông tin truyền thông vào công tác hỗ trợ giải vụ việc trước hết cần hệ thống thông tin; mà cốt lõi sở liệu án cài đặt thuật toán phân lớp liệu Đối với luận văn, sở liệu án nhân gia đình thuật tốn phân lớp liệu dựa định Những kết có ý nghĩa khoa học thực tiễn 25 có hướng gợi mở cho việc nghiên cứu cho lĩnh vực tố tụng khác Tịa án hình sự, dân sự, kinh doanh thương mại, lao động, hành Là yếu tố hướng tới xây dựng Tịa án thơng minh Hướng nghiên cứu phát triển luận văn Trong giới hạn luận văn hệ thống xây dựng thử nghiệm liệu thực tế hạn chế từ sổ thụ lý kết qủa giải vụ việc hôn nhân gia đình sơ thẩm Tịa án nhân dân thành phố Hà Nội Do luận văn đề xuất (i) hệ thống sở liệu; (ii) phân loại tự động án nhân gia đình, nên hướng sau luận văn học viên : Hoàn thiện phát triển hệ thống sở liệu tạo trình làm luận văn tốt nghiệp; Hoàn thiện chức phần mềm hướng tới áp dụng thực tế; Bổ sung liệu khứ án hôn hôn nhân gia đình, liệu đơn vị Tịa án khác ngành Tòa án; Nghiên cứu thêm thuật toán khác C5.0, SPRINT; Nghiên cứu xây dựng hệ thống mở rộng áp dụng cho lĩnh vực tố tụng khác hình sự, dân sự, hành chính, lao động, kinh doanh thương mại Thực tế công tác thụ lý giải vụ, việc xét xử nhiều yếu tố cần phải nghiên cứu địi hỏi tính chặt chẽ theo luật, luật tố tụng Việt Nam Hệ thống phần mềm xây dựng luận văn mang tính chất “hỗ trợ” định trợ giúp cho công tác giải vụ, việc ngày nhiều nâng cao hiệu cải cách tư pháp Tòa án nhân dân ... sở để thực xây dựng phần mềm hệ thống hỗ 17 trợ định hòa giải, đối thoại trình bày chương luận văn 18 CHƯƠNG XÂY DỰNG HỆ THỐNG HỖ TRỢ RA QUYẾT ĐỊNH VỀ CÁC TRANH CHẤP HÔN NHÂN VÀ GIA ĐÌNH Chương... chọn đề tài ? ?Xây dựng hệ thống trợ giúp định hòa giải, đối thoại tranh chấp nhân gia đình? ?? Luận văn chia thành chương Chương đề cập hệ thống trợ giúp định, nhu cầu khai phá liệu định thuật toán... KẾT LUẬN Những kết đạt Luận văn trình bày nhu cầu xây dựng sử dụng hệ thống trợ giúp định việc thụ lý, xem xét đưa định vụ, việc lĩnh vực nhân gia đình Bản án, định nhân gia đình đề cập đối tượng