{"title":"法律知识库的模型生成和比较分析","authors":"L. Paliulioniene","doi":"10.15388/lmr.2003.32417","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"95 ","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Model generation and comparative analysis of legal knowledge bases\",\"authors\":\"L. Paliulioniene\",\"doi\":\"10.15388/lmr.2003.32417\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":33611,\"journal\":{\"name\":\"Lietuvos Matematikos Rinkinys\",\"volume\":\"95 \",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-12-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Lietuvos Matematikos Rinkinys\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.15388/lmr.2003.32417\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Lietuvos Matematikos Rinkinys","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15388/lmr.2003.32417","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
文章论述了计算机化比较法律分析的可能性。法律文件使用框架逻辑(F-逻辑)进行形式化,并存储在知识库中。它们之间的差异被定义为从可能的案例中得出的结论之间的差异。本文详细介绍了为 F 逻辑表达式设计的知识库模型生成规则。
Model generation and comparative analysis of legal knowledge bases
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.