Some aspects of the comparative analysis of legal knowledge bases

One of the tasks in the process of preparing new legislation is the comparative analysis of different versions of the legislation. In this article we propose how the analysis could be partly automated if the legi­slation is formalized and stored in a knowledge base. The algorithm is proposed to fin...

Full description

Saved in:
Bibliographic Details
Main Author: Laima Paliulionienė
Format: Article
Language:English
Published: Vilnius University Press 1999-12-01
Series:Lietuvos Matematikos Rinkinys
Online Access:https://www.zurnalai.vu.lt/LMR/article/view/35571
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1825197169973395456
author Laima Paliulionienė
author_facet Laima Paliulionienė
author_sort Laima Paliulionienė
collection DOAJ
description One of the tasks in the process of preparing new legislation is the comparative analysis of different versions of the legislation. In this article we propose how the analysis could be partly automated if the legi­slation is formalized and stored in a knowledge base. The algorithm is proposed to find differences between legislations by using certain test situations. The algorithm is based on derivation by model generation and it is grounded in the case when the knowledge bases are general logic programs.
format Article
id doaj-art-703e1bde276047e6a4493cbfa001ccda
institution Kabale University
issn 0132-2818
2335-898X
language English
publishDate 1999-12-01
publisher Vilnius University Press
record_format Article
series Lietuvos Matematikos Rinkinys
spelling doaj-art-703e1bde276047e6a4493cbfa001ccda2025-02-11T18:15:30ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X1999-12-0139III10.15388/LMD.1999.35571Some aspects of the comparative analysis of legal knowledge basesLaima Paliulionienė0Institute of Mathematics and Informatics One of the tasks in the process of preparing new legislation is the comparative analysis of different versions of the legislation. In this article we propose how the analysis could be partly automated if the legi­slation is formalized and stored in a knowledge base. The algorithm is proposed to find differences between legislations by using certain test situations. The algorithm is based on derivation by model generation and it is grounded in the case when the knowledge bases are general logic programs. https://www.zurnalai.vu.lt/LMR/article/view/35571
spellingShingle Laima Paliulionienė
Some aspects of the comparative analysis of legal knowledge bases
Lietuvos Matematikos Rinkinys
title Some aspects of the comparative analysis of legal knowledge bases
title_full Some aspects of the comparative analysis of legal knowledge bases
title_fullStr Some aspects of the comparative analysis of legal knowledge bases
title_full_unstemmed Some aspects of the comparative analysis of legal knowledge bases
title_short Some aspects of the comparative analysis of legal knowledge bases
title_sort some aspects of the comparative analysis of legal knowledge bases
url https://www.zurnalai.vu.lt/LMR/article/view/35571
work_keys_str_mv AT laimapaliulioniene someaspectsofthecomparativeanalysisoflegalknowledgebases