Пример формализации фрагмента закона
Предназначение документа
Показать, как можно формализовать часть закона так, чтобы машина выясняла как надо поступать в конкретной ситуации согласно этой части закона (без использования ИИ).
Фрагмент закона
В этом примере мы формализуем статью 27 Гражданского Кодекса РФ (Эмансипация малолетних).
1. Несовершеннолетний, достигший шестнадцати лет, может быть объявлен полностью дееспособным, если он работает по трудовому договору, в том числе по контракту, или с согласия родителей, усыновителей или попечителя занимается предпринимательской деятельностью. Объявление несовершеннолетнего полностью дееспособным (эмансипация) производится по решению органа опеки и попечительства - с согласия обоих родителей, усыновителей или попечителя либо при отсутствии такого согласия - по решению суда. 2. Родители, усыновители и попечитель не несут ответственности по обязательствам эмансипированного несовершеннолетнего, в частности по обязательствам, возникшим вследствие причинения им вреда.
Источники
Исходный код
- Хранилище на Gitflic.ru