Odpověď na názor
Odpovídáte na názor k článku Datové schránky se budou stěhovat a projdou redesignem. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
-
Z toho kruhu se lze dostat jen tak, že se upraví legislativa a související normy. AI má zajímavé návrhy. (Otázka byla ve smyslu, zda lze díry v zákoně eliminovat použitím formálních matematických modelů.) Tohle mě zaujalo (ChatGPT 5.1):
Jak by to prakticky vypadalo pro zákonodárce
Realistická verze (ne science-fiction):
1. Text zákona zůstává v přirozeném jazyce (čeština, angličtina…).- 2. K zákonu vzniká oficiální formální příloha (např. v Isabelle/HOL nebo TLA⁺), která
- definuje doménové entity a vztahy,
- přepisuje klíčové paragrafy do logiky,
- obsahuje sadu „testovacích scénářů“.
- 3. Před přijetím novely
- právní tým + technický tým musí prokázat, že:
- model je konzistentní,
- klíčové scénáře jsou pokryty (žádný „undefined“ stav),
- nevznikly konflikty mezi normami.
To je v principu podobný postup jako u kritických protokolů v IT/letectví: nejdřív specifikace v jazyce jako TLA⁺ / Event-B, pak machine-checked proofs.
