A study on formailization of court proceeding | |
| Author | Thanakorn Piroonsith |
| Call Number | AIT Thesis no.CS-12-10 |
| Subject(s) | Logic programming Argumentation |
| Note | A thesis submitted in partial fulfillment of the requirements for the Degreeof Master of Engineering and Technology in Computer Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-12-10 |
| Abstract | There are so many sources of guidance of court proceedings provided via varieties of media, for examples, internet, books, and videos. They are all useful but impracticable because we would in practice rather applicable knowledge than information or content. With underlined points, many applications were developed to address the problem. Mostly, itgenerally ends up with an online claim service. It does simplify prosecutor’s life to start a legal action but it is actually useless in real proceedings. Every legal action is so many granularities that it could be fully and scrupulously argued in the court consideration. Missing one puzzle easily causes you lose in judgment. Therefore, the only simplification is not enough.To be concerned with a formalism of court proceedings, particularly of civil cases of United Kingdom, this study proposes the formalism of court proceeding in a form of expert system established by logic programming using Prolog. By this study, it shows that we can model court proceedings by use of logic programming. Importantly, this system is capable of guiding formal ways and procedures dealing with the civil court. Thus,this study provides simplification equipped with the applicable knowledge. People can try their cases and afford the valuable and practical knowledge presenting along program’s stages. Moreover, it does effectivelyprovidethe court proceeding experiences. |
| Year | 2012 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis : no. CS-12-10 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Duboz, Raphel;Huynh Trung Luong; |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 2012 |