Декларация о машинной независимости

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

Декларативные знания - это физические законы, этические нормы, эстетические принципы. Эта информация может быть в виде фактов. Если факта нет, то есть законы, из которых можно выводить нужное. Выведут, а потом смотрят, нужное ли вывели? Настоящие системы искусственного интеллекта чаще выводят ненужное, это для них дело привычное. После чего бэктрекинг позволяет снова попытаться вывести нужное.

При декларативном представлении, как и при процедурном, необходимо выбирать элементарные единицы хранения. Если, скажем, в связи с учетом в модели времени выбрать временную единицу, то специалист по квантовой механике и археолог предложат существенно различные. Для жителя Сахары понятие "снег" - элементарное, а понятие "змея" требует дальнейшей детализации, для жителей же Чукотки - все наоборот.

Декларативное представление отвечает на вопрос "Что?". А как это "что" получить, удел процедурного представления. Поскольку одно "что" может быть достигнуто многими различными "как", то декларативное представление считается представлением более высокого уровня. Например: "Карфаген должен быть разрушен!". А как это сделать - проблемы процедурного знания. Да хоть как!

Заносчивость декларативного представления, его независимость (абсолютное несоответствие) оплачивается извращенным использованием компьютера (машины Фон-Неймана). Это не просто на трамвае ездить поперек рельс, но и прокладывать очередные куски рельсового пути, убирая уже пройденное! Ведь для логического программирования, реализующего декларативное представление, основной режим - интерпретация. Точнее, это не просто на трамвае ездить поперек рельс, с одновременной их прокладкой/выкорчевкой, но и сидеть при этом на трамвайной крыше, поскольку логическое программирование предпочитает "все на виду" - никаких спрятанных состояний переменных или другого шулерства!

Вроде, что делать - всегда должно быть проще того, как делать. Но это только "вроде". Гипотеза Фон-Неймана: "Простейшим описанием объекта, достигшего некоторого порога сложности, оказывается сам объект, а любая попытка его строгого формального описания приводит к чему-то более трудному и запутанному". Так что "Хорошая модель должна быть гомоморфна оригиналу" - это самозаклинание математиков. Вон, Махонин психоморфизм предлагал для компьютеров - не послушались. Это не оправдывает Фон-Неймана, а наоборот усугубляет! Понимал гений, что натворил со своей концепцией вычислительной машины!

Декларативные знания можно подразделить на экстенсиональные и интенсиональные или на эксплицитные и имплицитные. Но все красивые слова все равно в лекции не вставишь. Бог с ними, не будем трогать - пусть живут.

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