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

команды SELECT.
     Под ассоциированными процедурами К понимается разбиение предложения на
лексемы, а также все вычислительные процедуры, реализующие частичные функции,
необходимые для выполнения отображений.
2.2. Аппарат описания формальных моделей
     Формирование ответа на запрос является результатом процессов распознавания и
формализации знаний, содержащихся в соответствующем запросе. Понимание текста на
семантическом уровне предполагает выявление не только лингвистических, но и
логических отношений между языковыми объектами.
     В настоящее время в качестве основных средств представления знаний в
информационно-поисковых системах используются Семантические сети, Системы
продукций, Фреймы и Логические модели, в последнее время стали развиваться
прикладные модели [128, 43, 69, 84, 90, 2, 131]. В качестве подхода к построению модели
знаний лингвистического транслятора в работе используются системы продукций. Системы
продукций, на наш взгляд, являются почти единственной моделью представления знаний,
на которой удобно описывать правила обработки знаний, именно это обстоятельство
определило выбор аппарата для построения формальной модели предметной области.
2.2.1. Введение в системы продукций
      Системы продукций начали развиваться с середины 70-х годов в связи с появлением
прикладных программных систем специальной архитектуры, предназначенных для
решения задач в плохо формализованных областях, таких как медицина, геология,
понимание естественного языка. В первых работах дается содержательное описание
продукционного подхода. Наиболее полное исследование данного представления в виде
формальных моделей дали А.С.Клещев [82], В.Е.Кузнецов [26], Т.М.Яхно [62,81],
M.Georgeff [130]. Особенности каждой модели определялись классами решаемых задач и
технологическим базисом.
      Опишем концептуальные рамки понятия "системы продукций" (СП), используемого
сейчас в области искусственного интеллекта, и проследим, из каких понятий оно
складывалось и как эволюционировало. Формальная теория или исчисление [129]
определяется как "способ задания множеств путем указания исходных элементов (аксиом)
и правил вывода, каждое из которых описывает, как строить новые элементы из исходных
и уже построенных". Список, каждый элемент которого является аксиомой или получен из
предыдущих элементов списка по одному из правил вывода, называют выводом в
исчислении. Наиболее полно изученными исчислениями в математической логике
являются исчисления высказываний и исчисления предикатов первого порядка [129]. С
каждой формулой в этих исчислениях связывается понятие «интерпретация»
(приписывание истинностных значений), через которое определяются такие понятия, как
противоречивость, непротиворечивость и общезначимость формул. Логическое следствие
определяется следующим образом. Формула G есть логическое следствие формул F1, F2,...,
Fn, тогда и только тогда, когда для любой интерпретации I, если формула F1& F2&...&Fn
истинна в I, то G также в ней истинна [129].
      Логическое следствие получается в результате применения логических правил
вывода. Такие правила вывода обладают универсальной истинностью и могут применяться

                                          24