Методы

Материал из 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)

Варианты с использованием комбинаторной логики

Связи с алгеброй, теорией категорий, теорией игр

  • Комбинаторы монадических парсеров (Parsec)
  • Independence-Friendly Logic - Hintikka, Sandu
  • Недетерминистские многозначные логики
  • Продолжения (continuations)

Информационный поиск

Применение логов поисковых запросов, словарей, баз данных для уточнения пользовательских запросов к поисковой машине

Разобрать