Semantyka obliczeniowa

Semantyka obliczeniowa to nauka o tym, jak zautomatyzować proces konstruowania i rozumowania za pomocą reprezentacji znaczeniowych wyrażeń języka naturalnego . W konsekwencji odgrywa ważną rolę w przetwarzaniu języka naturalnego i lingwistyce komputerowej .

Niektóre tradycyjne tematy zainteresowania to: konstrukcja reprezentacji znaczeń , niedookreślenie semantyczne , rozwiązanie anafory , projekcja założeń i rozdzielczość zakresu kwantyfikatora . Stosowane metody zwykle czerpią z semantyki formalnej lub semantyki statystycznej . Semantyka obliczeniowa ma punkty styku z obszarami semantyki leksykalnej ( ujednoznacznienie sensu słów i semantyczne oznaczanie ról ), semantyką dyskursu, reprezentacją wiedzy i automatycznym rozumowaniem (w szczególności automatycznym dowodzeniem twierdzeń ). Od 1999 roku istnieje specjalna grupa ACL zajmująca się semantyką obliczeniową, SIGSEM.

Zobacz też

Dalsza lektura

  •   Blackburn, P. i Bos, J. (2005), Reprezentacja i wnioskowanie dla języka naturalnego: pierwszy kurs semantyki obliczeniowej , publikacje CSLI. ISBN 1-57586-496-7 .
  •   Bunt, H. i Muskens, R. (1999), Computing Meaning, tom 1 , Kluwer Publishing, Dordrecht. ISBN 1-4020-0290-4 .
  •   Bunt, H., Muskens, R. i Thijsse, E. (2001), Computing Meaning, tom 2 , Kluwer Publishing, Dordrecht. ISBN 1-4020-0175-4 .
  • Copestake, A., Flickinger, DP, Sag, IA i Pollard, C. (2005). Minimalna semantyka rekurencji. Wprowadzenie . W badaniach nad językiem i obliczeniami. 3:281–332.
  •   Eijck, J. van i C. Unger (2010): Semantyka obliczeniowa z programowaniem funkcyjnym. Wydawnictwo Uniwersytetu Cambridge. ISBN 978-0-521-75760-7
  •   Wilks, Y. i Charniak, E. (1976), Semantyka obliczeniowa: wprowadzenie do sztucznej inteligencji i rozumienia języka naturalnego , Holandia Północna, Amsterdam. ISBN 0-444-11110-7 .

Linki zewnętrzne