Logikk og kunstig intelligens: når ingen har hele bildet

I mange situasjoner er informasjon fordelt mellom flere personer, databaser eller intelligente systemer. Ingen enkelt aktør har hele bildet, men ved å kombinere informasjon kan grupper ofte trekke konklusjoner som ingen av deltakerne kunne nå fram til alene. Dette reiser spørsmål om informasjonsaggregering – hvordan informasjon fra ulike kilder kan settes sammen til et helhetlig grunnlag for resonnementer og beslutninger.

I sin doktoravhandling undersøker John I. Lindqvist hvordan logiske modeller kan brukes til å beskrive og analysere slik informasjonsaggregering. Arbeidet undersøker hvordan informasjon fra flere kilder kan kombineres til kollektive oppfatninger, og utvikler nye logiske begreper for å beskrive hva en gruppe samlet sett har grunnlag for å tro når informasjonen til medlemmene ses under ett.

Avhandlingen viser hvordan kollektive oppfatninger kan forstås uten at usikker eller motstridende informasjon gjør resultatet uinformativt eller meningsløst. Den utvikler også modeller for hvordan informasjon og oppfatninger kan deles mellom medlemmer av en gruppe, og hvordan slik deling påvirker hva individene har grunnlag for å tro. Videre utvikler arbeidet modeller for hvordan ulike typer evidens og argumenter kan gi grunnlag for tro og kunnskap, også når evidensen peker i ulike retninger.

Forskningen ligger i skjæringspunktet mellom logikk og kunstig intelligens. Resultatene bidrar til en bedre forståelse av hvordan informasjon kan kombineres og vurderes når ingen har full oversikt alene. Dette er spørsmål som blir stadig viktigere i samfunn og teknologier som er avhengige av informasjon fra mange ulike kilder.

Avhandlingen gir nye teoretiske verktøy for å studere hvordan grupper og intelligente systemer kan trekke slutninger på grunnlag av distribuert, usikker og til dels motstridende informasjon.

Personalia

John I. Lindqvist er doktorgradskandidat ved Institutt for informasjons- og medievitenskap ved Universitetet i Bergen. Han er medlem av Forskningsgruppen for Logikk og AI ved instituttet. Avhandlingen er veiledet av Fernando R. Velázquez-Quesada og Thomas Ågotnes. Som del av doktorgradsarbeidet gjennomførte han et forskningsopphold ved Tsinghua University i Beijing.