A ProblemSolving Process Model for Learning Intellectual Property Law Using Logic Expression: Application from a Proposition to a Predicate Logic
 1.5k Downloads
Abstract
We have previously proposed a problemsolving process model using logical expressions, based on the observation that legal statements can be described using logical expressions when considering the problemsolving process model used by engineering students in the study of law. However, propositional logic alone has a limited range of application to practice problems, and so here we examine the description of practice problems using predicate logic by extending propositional logic to firstorder predicate logic, and consider the effectiveness of this approach.
Keywords
Problemsolving process Learning of intellectual property law Predicate logic1 Introduction
More than a decade has passed since the establishment of the Intellectual Property Basic Act in Japan. During this time, the pace of globalization has intensified and there are increasing opportunities for foreign companies to operate in Japan. In this context, industry has expressed a desire that students acquire basic knowledge of intellectual property while at university, but the adoption of education in intellectual property law is still far from adequate [1]. Although engineering departments recognize the importance of intellectual property training, it has been difficult to establish many lectures on intellectual property because of its relationship with other courses. In a survey that we conducted looking at the syllabi of engineering departments in universities around Japan, we found that about two academic units (30 h of class time) is the best that can be managed, and there were also cases where several hours were allocated to teaching intellectual property as part of ethics courses [2, 3, 4]. Thus, an important question is whether it is possible to prepare teaching materials to enable students to efficiently learn intellectual property law while also raising their motivation to learn. Against this background, we have developed an elearning system for intellectual property law as a study support system to enable students to study on their own outside of regular teaching hours for the two academic credits (30 h) of intellectual property law coursework offered by engineering departments.
In this paper, we first analyze the relationship between the frequency with which students use our developed system and their motivation to learn. We then propose a problemsolving process model for engineering students learning intellectual property law. The learning system utilizing this model is still under development but involves the use of logical expressions to represent legal articles in intellectual property law so that solutions can be derived automatically by a computer and feedback on errors can be provided to the students by comparing the logical expression for their entered solutions with the logical expression generated computationally and looking at the difference [2, 3, 4, 5]. The aim of this paper is to consider how this system can be further developed to make it more suitable as a learning system for engineering students.
2 Example of Intellectual Property Law Training in an Engineering Department
2.1 Training System Used so Far
In a major offered by the engineering department of a certain university, two academic units (30 h) of classes were allocated to intellectual property law. The subject is optional and students can freely choose whether to take it. Almost none of the students have any prior knowledge of law, and so the subject matter consists of 6 h of lectures on basic law in general, followed by lectures on industrial property law (the Patent Act, the Utility Model Act, the Design Act and the Trademark Act) and copyright law over the remaining 24 h of classes. Every year, all lectures are recorded on video and made available to course participants outside class hours as an elearning system. The lecture notes handed out in class can also be downloaded via the eLearning System. The elearning system is for selfstudy and supplementary lessons, and its use is optional.
2.2 Course Evaluation by Students
 (1)
Motivation to learn prior to the course (1 = “none” 4 = “high”)
 (2)
Sense of value after 30 h of lectures (1 = “none” to 4 = “high”)
 (3)
Satisfaction after 30 h of lectures (1 = “none” to 4 = “high”)
 (4)
Desire to continue learning after 30 h of lectures (1 = “none” to 4 = “high”)
 (5)
How often did you use the elearning system? (1 = “not at all” to 4 = “very often” as well as an option for “only to print out lecture notes”)
 (6)
Evaluation of using the elearning system (1 = “not at all useful” to 4 = “extremely useful”; only assessed for students who answered either “fairly often” or “very often” in question (5))
Comparison of motivation to learn before and after lectures
Turning to survey question (5), we found that 43 of the 52 respondents used the system “some”, “fairly often”, and “very often”.
The results of survey question (6) directed at those students who used the system very or fairly often were that 20 students found the system “extremely useful” and 6 found it “somewhat useful”, while no students responded “not very useful” or “not at all useful”, indicated that the system is useful.
Correlations between frequency of system usage and other assessments
Rankcorrelation coefficient  

Motivation to learn before lectures  0.144 
Sense of value  0.159 
Satisfaction  0.168 
Motivation to learn after lectures  0.212 
Rankcorrelation coefficients for each pair of assessments
Motivation before lectures  Sense of value  Satisfaction  Motivation after lectures  

