Джон Маккарти
игнут с появлением модульности структур данных, но по-прежнему невозможно было обходиться без переписывания программ. Другим симптомом, По мнению Маккарти, являлся тот факт, что никто не знал, как создать та-^У базу данных, содержащую общеполезные знания об окружающем мире, которую могла бы использовать любая программа, нуждающаяся в этих з« ниях. В 1963 году Маккарти публикует статью, посвященную именно при блемам общности в системах искусственного интеллекта. В ней он выдвЯ гает предположение, что, может быть, стоило бы попробовать что-нибуЛ более похожее на генетическую эволюцию, например, дублировать подпщ граммы, одни копии модифицировать, а другие оставлять неизменным! Обучающаяся система экспериментировала бы: а не лучше ли заменить н1 которые вызовы начальных подпрограмм вызовами модифицировании подпрограмм? Может быть, потребовалось бы зарезервировать для модифи каций некоторое количество параметров подпрограмм. Однако все способ! представления знаний с помощью программ сталкивались с возникновенщ ем такого вопроса, насколько скоро придется комбинировать несопостаЛ мые знания или создавать программы, модифицирующие знания. Маккарт! считал, что малые модификации поведения в большинстве случаев можи описать как малые изменения представлений о мире и для этого необходима система, точно отражающая эти представления.
Он писал: “Если вы хотите, чтобы машина могла выводить абстракции, скД рее всего, это значит, что она должна уметь представлять эти абстракцщ некоторым достаточно простым способом”.
Еще тогда возникла идея увеличения общности, которая заключается в том чтобы воспользоваться логикой для такого описания фактов, которое не за висело бы от того, как эти факты будут использоваться впоследствии. Тон Маккарти казалось (как, впрочем, и сейчас), что люди по объективнш причинам предпочитают общаться с помощью декларативных предложения а не языков программирования, все равно, является ли субъект общем человеком, существом с Альфа Центавра или компьютерной программой Более того, и для внутреннего представления проявляются преимущеещ декларативной информации.
За любое увеличение выразительной силы, по мнению Маккарти, приходится платить требуемой сложностью программ, осуществляющих рассуждений и решающих задачи. Другими словами, ограничение выразительности ларативной информации позволяет упростить процедуру поиска. Одно из основных ограничений, которое обычно принимается, заключается в нео| ходимом соблюдении следующего условия: при выведении новых факи таковыми должны являться только формулы без переменных, т. е. рассуждения в высказываниях должны производиться с подстановкой вместо переменных константы. Оказывается, что повседневная жизнь человека 4J большей части сопровождается именно такими рассуждениями.