Logikk og informatikk

Logikk er læren om lover og regler som gjør tenkning, resonnering og argumentasjon gyldig.  Logikk er viktig i informatikk og Institutt for informatikk har etablert en egen forskningsgruppe  som bygger på etablerte metoder fra logikk og videreutvikling av disse metodene for å løse morgendagens utfordringer i områder som Semantic Web og Big Data. Forskningsgruppa ledes av professor Arild Waaler. Fagområdet logikk har en lang tradisjon med røtter innen filosofi og matematikk. Logikk gir både et språk for å beskrive presise sammenhenger og logikk er et verktøy for å lage kalkyler for å resonnere omkring disse sammenhengene.  Kunnskap innen logikk har fått ny aktualitet innen informatikkfaget der logikk brukes til å beskrive og resonnere om hvordan programvare og maskinevare virker, hvordan datasystemer og data skal modelleres, og hvordan forstå kompleksiteten i disse systemene. Den nye forskningsgruppa ved Institutt for informatikk er opptatt av automatisk resonnering der maskiner foretar logiske slutninger for å avdekke og bruke kunnskap som ligger gjemt i store datamengder. Det handler om å gjøre data intelligente eller skal vi si  - utnytte "intelligente data" til å skape mer effektive rutiner og et bedre samfunn!