Motivation before lectures  1  0.401**  0.205  0.386** 
Sense of value  0.401**  1  0.616**  0.599** 
Satisfaction  0.205  0.616**  1  0.443** 
Motivation after lectures  0.386**  0.599**  0.443**  1 
2.3 System Issues
We conducted the same survey in 2014 and 2015, obtaining very similar results [2, 3]. Summarizing these results, we found that overall the sense of the value and satisfaction with the course was high, with most students finishing the course with higher motivation to learn than when they began. The elearning system that we have been operating was assessed as useful, but students who used the system often did not necessarily have high satisfaction or sense of value. As discussed above, despite the importance with which intellectual property training is regarded in engineering departments, not much time can be allocated to teaching it, and so it would be desirable to develop a system that can increase students’ motivation to learn. With his in mind, we hoped to develop a system that takes into account the cognitive and problemsolving processes of engineering students.
3 ProblemSolving Process Model in Intellectual Property Law
3.1 Comparison with the ProblemSolving Process in Physics
 1.
the process of generating a surface structure from the problem text;
 2.
the formalization process of generating a formal structure from the surface structure; and
 3.
the solutionderivation process of generating the target structure (including the solution) from the formal structure using quantitative functions.
However, problem questions in intellectual property law do not have quantitative relationships. This prompted us to define and propose a problemsolving process whereby logical expressions are used to derive solutions from formal structures [2, 5], taking advantage of the fact that legal statements can be represented using logical expressions [8].
3.2 ProblemSolving Process Model for Patent Law
The constraint structure here differs from the one in physics. Problem questions in physics have quantitative relationships. However, these kinds of relationships cannot be established for quiz problems in patent law. This means that it is necessary to define a constraint structure for deriving new information based on relationships.
These studies are based on the concept that legal statements have a prototypical structure and assume that legal statements can be converted into a particular structure because “Legal clauses are a form of natural language but can also be regarded as a controlled language that is employed intentionally” [10]. The goal of these studies is to use these structures in search systems for legal clauses and the like. Referring to these earlier studies, we considered that the conversion of legal statements to logical expressions could be utilized to support learning. That is, we believed that the relationships between properties in patent law can be represented using logical expressions, thereby enabling the same kind of learning support as for physics.
3.3 Example of a Logical Structure from Patent Law
Consider the practice question given in Sect. 3.1, namely, “John has created a special method for treating cancer patients. (The rest is omitted)” In the practice problem, a method for diagnosing, treating, or operating on human beings should be made widely available on humanitarian grounds and thus “has no industrial applicability”, so we can state that the invention is not patentable (due to insufficient properties).
When answering a question on intellectual property law, a student assembles a logical expression. If the student’s answer is incorrect, it is possible to work out where the mistakes are made by looking at the difference between the correct logical expression and the logical expression assembled by the student. It should be possible to create a learning support system that systematizes this approach.
3.4 Limits of Propositional Logical and Extension to Predicate Logic
The clauses discussed in the previous section can be described using propositional logic, but this approach has an issue in that clauses with relationships between concepts cannot be described. Here we consider a method for further developing propositional logic to describe legal statements using firstorder predicate logic.
Unlike propositional logic, firstorder predicate logic allows entities to be quantified using existence quantifiers (∃), universal quantifiers (∀), and so on. Predicate logic that allows quantification of predicates and functions in addition to entity quantification is called secondorder predicate logic, while predicate logic with additional generalizations is called higherorder predicate logic. Firstorder predicate logic can express such things as the properties and inclusion relations of various concepts, and—in contrast to propositional logic—is capable of expressions that go inside their respective concepts.
Practice problems on legal topics often involve describing relationships between the subject and object in a way that goes inside the concept, and so by using firstorder predicate logic to formalize practice problems, it should be possible to handle problems that could not be handled using propositional logic.
Legal statements have been extensively studied using firstorder predicate logic since the 1980s [11]. By expressing legal statements in computerreadable code, these studies have been applied to legal expert systems, enabling legal inferences and making it to possible to check legal systems for consistency. When concepts are meticulously defined as in these studies, it seems likely that the concepts thus defined can be reused in formalizations for other problems.
However, to date there has been no research on the possibility of first representing law using firstorder predicate logic (representing combinations of the legal articles to be studied) before having students studying law express their understanding using firstorder predicate logic (entering this into the system) and then providing learners with feedback based on the difference between the two expressions. Moreover, the research on legal statements using firstorder predicate logic that has been conducted to date does not consider the concepts and expressions used in the text of practice problems, and it will therefore be necessary to reconsider the formalizations and expression formats used in order to apply firstorder predicate logic in a learning system.
Accordingly, in this study we formalize legal statements using the relationship expressions used in problem text. In this study, we refer to the functions representing the relationships between multiple concepts as “predicates” and prescribe the formalization of legal statements for the learning support system in this study as follows.
Here x is the target creation, while in(x) indicates that this statement has full force and effect in the articles of act x. Similarly, define(x,y) indicates the relationship “x is y” and d(x,y,z) represents a predicate of the form “x does y to z.” These predicates correspond to problems such as “What is …?” and “What does … do?”
We perform the same kind of formalization for problems. For example, a practice problem such as
Moreover, in response to a question such as “In the Patent Act, inventions use ( ),” by simultaneously inferring the statement “An inventor of an invention that is industrially applicable may be entitled to obtain a patent for the said invention, except for the following [inventions],” we can infer that patents are for inventions and inventions use the laws of nature.

