CPF as a Tool for Constructing a Legal Knowledge Base
Department of Social Engineering Tokyo Institute of Technology, 2-12-1 Okayama, Meguro-ku, Tokyo 121, Japan
To construct a legal knowledge base, knowledge engineers must incorporate implicit lawyer expertise. Knowledge acquisition problems still arise in legal domains. If a lawyer can construct a legal knowledge base, the problem may be solved. CPF, a logic programming language, is proposed for lawyers to express legal knowledge. Since CPF is still complicated for lawyers, however, knowledge base written by lawyers may not be executable. This paper describes a method to construct an executable knowledge base from an unexecutable knowledge base written by lawyers. Since the most expressions written by lawyers are retained, the constructed knowledge base is comprehensible to lawyers.