January 28th, 2009

with Cat The Cat

Давнишнее, но интересное.

Using Types to Parse Natural Language


We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type inference where types and grammatical structure play opposite roles, the former being determined by the latter. Our parser is implemented in Haskell and is based on a linguistic theory called applicative universal grammar (AUG). Our results should be interesting to computer scientists in the way in which AUG relates to types and combinatory calculus, and to linguists in the way in which a very simple, brute force parsing strategy performs surprisingly well in both performance and accuracy.
Поскольку я приверженец строгой типизации, то не могу не поделиться этой ссылкой. ;)

У этой статьи было продолжение, где система типов была расширена и с её помощью можно было провести изменение залога из активного в пассивный и наоборот: "я пинал мяч" == "мяч был пинаем мной". Даже код в сети где-то болтался.

Так что есть в естественном языке строгая типизация, есть. Надо только уметь её увидеть. ;)
with Cat The Cat

Фильм Подмена (http://www.afisha.ru/movie/190720/)