Формализация неформализуемого

Ишкушштвенный интеллект

Знания надо не только извлечь, но и формализовать. А то их компьютер не примет. Компьютер, в конечном счете, самое заформализованное создание. До ноликов-единичек заформализован. А дальше некуда - меньше бита еще ничего не придумали. А человек наоборот - из животных самый неформализованный. Так вот, формализация неформализованного - процесс неформализуемый. Хотя с этим пытаются бороться логики и военные.

Формула любви! Формула счастья! Формула успеха! Чушь все это - кроме "Формулы один" все остальное формализации не поддается. Все остальное только в виде весьма грубых моделей. Впрочем, некоторых даже устраивают варианты грубой любви, грубого счастья и грубого успеха.

Но для формализации нужен адекватный математический аппарат. Но любая математика ведет себя неадекватно, поскольку человек неадекватен математике как таковой. И компьютер ей тоже неадекватен.

Отдельных запугиваний достойна проблема рефлексии, но это уж совсем. Одному Лефевру удавалось книжки по этому делу публиковать, да и тот в Америку уехал. Так что я думаю, что он думает, что думать в наше время надо о другом.

А.Е.Соловьев, soloviev.nevod.ru, 1994 год