Article 671 of the Patent Act:
The duration of a patent right shall expire after a period of 20 years from the filing date of the patent application.

Article 15 of the Utility Model Act:
The duration of a utility model right shall expire after a period of 10 years from the filing date of the application for utility model registration.

Article 211 of the Design Act:
The duration of a design right (excluding design right of a Related Design) shall expire after a period of 20 years from the date of registration of its establishment.

Article 191 of the Trademark Act:
The duration of a trademark right shall expire after 10 years from the date of registration of establishment of such right.
By extending propositional logic to firstorder predicate logic in this way we can expect to be able to handle a greater number of different types of problems using various formalizations or combinations of formalizations.
3.5 Potential for Improving Understand Through Logical Representations
4 Discussion
In this paper, we have considered the effectiveness of a learning support system that uses a problemsolving process model to model the way that engineering students solve problems in the process of learning intellectual property law. The result was that describing intellectual property law using logical expressions is easy for engineering students to understand, and so the next step required is to continue to develop the learning support system by increasing the number predicate expressions.
Notes
Acknowledgments
This research was partially supported by a GrantinAid for Scientific Research (B) (#16H03086) from Japan Society for the Promotion of Science (JSPS), and also by Service Science, Solutions and Foundation Integrated Research Program (S3FIRE), Research Institute of Science and Technology for Society (RISTEX), Japan Science and Technology Agency (JST).
References
 1.Iguchi, Y., Sera, K., Matsuoka, M.,Muramatsu, H.,Kagohara, H., et al.: Present status and future trends of intellectual property education. Patent, vol. 64, no. 14, pp. 8–18 (2011). (in Japanese)Google Scholar
 2.Akakura, T., Ishii, T.: Development and evaluation of a selflearning support system for patent act suited to the current state of intellectual property education in engineering departments. In: Proceedings of 2016 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE 2016), pp. 128–133 (2016)Google Scholar
 3.Akakura, T., Ishii, T., Kato, K.: The current state of intellectual property education in engineering departments of universities and development of learning support system. IEICE Technical report, vol. 116, no. 351, pp. 55–60 (2016). (in Japanese)Google Scholar
 4.Akakura, T., Ishii, T., Kato, K.: Proposal of a problemsolving process model for learning intellectual property law using forstorder predicate logic and development of a modelbased learning support system. In: 11th Annual International Technology, Education and Development Conference(INTED 2017)(2017)Google Scholar
 5.Akakura, T., Eshita, K., Tomoto, T.: A computationprocess model and system for the study of intellectual property law. IEICE Technical report, vol. 115, no. 50, pp. 21–26 (2015). (in Japanese)Google Scholar
 6.Akakura, T., Tomoto, T.: Change in motivation of engineering students to learn about intellectual property law. IEICE Technical report, Education Technology, vol. 114, no. 121, pp. 27–32 (2014). (in Japanese)Google Scholar
 7.Hirashima, T., Azuma, S., Kashihara, A., Toyoda, J.: A formulation of auxiliary problems. J. Japan. Soc. Artif. Intell. 10(3), 413–420 (1995). (in Japanese)Google Scholar
 8.Nobuoka, S., Nakamura, M., Shimazu, A.: Translating legal sentences into logical forms. In: Proceedings of the 13th Annual Meeting of the Association for Natural Language Processing, pp. 254–257 (2007). (in Japanese)Google Scholar
 9.Tanaka, K., Kawazoe, I., Narita, H.: Standard structure of legal provisions. IPSJ SIG Technical reports, vol. 93, no. 79, pp. 79–86 (1993)Google Scholar
 10.Kawazoe, I., Maki, T., Tanaka, K.: Standard structure of legal provisions (2) legal knowledge processing by standard structure. IPSJ SIG Notes 95(52), 97–104 (1995). (in Japanese)Google Scholar
 11.Shimazu, A.: Language analysis of legal documents: research on legal engineering. IEICE Technical report, vol. 110, no. 245, pp. 1–6 (2010). (in Japanese)Google Scholar