Semantika je študija o tem, kako so besede, besedne zveze in celo simboli in znaki povezani med seboj, da tvorijo strukturiran pomen. Obdelava tega pomena z vidika podatkov in človeškega jezika se imenuje računalniška semantika. Programska oprema lahko uporablja semantiko za interpretacijo stavkov in ustvarjanje neke oblike izhoda, vendar jezik pogosto vsebuje zvoke in besede, ki imajo lahko podoben pomen. Računalniška semantika se običajno osredotoča na to, kako oblikovati natančne pomene besednih zvez, pogosto v obliki teorije.
Interpretacije besednih zvez, ki nimajo smisla, je mogoče filtrirati s pomočjo sklepanja, ki se včasih uporablja tudi za razvrščanje možnosti različnih interpretacij. Formule za razumevanje jezika je mogoče ustvariti z uporabo modelov, v katerih so matematične spremenljivke dodeljene različnim jezikovnim elementom. Črki P in Q se pogosto uporabljata s teorijo dokazov, v kateri je formule mogoče izpeljati iz drugih s pomočjo pravil sklepanja. Računanje besed v stavku včasih pomaga izpeljati pomene ali poiskati alternativne. Poleg tega se matematični izračuni, imenovani algoritmi, pogosto uporabljajo za računalništvo, jezikoslovje in statistiko na področju računalniške semantike.
Namen računalniške semantike je predstaviti dvoumnosti ali besedne zveze, ki imajo lahko različne pomene, na formulen način. Vključuje tudi obdelavo besed, ki se zanašajo na kontekst, da jih razumemo. Običajno je cilj avtomatsko razlagati pomen, pa tudi povezati način tega, da se drugi računalniški procesi izvajajo učinkoviteje.
Računalništvo običajno uporablja semantiko za razlago jezikov, da bi razumeli del informacij, imenovan izraz. Jezik običajno na ta način obdelujejo računalniki; podatki so lahko tudi strukturirani tako, da predstavljajo posebne informacije v sistemu. Organizirani pomen jezika se na splošno uporablja za računalniške programske jezike, pri čemer so spremenljivke pogosto predstavljene kot X ali Y. Podatki na internetu so organizirani v semantičnem spletu, v katerem se običajno izvajajo podatkovni modeli za spletno strukturiranje informacij.
Poleg programiranja programske opreme se računalniška semantika pogosto uporablja za delovanje avtomatiziranih strojev, sistemov za prepoznavanje govora in programov za optično prepoznavanje znakov (OCR). Obdelava naravnega jezika običajno omogoča, da takšni sistemi učinkovito delujejo. Zagotavlja tudi način, da ljudje učinkovito delajo na računalnikih. Programski sistemi običajno prepoznajo besede v stavku ali pri spletnem iskanju z razumevanjem elementov govora in jezikovnih elementov, ki vsakega od njih povezujejo skupaj.