Logical Structure of Contract Law System - For Constructing a Knowledge Base of the United Nations Convention on Contracts for the International Sale of Goods -
Faculty of Law, Meiji Gakuin University, 1-2-37 Shirokanedai, Minato-ku, 108 Tokyo
Received:January 20, 1998Accepted:February 10, 1998Published:February 20, 1998
Keywords:Contract, CISG, Expert system, Al, Legal knowledge, Logical structure
In order to construct a deductive legal knowledge base, it is necessary first to clarify the structure of the law as a deductive system from which a legal judgement can be justified as a conclusion of logical deduction together with relevant facts. As the legal state of affairs changes according to the time progress of an event, a clarified logical model of law is necessary to enable us to deduce changes among legal relationships over time from the beginning to the end of a case. This study presents such a model based on Logical Jurisprudence, in which the relationship between legal sentences and the legal meta sentences regulating the validity of legal sentences plays a definitive role. The model is applied to the United Nations Convention on Contracts for the International Sale of Goods (CISG) to develop a deductive knowledge base. The deductive structure of the contract law is clarified so that appropriate answers are deduced to questions about legal state of affairs at any time point as a results of the application of CISG provisions to a concrete case.
Cite this article as:H. Yoshino, “Logical Structure of Contract Law System - For Constructing a Knowledge Base of the United Nations Convention on Contracts for the International Sale of Goods -,” J. Adv. Comput. Intell. Intell. Inform., Vol.2 No.1, pp. 2-11, 1998.Data files: