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 legislation is formalized and stored in a knowledge base. The algorithm is proposed to fin...
Saved in:
Main Author: | |
---|---|
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 legislation 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 legislation 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 |