Arvutisemantika

Arvutisemantika tegeleb loomuliku keele väljenditele omistatud tähenduse esituse loomise ja selle esituse kasutamisega arvutuslikes protsessides. Seega on arvutisemantikal oluline roll nii arvutilingvistikas kui keeletehnoloogias.
Arvutisemantika võib üldiselt jagada kaheks suureks alaprobleemiks: väljendi tähenduse formaalse esituse leidmise probleem ja formaalsete esituste vaheliste seoste leidmise probleem. Formaalsete esituste vahelisi seoseid kasutatakse selle jaoks, et teada saada, kui kasulik mingi otsingu või väljendite võrdluse vastus tegelikult on.
Ajalugu.
Algne lähenemine tehisintellekti uuringute käigus kasutas tähenduse esitamiseks vaid graafiteooriat. Üks tuntumaid lähenemisi oli Roger Schanki 1969. aastal loodud kontseptuaalse sõltuvuse teooria, kus sõnade tähendused kodeeriti graafidena, mis esitasid kindlaid põhimõtteid ja relatsioone. Sõnade tähendusi esitavad graafid liideti teatud reeglistikke kasutades kokku lausete tähendusi esitavateks graafideks. Selline esitusviis ei võimaldanud aga esitada keerulisemat informatsiooni ning seda modelleeriti graafi servadele siltide lisamisega.
Tänapäevane lähenemine sai alguse 1970. aastate alguses ning põhineb Richard Montague'i loodud kompositsioonilise semantika teooriat. Tänapäevase lähenemise puhul kasutatakse tähenduse esitamiseks formaalset loogikat. Teksti süntaktilise analüüsi tulemusel saadud esitust esimese või kõrgema järgu loogikas kasutatakse soovitud tulemuse saamiseks järeldusmootori sisendina.
Alamteemad.
Antud alapeatükis on välja toodud mõningad alamteemad, millega arvutisemantikas tegeldakse. Nende probleemide lahendamiseks võidakse kasutada nii formaalse kui statistilise semantika meetodeid.
Tähenduse esituse konstrueerimine.
Semantilise analüüsi eesmärgiks on jõuda fraaside, osalausete, lausete ja lõikude tasandilt teksti tasandile ja läbi selle leida keelest sõltumatu tähendus. Selle tulemuse saavutamiseks eemaldatakse tekstist keeleline ja kultuuriline kontekst, idioomid ja muud kõnekujundid.
Semantiline alatäpsustus.
Keeleliselt tähendab semantiline alatäpsustus informatsiooni ärajätmist tekstist. Arvutisemantika seisukohalt on vaja leida moodus leida ühene esitus mitmele erinevale esitusele. Vastasel juhul ei ole neid võimalik arvutuslikult efektiivselt töödelda, kuna seotud nimisõnafraaside puhul on võimalike interpretatsioonide arv seotud Catalani arvuga.
Anafooride lahendamine.
Anafoor on teksti element, mis viitab tekstis varem esinenud elemendile. Näiteks lauses "Harri väitis, et nägi metsas kummitust, aga keegi ei uskunud teda" viitab 'teda' just Harrile, mitte kummitusele.
Presupositsioon.
Presupositsioon on selline järeldus, mida saab teha maailma kohta eeldusel, et suhtluses räägitakse tõtt. Näiteks saame lause "Toomas ostis turult kaseviha" põhjal järeldada, et üsna tõenäoselt on Toomal plaanis sauna minna.
Kvantifikaatorite skoobi lahendamine.
Teatud lausetes võib tekkida probleem, kus kaks kvantifikaatorit võivad olla mõistetavad erinevas skoobis ning seega muuta lause mõistet. Näiteks lause "Iga mees armastab üht naist" võib tähendada nii seda, et igal mehel on üks naine, keda see mees armastab; või ka seda, et maailmas on vaid üks naine, keda kõik mehed armastavad.
Rakendusviisid.
Paljud arvutuslingvistika rakendused kasutavad suuremal või vähemal määral arvutisemantikauuringute tulemusi. Näiteid rakendustest, mis vajavad semantilist töötlust: