Restricted Feature Structure Grammars
Språkteknologiske systemer er dataprogram som analyserer struktur
og mening i vanlig tekst og tale. Ved hjelp av slik analyse kan datamaskiner
ikke bare forholde seg til tekst som en tilfeldig sekvens av bokstaver,
og tale som en tilfeldig sekvens av lydsignaler, men også se på
teksten og talens innhold. På denne måten kan man for eksempel
få dataprogrammer som oversettelse automatisk mellom ulike språk,
man kan lage talebasert brukergrensesnitt til datamaskiner slik at man
i stedet for å bruke tastatur kan snakke med datamaskinen, og man
kan lage systemer som leter etter informasjon i store tekstmengder på
bakgrunn av innholdet i teksten.
Trekkstrukturer er en bestemt måte å representere informasjon
på, og trekkstrukturbaserte grammatikker bruker trekkstrukturer til
å spesifisere grammatisk informasjonen. Selv om disse grammatikkene
er svært fleksible og har mange fine egenskaper, er det en klar ulempe
at de krever svært mye datakraft. I enkelte tilfeller krever
de uendelig mye i den forstand at vi ikke kan vite sikkert om et dataprogram
som prøver å analysere en setning vil stoppe eller gå
i det uendelige. Burheim har studert konsekvensene av å innføre
visse restriksjoner på slike grammatikker. Han har konstruert noen
klasser av slike grammatikker basert på ulike restriksjoner og undersøkt
de formelle egenskapene til disse klassene. Et av funnene er at selv om
man legger sterke restriksjoner på hvordan man spesifiserer trekkstrukturene
så kreves det fortsatt relativt mye datakraft, dog kan man være
sikker på at en setningsanalyse basert på disse nye grammatikkene
vil stoppe.
Personalia:
Tore Burheim er født og oppvokst i Trondheim, og ble i 1992
uteksaminert som cand.scient i informatikk ved Universitetet i Bergen.
Han arbeidet fra 1993 til 1997 som universitets-stipendiat ved Universitetet
i Bergen, avbrutt av et år som gjestestipendiat ved Universitat
des Saarlandes i Tyskland. Burheim har siden juli 1997 vært ansatt
som forsker ved Telenor forskning og utvikling på Kjeller.
Tidspunkt og sted for disputasen: 25. juni kl 11.00 i Rom 2144, Høyteknologisenteret
Kontaktpersoner:
Cand.scient. Tore Burheim, 63 84 87 08/55 31 87 87.
Informasjonskonsulent Morten Steffensen, tlf. 55589035