Рачунарска семантика
 |
Компјутерска семантика је проучавање аутоматизације процеса конструисања и резоновања са значењима репрезентација природних израза. Због тога игра значајну улогу у процесу обраде природних језика и рачунарске лингвистике.
Неке традиционалне теме од интереса су: конструкција представљања значења, семантичка неподударност, резолуција анафора, пројекција претпоставке и резолуција квантификатора. Методе које се користе обично се извлаче из формалне семантике или статистичке семантике. Рачунарска семантика има тачке контакта са подручјима лексичке семантике (појмовно разумевање и семантичко означавање улога), семантика дискурса, представљање знања и аутоматско образложење (нарочито аутоматско доказивање теорема). Од 1999. године постоји посебна интересна група ACL-а за рачунску семантику, SIGSEM.
Види још[уреди | уреди извор]
 | Овај чланак везан за науку је клица. Можете допринети Википедији тако што ћете га проширити. |