FORMALISASI PERATURAN PERUNDANG-UNDANGAN DAN PENERAPANNYA

SASKIA KAMILA, Drs. Bambang Nurcahyo Prastowo, M.Sc.

2018 | Skripsi | S1 ILMU KOMPUTER

Ketidakselarasan atau disharmonisasi peraturan perundang-undangan dapat mengakibatkan bermacam permasalahan dalam penerapan hukum. Perbedaan interpretasi peraturan adalah salah satu masalah yang dapat muncul, dari perbedaan interpretasi dapat terjadi perbedaan penerapan peraturan yang ada, sehingga dapat mengakibatkan inkonsistensi dalam penegakan hukum. Perbedaan dalam interpretasi peraturan perlu diminimalisir untuk meningkatkan objektifitas dalam pengambilan keputusan, sehingga diperlukan formalisasi peraturan. Prolog dipilih untuk menulis bentuk formal dari peraturan perundang-undangan. Dengan demikian hasil formalisasi dapat langsung dicobakan dengan Prolog interpreter. Untuk membentuk sistem pada Prolog diusulkan sebuah teknik formalisasi peraturan yang dicobakan pada penelitian ini. Formalisasi dilakukan terhadap studi kasus dan peraturan-peraturan yang digunakan. Pengujian dilakukan dengan membandingkan keputusan hakim pada studi kasus dengan keluaran pada Prolog. Dari implementasi teknik formalisasi ditemukan beberapa poin untuk pengembangan sistem serta teknik formalisasi. Dari formalisasi lima kasus hukum hak cipta yang digunakan ditemukan adanya penerapan pasal peraturan perundang-undangan yang berbeda untuk kasus serupa, ditemukan pula pada kasus perdata hukuman yang diberikan tidak berdasarkan peraturan undang-undang hak cipta yang dilanggar. Hal ini dapat dijadikan subjek untuk pengembangan dan penelitian lebih lanjut.

Discrepancy or disharmony in laws and regulations could cause various problems in the application of law. Difference in rules interpretation is one of the problem that could arise, since it could cause difference in the application of existing rules which may result in inconsistencies in law enforcement. Difference in rules interpretation needs to be minimized to improve objectivity in decision making, therefore rules formalization is needed. Prolog is chosen to write the formalized form of the laws and regulations, thus the formalization results will be able to be tested directly using Prolog interpreter. To form the system on Prolog, the writer proposed a laws and regulation formalization technique that will be tested in this research. Formalization is conducted on case studies and rules used in the cases. The test is done by comparing decisions made by judge in the case studies with the output on Prolog. There are several points for further development of the system and formalization technique found from implementation of the technique. From the formalization of five cases of copyright law used as case studies, it is discovered that there are different application of articles of laws and regulations for similar cases. The writer also discovered that on some civil cases, the judge sentenced a penalty that differs from the rules of the violated copyright law. These discovery can be subject to further development and research.

Kata Kunci : Peraturan perundang-undangan, formalisasi, Prolog