Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 135 стр.

к решению интеллектуальных задач обладают так называемые символические системы.
Символическая система представляет собой множество символов, которые могут объединяться
друг с другом в так называемые символические структуры. Некоторые символические структуры
могут «быть интерпретированы», т. е. с ними могут быть связаны процедуры обработки данных.
Решение интеллектуальных задач с символическими структурами производится методом генерации
различных решений и отбрасыванием неудовлетворительных, т.е. все тем же перебором. Легко
увидеть, что язык Пролог вполне можно рассматривать как конкретную реализацию этих
абстрактных символических систем. Символы - это атомы; символические структуры - структуры
Пролога; интерпретируемые структуры - правила, неинтерпретируемые структуры - факты;
перебор вариантов ~ основа алгоритма логического вывода Пролога. В силу этой близости Пролог
многими рассматривается как перспективный язык для реализации систем искусственного
интеллекта.
     Близкими свойствами обладает и язык ЛИСП, который более 30 лет применяется для
построения интеллектуальных систем. Основное различие между ними в том, что Пролог обладает
встроенным механизмом логического вывода, а ЛИСП этого не имеет. В языке ЛИСП механизм
логического вывода приходится разрабатывать самому программисту, что, естественно, усложняет
для него задачу разработки программы. Однако такое преимущество Пролога иногда может
превращаться в недостаток. Это происходит тогда, когда встроенный в Пролог алгоритм поиска по
каким-либо причинам не подходит для решения данной конкретной задачи. Видимо, это и является
одной из причин того, что Пролог все еще не вытеснил ЛИСП из области построения систем
искусственного интеллекта.
      Рассматриваемое нами направление программирования называется логическим потому, что в
его основе лежит аппарат математической логики. Естественно поэтому предположить, что оно
должно хорошо подходить для решения тех классов задач, для которых математическая логика
является наиболее подходящим инструментом.
      Рассмотрим еще одну задачу, В отличие от предыдущих логических задач эта задача
принадлежит к классу алгоритмических головоломок, в которых требуется найти алгоритм, т. е.
последовательность действий, приводящих к решению. Формулировка задачи такова. Даны три
сосуда емкостью 10, 7 и 3 литра. В первом сосуде содержится 10 литров молока. Требуется
разделить молоко поровну,




                                             135