Изменения

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

Реклама:

Навигация