Cтраница 2
В этой книге отражен опыт авторов по работе с языком лисп и его реализации на вычислительных машинах БЭСМ-6, ОДРА-1204 и др. Этот язык входит в десятку наиболее распространенных языков, хотя и не занимает - призовых мест. В его основу положены оригинальные идеи, знакомство с которыми обогащает программистскую квалификацию и культуру и приносит поэтому пользу, даже если программист в дальнейшем и не работает с этим языком. Уже после лиспа появились другие языки, предназначенные для тех же целей и в чем-то его превосходящие: рефал, PLANNER, CONNIVER и др. Современные универсальные языки также обладают большими возможностями в части обработки символьной информации. Но все это не умаляет значения лиспа, который содержит в наиболее чистом виде понятия, теряющиеся среди многих других понятий в более современных и универсальных языках. [16]
Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид если. Продукционный подход к представлению знаний иллюстрируется языками Рефал и Пролог. Обсуждается реализация режима возвратов и логического вьшода средствами продукции. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности. Для реализации уместности действий вводится понятие исключения из правила. При этом используется аппарат К-систем, представляющий собой нефинитное обобщение канонических исчислений Поста. [17]