Logical structure of change of legal relations and its representation in legal knowledge base system

ABSTRACT

This study presents a logical model to represent the change of legal relation with the concepts of legal sentence as well as their validity in terms of Logical Jurisprudence. In the model, the validity of an object sentence which describes an obligation is represented by a legal meta sentence and the latter is proved logically through the application of legal meta rule sentences. The model was applied to United Nations Convention on Contracts for the International Sale of Goods (CISG) to construct its knowledge base system. This paper presents some fundamental meta rule sentences which were found by us and installed in the system to solve concrete case problems.

REFERENCES

• 1: M. J. Sergot , F. Sadri , R. A. Kowalski , F. Kriwaczek , P. Hammond , H. T. Cory, The British Nationality Act as a logic program, Communications of the ACM, v.29 n.5, p.370-386, May 1986 [doi>10.1145/5689.5920]
• 2: Hajime Yoshino, The systematization of legal meta-inference, Proceedings of the 5th international conference on Artificial intelligence and law, p.266-275, May 21-24, 1995, College Park, Maryland, United States [doi>10.1145/222092.222257]
• 3: Yoshino, H. Logical Structure of Contract Law System - For Constructing a Knowledge Base of the United Nations Convention on Contracts for the International Sale of Goods. In Journal of Advanced Computational Intelligence, Vol.2, No1, Fuji Technology Press, Tokyo, 1998, 2--11.