Dorota Lipowska - Tematyka badawcza
From Zakład Logiki Stosowanej
| Wersja z dnia 21:44, 27 cze 2007 (edytuj) Lipowska (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 21:53, 27 cze 2007 (edytuj) (undo) Lipowska (Dyskusja | wkład) Następna edycja → |
||
| Linia 5: | Linia 5: | ||
| [[Dorota Lipowska - Curriculum Vitae|CV]] | | [[Dorota Lipowska - Curriculum Vitae|CV]] | | ||
| [[Dorota Lipowska - Tematyka badawcza|Badania]] | | [[Dorota Lipowska - Tematyka badawcza|Badania]] | | ||
| - | [[Dorota Lipowska - Lista publikacji|Publikacje]] | + | [[Dorota Lipowska - Lista publikacji|Publikacje]] | |
| [[Dorota Lipowska - Teksty on line|Teksty on line]] | [[Dorota Lipowska - Teksty on line|Teksty on line]] | ||
Wersja z dnia 21:53, 27 cze 2007
CV | Badania | Publikacje | Teksty on line
Dziedziną moich zainteresowań jest lingwistyka komputerowa, a w szczególności metody syntaktycznej i semantycznej analizy języka naturalnego. Zajmuję się głównie gramatykami formalnymi, które wykorzystywane są w tej dziedzinie, stanowiąc podstawę implementacji parserów, tj. analizatorów składniowych. W swojej rozprawie doktorskiej zaprezentowałam pewien wariant gramatyki kategorialnej, łączący cechy gramatyki Montague i gramatyki lewostronnie-asocjacyjnej Haussera. Opracowany w oparciu o nią parser pozwalał na analizę zdań słowo po słowie od strony lewej do prawej (lewostronnie-asocjacyjnie), produkując jego drzewo rozbioru, jak również reprezentującą je formułę logiki intensjonalnej.
Ponadto we współpracy z prof. Adamem Lipowski (Instytut Fizyki, UAM), zajmuję się symulacjami komputerowymi. W szczególności za pomocą metod dynamiki molekularnej badamy zjawiska nierównowagowe, takie jak na przykład przepływ ciepła czy dyfuzja, w pewnych układach atomowych. Użyta technika symulacyjna sprowadza się do kolejkowej obsługi zderzeń w tych układach, lecz ze względu na znaczne rozmiary badanych układów, wymagana jest również implementacja sortowania binarnego oraz sektoryzacji przestrzeni. W ramach tej współpracy zajmuję się również modelowaniem pewnych zagadnień dynamiki populacji oraz ewolucji wielogatunkowych ekosystemów. W szczególności interesuje nas dynamika wielkich wymierań oraz ich ewentualna periodyczność. Analizowane przez nas modele są tzw. sieciowymi układami agentów. Podobne podejście wykorzystujemy do modelowania pewnych zagadnień dotyczących powstania i ewolucji proto-języka. W szczególności interesuje nas proces osiągania koherencji językowej oraz wpływ dynamiki populacji na ten proces.
