Варианты представления

Займемся пока аналогией и обучением. Сначала два общих положения о том, почему проблема представления знания заслуживает особого внимания.

Существует целый спектр возможных представлений

Знания обычно имеют вид совокупности фактов, описывающих либо конкретные физические объекты, либо менее осязаемые абстракции. С другой стороны, знание может быть заключено в форме программ, если оно глубоко ассоциировано с выполнением некоторого процесса. Это весьма важное понятие процедурного описания позже займет у нас центральное место. Примеры же настоящей главы связаны с двумя непроцедурными представлениями: совокупностями утверждений и семантическими сетями.

Представления сильно различаются по мощности

В некотором не представляющем интереса теоретическом смысле все представления эквивалентны, потому что в конечном итоге все они вписываются в те символические структуры, которые присутствуют в некоторых вычислительных языках, подобных Лиспу, а в дальнейшем вписываются глубже в определенные сочетания ячеек памяти. В практическом отношении, однако, некоторые представления подчеркивают те вещи, которые являются важными при решении задач данного класса. Таким образом, одна схема оказывается более удобной, чем другая, поскольку она удобнее для пользователя, хотя в принципе они обе могут быть приемлемы. Удобство, пожалуй, слишком слабое слово. В общем случае, гораздо большая ясность и внутренние подсказки, которые вытекают из более мощных представлений, ведут к такому прогрессу в исследовании, который был бы практически невозможен при использовании менее подходящих представлений. Те, кто знаком с основами вычислительных наук, поймут, что слово "мощный" здесь используется в точности в том же смысле, когда говорят, что вычислительная машина, снабженная языком программирования высокого уровня, является более мощной, чем вычислительная машина, у которой имеется лишь язык ассемблера. Но в неинтересном для нас теоретическом аспекте обе они все же являются эквивалентами машины Тьюринга.