Составители:
Рубрика:
1
ПРЕДИСЛОВИЕ
При использовании ЭВМ для решения задач можно выделить два
взаимосвязанных способа представления знания:
1) процедурное представление, т. е. определение алгоритма обра-
ботки данных;
2) декларативное представление, т. е. определение отдельных поня-
тий, их состояния в конкретные моменты времени и связей между ними.
Традиционные алгоритмические языки (Паскаль, Си, Фортран) яв-
ляются процедурными, поскольку их цель – описание алгоритма. Но
они содержат и декларативные компоненты (описание переменных).
В языке ПРОЛОГ (ПРОграммирование ЛОГическое), напротив, основ-
ной является декларативная компонента, так что он предназначен не столько
для обработки данных, как для обработки фактов и декларативных правил.
Факты представляют собой логические формулы. База знание (БЗ) задается
совокупностью таких формул. Логические методы обеспечивают получе-
ние новых фактов из фактов, представленных в БЗ.
В процедурных языках программист должен описать для компьютера
процесс решения задачи шаг за шагом. В противоположность этому в дек-
ларативном языке ПРОЛОГ программист описывает саму проблему и ос-
новные правила ее решения, оставляя за системой поиск конкретных дей-
ствий, приводящих к решению. Поэтому ПРОЛОГ справедливо считается
языком более высокого уровня, чем Си или Паскаль. Внешним выражени-
ем этого факта является то, что текст программы на ПРОЛОГе может быть
в десять раз короче текста программы на Паскале, решающей ту же задачу
(хотя, конечно, есть проблемы, неудобные для ПРОЛОГа, но легко описы-
ваемые на Паскале или другом процедурном языке).
ПРОЛОГ может использоваться при разработке экспертных систем,
а также для следующих задач:
– доказательства теорем и вывода решений в задачах;
– создания пакетов символьной обработки при решении уравнений,
дифференцировании, интегрировании и т. д.;
– разработки упрощенных версий систем ИИ;
