DSpace Repository

Representing and Reasoning with Customs Law in Logic Programming

Show simple item record

dc.contributor.advisor Dung, Phan Minh
dc.contributor.author Kolkorn, Maturos
dc.contributor.other Dailey, Matthew N.
dc.contributor.other Bohez, Erik L.J.
dc.date.accessioned 2016-05-11T06:20:25Z
dc.date.available 2016-05-11T06:20:25Z
dc.date.issued 2016-05
dc.identifier.other AIT
dc.identifier.uri http://www.cs.ait.ac.th/xmlui/handle/123456789/814
dc.description 66 p. en_US
dc.description.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. en_US
dc.description.sponsorship Royal Thai Government Fellowship en_US
dc.publisher AIT en_US
dc.subject Customs Law en_US
dc.subject Law Formalization en_US
dc.subject Logic Programming en_US
dc.subject Prolog en_US
dc.subject Formalization en_US
dc.title Representing and Reasoning with Customs Law in Logic Programming en_US
dc.type Thesis en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account