Abstract
To create rules for a legal knowledge base, a knowledge from a lawyer cannot be represented in a predicate rule immediately. On the other hand, a programmer cannot create the rule to cover all of the legal knowledge base. Therefore, we need the procedure to suggest a legal expert. Indeed, the rules cannot be created only by facts or rules from legislation but also depend on the interpretation of each expert. In this paper, we proposed a procedure to create rules for legal knowledge base. First, a set of rules is created using based rules and compound rules procedure. Second, the rules are selected by abduction for the legal reasoning process. Finally, we improved a Switch of Burden of Proof (SBP) [1] which is the legal reasoning system to examine the rules obtained from abduction. Thai Civil and Commercial Code is used as a knowledge base. The result showed that using our approach can find rules for an explanation of each legal case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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 (JURISIN 2007), pp. 76–85 (2007)
Satoh, K., Kubota, M., Nishigai, Y., Takano, C.: Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. In: Proceedings of the 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009), pp. 162–171 (2009)
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 29, 370–386 (1986)
Merritt, D.: Building Expert Systems in Prolog (1967)
Satoh, K., Tojo, S., Suzuki, Y.: Abductive Reasoning for Burden of Proof. In: Proceedings of the 2nd International Workshop on Juris-informatics (JURISIN 2008), Japan, pp. 93–102 (2008)
Lakkaraju, S.K., Zhang, Y.: Rule Based Abduction. In: Ohsuga, S., Raś, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol. 1932, pp. 525–533. Springer, Heidelberg (2000)
Tuzet, G.: Legal Abduction. In: Bourcier, D. (ed.) The Sixteenth Annual Conference Legal Knowledge and Information Systems, Jurix 2003, Amsterdum, pp. 41–50 (2003)
Graca, N., Quaresma, P.: How to Model Legal Reasoning using Dynamic Logic Programming: a Preliminary Report. In: Proceedings of Legal Knowledge Information System. Jurix 2003: The Sixteenth Annual Conference, pp. 163–172. IOS Press, Amsterdam (2003)
Gordon, T.F., Governatori, G., Rotolo, A.: Rules and Norms: Requirement for Rule Interchange Languages in the Legal Domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282–296. Springer, Heidelberg (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)
Thai Civil and Commercial code, section 898-1005 (1992)
Ma, J.: Distributed Abductive Reasoning System and Abduction In the Small. In: [MEng] Computing Final Year Project Report (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tantisripreecha, T., Soonthornphisaj, N. (2011). Creating Rules Using Abduction for Legal Reasoning by Logic Programming. In: Abramowicz, W., Maciaszek, L., Węcel, K. (eds) Business Information Systems Workshops. BIS 2011. Lecture Notes in Business Information Processing, vol 97. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25370-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-25370-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25369-0
Online ISBN: 978-3-642-25370-6
eBook Packages: Computer ScienceComputer Science (R0)