Abstract
In this paper, we propose a new inference engine for legal reasoning in civil court (LR engine). Three main modules of the engine consist of the Prove algorithm, the Defense algorithm and the Estoppel algorithm. These modules work in switching style in order to drive the legal reasoning according to the Evidence law and the doctrine of Estoppel. In this study, Thai Civil and Commercial Code Law are applied as a legal knowledge base. Several legal cases are examined to validate LR engine and analyze its performance. The experimental result shows that LR engine can automatically handle the case containing estoppel and can reduce the steps of proof. Moreover, it provides reasonable legal explanation compared to the traditional algorithm.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Satoh, K., Tojo, S., Suzuki, Y.: Formalizing a Switch of Burden of Proof by Logic Programming. In: Proceedings of The 1st International Workshop on Juris-Informatics 2007, pp. 76–85 (2007)
Tiamchan, B.: The Civil Procedure Code: translate Thai-English (2007)
Vichitchonchai, P.: Evidence Law. Chulalongkorn University Press (1999)
Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, E., Hammond, P., Cory, H.T.: The British Nationality Act as A Logic Program. Communications of the ACM, 370–386 (1986)
McCarty, L.T.: An Implementation of Eisner v Macomber. In: Proceedings of the Fifth International Conference on AI and Law, College Park, MD, pp. 276–286. ACM Press, New York (1995)
Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.: PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. JURISIN 2010, 153–164 (2012)
Gordon, T.F., GovernatoriA., G.R.: Rules and Norms: Requirement for Rule Interchange Languages in the Legal Domain. Rule Representation, Interchange and Reasoning on the Web, RuleML, 282–296 (2009)
Beierle, C., Freund, B., Kern-Isberner, G., Thimm, M.: Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. In: Proceedings of the 2010 Conference on Computational Models of Argument: Proceedings of COMMA, pp. 87–98 (2010)
Tantisripreecha, T., Soonthornphisaj, N.: Creating Rules Using Abduction for Legal Reasoning by Logic Programming. BIS (Workshops) 2011, 282–293 (2011)
Satoh, K., Kubota, M., Nishigai, Y., Takano, C.: Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. Information Systems (JURIX 2009), 162–171 (2009)
Truszczyński, M.: Logic programming for knowledge representation. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 76–88. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Tantisripreecha, T., Satoh, K., Soonthornphisaj, N. (2014). Legal Reasoning Engine for Civil Court Procedure. In: Huang, DS., Jo, KH., Wang, L. (eds) Intelligent Computing Methodologies. ICIC 2014. Lecture Notes in Computer Science(), vol 8589. Springer, Cham. https://doi.org/10.1007/978-3-319-09339-0_51
Download citation
DOI: https://doi.org/10.1007/978-3-319-09339-0_51
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09338-3
Online ISBN: 978-3-319-09339-0
eBook Packages: Computer ScienceComputer Science (R0)