При формальном подходе программа-судья должна была бы вычислять (разумеется на основании каких-то объективных данных) интересы ребёнка как значение сложной функции со многими переменными, то есть, по сути, решать задачу многокритериальной оптимизации.
+
При формальном подходе программа-судья должна была бы вычислять (разумеется на основании каких-то внешних данных) интересы ребёнка как значение сложной функции со многими переменными, то есть, по сути, решать задачу [[Многокритериальная оптимизация|многокритериальной оптимизации]]. Поскольку веса важности критериям при решении таких задач выставляют на основе произвола постановщика, то и здесь робот-судья, с любой формальной моделью вычисления такой функции был бы вынужден использовать эти веса выставлены непонятно по какому критерию. Ни в какое формальное описание закона невозможно вписать заранее важность степени привязанности каждого из нескольких детей к родителям, друг другу, условиям и т.д. одинаковым для всех разводящихся семей образом.
+
+
==== "Экстремистский тезис" о нежелательности написания законодательства для неформализуемых случаев ====
+
Данный тезис, как правило, звучит последним аккордом в разговоре, после того как программист убеждается в невыполнимости своих тезисов и является несерьёзным. Вышеприведённый пример со спором о месте жительства детей прекрасно показывает, что законодательство в таких вопросах является весьма востребованным.