The article deals with the possibilities of computerized comparative legal analysis. Legal documents are formalized using frame logic (F-logic) and are stored in knowledge bases. Their difference 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.
This work is licensed under a Creative Commons Attribution 4.0 International License.