Parsowanie języka naturalnego z użyciem pochodnych
W październiku zeszłego roku obroniłam swoją pracę magisterską z informatyki analitycznej, którą poświęciłam parsowaniu języka naturalnego z użyciem pochodnych. W pracy przedstawiłam propozycję nowej formalizacji dla gramatyk języków naturalnych, opartą na formalizmie DCG (Definite Clause Grammars), reprezentującym gramatyki za pomocą klauzul logiki pierwszego rzędu. Nowy sposób formalizacji, oparty na modyfikacji gramatyk bezkontekstowych poprzez dodanie unifikowalnych atrybutów, daje możliwość zastosowania parsowania przez obliczanie pochodnej języka. W pracy opisuję również aplikację tej metody oraz uzyskaną złożoność obliczeniową parsowania. Poniżej przedstawiam jej wybrane fragmenty. W kilku miejscach dla czytelności uprościłam i skróciłam zapis. Całość pracy (m.in. dokładne definicje, dowody twierdzeń, algorytm nullowalności oraz analiza złożoności) jest dostępna w systemie APD .