Representing and reasoning with customs law in logic programming | |
| Author | Maturos Kolkorn |
| Call Number | AIT Thesis no.IM-16-01 |
| Subject(s) | Customs administration--Law and legislation Logic programming Reasoning |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Information Management, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. IM-16-01 |
| Abstract | The law is complex and difficult to understand. It can lead to the different interpretation in the same situation. In addition, the law often relates to other laws. Thus, the formalization of the law into a logical rule is crucial. Representing the law in the form of a logical rule can simplify the natural language of the law. In this study, Thailand laws relating to an attempt to commit a Customs offence are concerned thus there are 2 main laws involved i.e. Customs law, Criminal Code because a Customs offence is one kind of criminal offence. The formalized regulations are then implemented by using Prolog. The system is structured in 7 modules. Each module represents the laws involved. However, these rules are verified its appropriateness by applying to the cases. The cases relating to an attempt to commit a Customs offence are selected. The facts and any open predicates of each case are defined in case module. As the result of the system, the outputs indicate that this formalization is quite appropriate because the outputs are consistent with the judgment of Supreme Court. Moreover, the ways to prove an intention of defendant are also obtained from the cases. |
| Year | 2016 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. IM-16-01 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Information Management (IM) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Dailey, Matthew N. ;Bohez, Erik L. J. ; |
| Scholarship Donor(s) | Royal Thai Government Fellowship ; |
| Degree | Thesis (M. Sc.) - Asian Institute of Technology, 2015 |