Составители:
Рубрика:
неисправностей в технике и заболеваний в медицине, управление
роботами и т.д.
В общем случае везде, где требуется анализ данных и возможны
различные варианты решения, а сам ход решения не очень ясен для
программиста или же желательно избежать детального описания
своих действий, которые и так всем интуитивно понятны, во всех
этих случаях целесообразно использовать логическое
программирование. Логическое программирование позволяет
обойтись без традиционной алгоритмизации решаемой задачи и
сконцентрировать усилия на формализации знаний о предметной
области решаемой задачи.
Наибольшее распространение получила система логического
программирования, основанная на представлении знаний в виде так
называемых клауз Хорна. Это система и язык Prolog (PROgramming in
LOGic), предложенная в начале 70-х годов Аланом Колмероем.
Общая идея логического программирования представлена схемой на
рис. 3.1. База знаний содержит описание правил вывода и известных
фактов в форме клауз Хорна. Задание на работу с системой
логического программирования имеет вид клаузы или набора клауз, в
которых фигурируют предметные переменные, значения которых
необходимо определить.
Задание
(
цель
)
Машина вывода
База знаний
(правила и факты)
Ответ
Рис.3.1.
Машина вывода предназначена для процедурной
интерпретации логической программы, т.е. всей совокупности клауз
Хорна (запроса и базы знаний). Машина вывода реализует
заложенный в нее алгоритм обработки клауз (утверждений)
логической программы, называемый методом резолюций, для поиска
возможных решений.
128
Страницы
- « первая
- ‹ предыдущая
- …
- 42
- 43
- 44
- 45
- 46
- …
- следующая ›
- последняя »
