Cтраница 1
Задачи обработки символьной информации возникают преимущественно в области научных исследований. [1]
Многие задачи обработки символьной информации и искусственного интеллекта ( например, анализ текстов, доказательство теорем, планирование, игровые задачи) решаются методом перебора. Эти задачи не имеют какого-либо простого метода решения, или этот метод нам неизвестен. Единственная возможность решить их - это рассмотреть различные варианты, которые потенциально могут быть решениями, в надежде найти вариант, который действительно решает задачу. Конечно, при этом стремятся на основе теоретического исследования решаемой задачи или с помощью эвристических методов сократить число рассматриваемых вариантов, но в основе такого способа решения лежит все же перебор вариантов. [2]
Метасистема СТЭЛЗ предназначена для задач обработки символьной информации и в первую очередь для расширения языков программирования и повышения их проблемного уровня. Метасистема рассчитана на широкий круг пользователей, в том числе и не имеющих практики системного программирования. Метасистема представляет собой надстройку над языком RITRAN и существенно использует его. [3]
Язык, одна из версий которого описана в книге, пользуется широкой известностью как язык для описания задач обработки символьной информации и искусственного интеллекта. [4]
К ним относятся, например, языки, используемые при решении задач вычислительного характера ( АЛГОЛ-60, ФОРТРАН), задач экономики, планирования, учета ( КОБОЛ, АЛГЭК, АЛГЭМ), задач обработки символьной информации ( ЛИСП, ЭПСИЛОН) и др. Изобразительные средства и правила построения конструкций в этих языках целиком определяются спецификой алгоритмов, для записи которых они предназначены, поэтому такие языки часто называют алгоритмическими. [5]
Такой метод структурирования данных прост и эффективен. Это является одной из причин того, почему Пролог естественно использовать для решения задач обработки символьной информации. [6]
Известно, что для лучшего понимания нового целесообразно подобрать такой контрпример, который был бы для него нетипичным или невыгодным. Таким контрпримером для - технологии является класс вычислительных задач, - технология в настоящее время используется в основном для задач обработки символьной информации. Для вычислительных задач эта технология не применялась и считается ( см. подраздел 1.4), что для них хороша существующая ЭВМ с традиционной технологией программирования. [7]
Выше уже отмечалось, что каждый проблемно-ориентированный язык предназначен для программирования задач определенного класса. Специализация обусловлена существенными различиями в задачах, решаемых с помощью вычислительной техники. Разнообразие классов задач привело к тому, что на сегодняшний день разработано несколько сотен алгоритмических языков. Правда, широкое распространение и международное признание получили лишь 10 - 15 языков. Среди них в первую очередь нужно отметить фортран и алгол-60, предназначенные для решения научно-технических задач, кобол - для решения экономических задач, симула - для решения задач моделирования, бейсик - для решения небольших вычислительных задач в диалоговом режиме работы ЭВМ, лисп - для решения задач обработки символьной информации. [8]