Минималистские грамматики - это класс формальных грамматик, которые стремятся обеспечить более строгую, обычно теоретико-доказательную, формализацию минималистской программы Хомского, чем это обычно делается в основной минималистской литературе. Существует множество конкретных формализаций, большинство из которых разработано Эдвардом Стэблером , Аленом Лекомтом, Кристианом Реторе или их комбинациями.
Расширения Лекомта и Реторе исчисления Ламбека
Лекомт и Реторе (2001) [1] вводят формализм, который модифицирует это ядро исчисления Ламбека, позволяя описывать процессы, подобные движению, без использования комбинаторики комбинаторной категориальной грамматики . Формализм изложен в терминах теории доказательств. Немного отличаясь в обозначениях от Lecomte и Retoré (2001), мы можем определить минималистскую грамматику как набор из трех элементов., где представляет собой набор «категориальных» функций, представляет собой набор «функциональных» функций (которые бывают двух видов: «слабые», обозначаемые просто , и "сильный", обозначенный ), а также набор лексических атомов, обозначаемых парами , где является фонологическим / орфографическим содержанием, и - это синтаксический тип, рекурсивно определяемый следующим образом:
- все функции в а также являются (атомарными) типами, и
- если а также типы, так же , , а также .
Теперь мы можем определить 6 правил вывода:
- , для всех
- , для всех
Первое правило просто позволяет использовать лексические элементы без дополнительных предположений. Второе правило - это просто средство введения допущений в вывод. Третье и четвертое правила просто выполняют проверку характеристик направленности, комбинируя предположения, необходимые для построения объединяемых частей. Предполагается, что правило энтропии позволяет разбивать упорядоченные секвенции на неупорядоченные секвенции. И, наконец, последнее правило реализует «движение» посредством исключения допущений.
Последнему правилу можно дать ряд различных интерпретаций, чтобы полностью имитировать движение нормального типа, найденное в Минималистской программе. По мнению Лекомта и Реторе (2001), если один из типов продукта является сильным функциональным признаком, то фонологическое / орфографическое содержание, связанное с этим типом справа, заменяется содержанием a , а другое - заменяется пустой строкой; тогда как если ни один из них не является сильным, тогда фонологическое / орфографическое содержание заменяется характеристикой категории, а пустая строка заменяется слабой функциональной характеристикой. То есть мы можем перефразировать правило как два подправила следующим образом:
- где
- где
Другой альтернативой было бы создание пар на шагах / E и \ E и использованиеПравило как дано, заменяя фонологическое / орфографическое содержание a в наивысшую из позиций замены и пустую строку в остальных позициях. Это больше соответствовало бы минималистской программе, учитывая, что возможны множественные перемещения предмета, где «прописана» только самая высокая позиция.
Пример
В качестве простого примера этой системы мы можем показать, как сгенерировать предложение, которое видел Джон, с помощью следующей игрушечной грамматики:
Позволять , где L содержит следующие слова:
Таким образом, доказательство приговора, которое видел Иоанн :
Рекомендации
- ^ Леконт, А., Retoré, C. (2001). «Расширение грамматик Lambek: логический счет минималистских грамматик». Proc. 39-я Ann. Заседание Ассоциации компьютерной лингвистики (PDF) . С. 362–369.CS1 maint: несколько имен: список авторов ( ссылка )
дальнейшее чтение
- Harkema, H., 2001. «Характеристика минималистских языков», в: de Groote, P., Morrill, G., Retoré, C. (Eds.), Logical Aspects of Computational Linguistics (Lecture Notes in Artificial Intelligence, No. . 2099). Спрингер, Нью-Йорк, стр. 193–211, DOI : 10.1007 / 3-540-48199-0_12
- Эдвард П. Стейблер (2010). «После правительства и связывающей теории». В Йохане Ф.К. ван Бентеме; Алиса тер Мёлен (ред.). Справочник по логике и языку (2-е изд.). Эльзевир. С. 395–414. ISBN 978-0-444-53727-0.