Методы
Материал из NLPub
Для многих из указанных подходов имеются инструменты.
Содержание |
Варианты категориальной грамматики
- Категориальная грамматика, синтаксическое исчисление Ламбека (генеалогия: Лесневкий, Айдукевич, Бар-Хиллел, Ламбек, Пентус)
- Symmetric Categorial Grammar (Lambek-Grishin Calculus)
- Combinatory Categorial Grammar (CCG)
- Multi-modal combinatory categorial grammar (MMCCG)
- Abstract Categorial Grammar - de Groote (2001)
Варианты (типизированного) лямбда-исчисления и линейная логика
- Формальная семантика (в строгом смысле) - Монтегю, B. Partee
- Glue Semantics (and LFG), см. тж. Probabilistic LFG Parser Demo
- Type Logical Grammar (TLG) - Morrill
- Constraint Language for Lambda Structures (CLLS)
- Minimal Recursion Semantics (MRS)
Варианты с использованием комбинаторной логики
- Applicative Universal Grammar, Шаумян, аппликативная грамматика
Связи с алгеброй, теорией категорий, теорией игр
- Комбинаторы монадических парсеров (Parsec)
- Independence-Friendly Logic - Hintikka, Sandu
- Недетерминистские многозначные логики
- Продолжения (continuations)
Разобрать
- Abstract Categorial Grammar (ACG) - de Groote (2001)
- Категориальные грамматики в приложениях к синтаксическому разбору - Lambek Calculus, Polymorphic Categorial Grammars, Interaction Grammars etc.
- Type-Logical Grammar (TLG) - Morrill
- IF Logic (Independence-Friendly logic) - Hintikka, Sandu
- Multi-modal Combinatory Categorial Grammar (MMCCG)
- Typed Feature Structure Grammars, s. Linguistic Knowledge Building (LKB) grammar development system, Prolog-embedding typed feature structure grammar (PETFSG)
- Tree Adjoining Grammar (TAG) and related - XTAG Project and tools, Tübingen Linguistic Parsing Architecture, MetaGrammar Toolkit, Parser LTAG du LORIA
- Head-Driven Phrase Structure Grammar (HPSG)
- Link Grammar