Тема: Предмет — судебная бугалтерия. Учебная работа № 374732

Учебная работа № 374732. Тема: Предмет — судебная бугалтерия

Выдержка из подобной работы

…….

Логическая грамматика

…..ических формализмов,
основанных на предложениях Хорна. Так называемые метаморфозные грамматики
(metamorphosis grammars или MGs) определили рост заинтересованности в области
выражения лингвистических понятий в логике (qv) и заложили основу для создания
качественных блоков предварительной обработки данных (процессоров ввода-вывода)
и интерфейсов. Основное применение результаты этих исследовательских работ
нашли в консультировании и создании баз данных на основе ЕЯ, выработке вопросов
и ответов, переводе текстов и синтезе текстов, исходя из надлежащим образом
оформленных спецификаций.

Понятие грамматик, построенных на определенных
предложениях (DCGs), как особого случая метаморфозных грамматик, было введено в
1978 году Перейрой и Уорреном в качестве грамматического формализма, для
которого PROLOG имеет эффективный механизм синтаксического анализа. Одни
практические системы были созданы для одновременного использования
синтаксического и семантического знания для привнесения логики в структуру,
содержа в себе информацию для семантической интерпретации. Другие системы были
выстроены на более чем одном уровне трансляции; использование синтаксического и
семантического знания осуществлялось отдельно друг от друга, и конечным
результатом являлось в PROLOGе предложение Хорна, выполнение которого
осуществлялось механизмом планирования (qv).

Техника экстрапозиционных грамматик
(extraposition grammars или XGs) была предложена Перейрой для описания
определенных глобальных отношений или экстрапозиций, таких как связь между
относительным местоимением и его записью. В конечном итоге разработки наподобие
грамматик структуры определений (modifier structure grammars или MSGs) Даля и
МакКорда, древовидных грамматик (tree grammars или TGs) Колмеройера и
усложненных грамматик (puzzle grammars или PGs) Сабатье увеличили силу
выражения лингвистических понятий.

Все эти исследовательские работы по
грамматическим формализмам, замешанным на логике, стали возможны и проще в
осуществлении после выбора PROLOGа, языка программирования основанного на подмножестве
логики первого порядка.

ЛОГИЧЕСКИЕ ГРАММАТИКИ

Грамматики описывают структуру (синтаксис)
языков множеством продукций (правил, перерабатывающих текст). Например,
правилом

sentence -> noun-phrase verb-phrase

устанавливается связь между тремя
нетерминальными символами: предложение может состоять из именной группы и
следующей за ней глагольной группы.

Такие правила могут быть отображены в PROLOGе
следующим образом:

sentence (S1, S3): — noun-phrase (S1, S2),
verb-phrase (S2, S3).

verb-phrase (S1, S2): — connects (S1, writes,
S2).

connects (1, each, 2).

connects (2, author, 3).

connects (3, writes, 4).

(Примечание: предикаты (т. е. выражения с неопределенными терминами,
или переменными, которые преобразуются в истинные или ложные высказывания при
выборе конкретных значений для этих самых терминов) заносятся в PROLOG через
запятую. Переменные отличаются от констант первой заглавной буквой.)

В нижеследующей записи числа обозначают начало и конец
каждого слова:

1each2 author3 writes4

Чтобы проверить правильность построения
предложения, необходимо указать цель

? — sentence (1, 4).

(где ? — бинарное обозначение структуры (или
бинарный функтор), содержащееся в любой системе PROLOG) и продемонстрировать,
что она подтверждается предыдущими условиями. Используя список в качестве
информационной структуры для представления предложения, числа больше не нужны,
так как PROLOG имеет устройство синтаксического анализа, способ…