Model generation and comparative analysis of legal knowledge bases

Abstract

The article deals with the possibilities of computerized comparative legal analysis. Legal do­cuments are formalized using frame logic (F-logic) and are stored in knowledge bases. Their dif­ference is defined as the difference between conclusions made from possible cases. This article presents an elaborated rule of knowledge base model generation designed for F-logic expressions.