(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....)
 
Riadok 2: Riadok 2:
  
 
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.

Verzia zo dňa a času 17:09, 1. október 2008

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.