Cтраница 3
В мире, относительно несвязном, эффект действия робота может быть просто описан списками добавлений и вычеркиваний, принятых в системе STRIPS. Эффект от перехода робота в точку А - добавление ппф AT ( ROBOT, А) и вычеркивание любой ппф, говорящей о том, что робот находится где-то в другой точке. В таком простом мире не возникает необходимости каждый раз проверять, не вызывает ли действие робота особых побочных эффектов и не породит ли оно цепь событий, которые могут повлиять на другие отношения. Побочные эффекты, которые все же случаются, могут быть учтены в списках добавлений и вычеркиваний. Представление результатов действий в системе STRIPS является примером того, что мы будем называть утвердительным представлением. Однако в более сильно связанных мирах окончательный результат действий может сложным образом зависеть от первоначальных условий. Возможно, что результаты действий в этом случае лучше моделировать путем определенных вычислений, которые следует выполнить над моделью мира, представляющей исходное состояние. В таких случаях мы будем говорить, что результаты действия моделируются посредством процедурного представления. [31]
Основным недостатком данного подхода является его более низкая эффективность по сравнению с методами традиционного программирования. Различные авторы по-разному классифицируют продукционные системы. Одни относят их к декларативному представлению, другие - к процедурному или декларативно-процедурному. По нашему мнению, даже в самом простом продукционном правиле ( т.е. правиле, не содержащем присоединенных процедур) есть элемелт процедурности, так как предполагается, что правило будет использовано для выполнения некоторого действия. Именно это и отличает процедурное представление от декларативного, поскольку декларативные знания не несут никакой информации о том, как они будут использованы. Однако в продукционных правилах и даже в модулях, управляемых образцами, есть и элемент декларативности, так как способ использования правил и модулей в самих правилах и модулях не указывается. В общем можно считать, что, так же как и представления в виде фреймов и иерархических сетей, продукционные правила объединяют в себе свойства и декларативного, и процедурного представления. [32]
Этот довод звучит весьма убедительно; тем не менее, если интерпретировать его немного свободнее, он может быть понят как аргумент против ДНК и РНК. Зачем кодировать генетическую информацию в ДНК, если, сохраняя ее прямо в белках, можно избежать не одного, а двух лишних уровней интерпретации. Оказывается, что иметь одну и ту же информацию, закодированную в нескольких разных формах для разных целей, очень полезно. Одно из преимуществ кодирования генетической информации в ДНК в модулярной форме ( в форме данных) заключается в том, что таким образом два индивидуальных гена могут быть скомбинированы для формирования нового генотипа. Это было бы очень трудно, если бы информация содержалась только в белках. Вторым доводом в пользу хранения информации в ДНК является то, что это облегчает транскрипцию и трансляцию ее в белки. Когда информация не нужна, она не занимает много места; когда она нужна, она извлекается и служит эталоном. Не существует механизма для копирования одного белка на основе другого - их третичная укладка сделала бы такое копирование слишком громоздким. Кроме того, генетическая информация почти неизбежно должна быть представлена в трехмерных структурах, таких, как энзимы, поскольку узнавание молекул и манипуляция ими по природе являются трехмерными операциями. Поэтому в контексте клеток довод в пользу исключительно процедурного представления информации кажется неверным. [33]