Изменения

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