Modelovanie pravnych dokumentov pomocou logickych programov: Rozdiel medzi revíziami
(New page: Cieľom bakalárskej implementačnej práce je transformovať platnú legislatívnu úpravu ( napr. Zákonník práce - z.č. 311/2001 Z.z., Občiansky súdny poriadok - z.č. 99/1963 Z.z....) |
|||
| (Jedna medziľahlá úprava od rovnakého používateľa.) | |||
| Riadok 1: | Riadok 1: | ||
| − | Cieľom bakalárskej implementačnej práce je transformovať platnú legislatívnu úpravu ( napr. Zákonník práce - z.č. 311/2001 Z.z., Občiansky súdny poriadok - z.č. 99/1963 Z.z., ...) do logického programu. Do takto získaného programu sa pridajú vstupy uživateľa vo forme faktov a následne vypočítaný stabilný model bude obsahovať ( z danej legislatívy ) | + | Cieľom bakalárskej implementačnej práce je transformovať platnú legislatívnu úpravu ( napr. Zákonník práce - z.č. 311/2001 Z.z., Občiansky súdny poriadok - z.č. 99/1963 Z.z., ...) do logického programu. Do takto získaného programu sa pridajú vstupy uživateľa vo forme faktov a následne vypočítaný stabilný model bude obsahovať ( z danej legislatívy ) vyplývajúce povinnosti a možnosti. |
Vypracovanie práce bude pozostávať z: | Vypracovanie práce bude pozostávať z: | ||
| − | navrhnutia predikátov a faktov na reprezentáciu jednotlivých právnych skutočností | + | * navrhnutia predikátov a faktov na reprezentáciu jednotlivých právnych skutočností |
| − | transformácie právneho textu do pravidiel logického programu nad jazykom navrhnutým v predchádzajúcom bode | + | * transformácie právneho textu do pravidiel logického programu nad jazykom navrhnutým v predchádzajúcom bode |
Od uchádzača sa očakáva aktívny záujem o právo a schopnosť porozumieť právnym dokumentom. | Od uchádzača sa očakáva aktívny záujem o právo a schopnosť porozumieť právnym dokumentom. | ||
Aktuálna revízia z 08:02, 7. máj 2009
Cieľom bakalárskej implementačnej práce je transformovať platnú legislatívnu úpravu ( napr. Zákonník práce - z.č. 311/2001 Z.z., Občiansky súdny poriadok - z.č. 99/1963 Z.z., ...) do logického programu. Do takto získaného programu sa pridajú vstupy uživateľa vo forme faktov a následne vypočítaný stabilný model bude obsahovať ( z danej legislatívy ) vyplývajúce povinnosti a možnosti.
Vypracovanie práce bude pozostávať z:
- navrhnutia predikátov a faktov na reprezentáciu jednotlivých právnych skutočností
- transformácie právneho textu do pravidiel logického programu nad jazykom navrhnutým v predchádzajúcom bode
Od uchádzača sa očakáva aktívny záujem o právo a schopnosť porozumieť právnym dokumentom.