Методы и алгоритмы трансляции естественно-языковых запросов к базе данных в SQL-запросы. Найханова Л.В - 26 стр.

в искусственном интеллекте к середине 70-х годов осознана необходимость разработать
средства в инструментальных системах для представления знаний, поскольку сами по себе
общие методы поиска решений не привели к практическим успехам. В качестве одной из
форм для представлений эвристических знаний были предложены правила вида: условие —
> действие, в которых левая часть описывает некоторую ситуацию, а правая — те действия
или заключения, которые надо сделать, если имеет место описываемая ситуация.
      Общая постановка задач при использовании множества правил формулируется
следующим образом. Задается исходное и целевое состояние задачи. Система сама на
основе заложенных в нее правил ищет возможные пути решения перевода исходного
состояния в целевое.
      Знания о предметной области задают множество возможных преобразований в
пространстве ситуаций, каждое из которых ограничено соответствующими условиями
применимости данного преобразования в той или иной ситуации. Такие правила стали
называть продукциями, а системы, использующие их для описания знаний, – системами
продукций [131]. Такая форма представления информации была принята в некоторых
психологических моделях мышления человека. Исследования процессов принятия решений
человеком показали, что, рассуждая, человек использует правила вида условие → действие.
А.Ньюэлл первым предложил использовать такое представление знаний для
моделирования на ЭВМ процесса принятия решений.
      Таким образом, в искусственном интеллекте под термином "системы продукций"
понимают, с одной стороны, средство представления знаний. В этом смысле его можно
отнести к классу нелогических прикладных исчислений и исследовать его свойства. К
основным      достоинствам    систем    продукций     можно     отнести:    проблемную
ориентированность, естественную модульность организации знаний в системах продукций
(каждая продукция представляет собой законченный фрагмент знаний о предметной
области), независимость каждой продукции от содержания других продукций (продукции
не взаимодействуют друг с другом, эффект применения каждой из них определяется
изменениями, которые она производит в обрабатываемой структуре); присущая системам
продукций декларативность позволяет описывать с их помощью саму предметную область,
а не только соответствующие процедуры обработки.
      К проблемам реализации продукционных систем относится их формальное описание
и реализация процедуры поиска по образцу. Ниже описан подход, который позволит
использовать лучшие стороны логических исчислений. Как изложено выше, продукция
имеет две основные части: условие применимости и действие.
      Условие применимости представляет собой описание возможной ситуации
предметной области и записывается в виде конъюнкции подразумеваемых фактов,
описывающих эту ситуацию. Множество условий применимости составляют множество
возможных ситуаций этой предметной области. На вход системы продукций подается
исходная ситуация, осуществляется поиск по образцу на множестве условий
применимости. Если условие применимости найдено, то выполняется действие,
соответствующее данному условию. Если представить условие применимости в виде
формулы логики предикатов второго порядка в скулемовской стандартной форме, то
задачу поиска подходящей продукции можно решать как доказательство теорем, используя
для этого хорошо развитые резолютивные методы вывода.

                                          26