First order typed feature structures.
Temaet for avhandlingen er knyttet til datalingvistikk og tar utgangspunkt i datastrukturer, kalt trekk-strukturer, som opptrer i formelle grammatikker for naturlig språk. I avhandlingen studeres og beskrives varianter av typede trekk-strukturer i lys av første ordens logikk. Et spørsmål som tas opp er i hvilken grad det er mulig for en datamaskin å avgjøre om det finnes trekkstrukturer som oppfyller føringene som oppstår under analysen av en setning.
Personalia:
Richard Elling Moe er født i Drammen i 1965. Han oppnådde
cand.scient. graden i 1991 ved Institutt for informatikk, Universitetet i
Oslo. Han var universitetsstipendiat ved Universitetet i Bergen fra
1.juli 1992 til 31. juli 1996. Richard
Elling Moe er for tiden ansatt ved Høyskolen i Bergen.
Tid og sted for disputasen: 29. november klokken 10.00 i Stort Auditorium, rom 2144, Høyteknologisenteret, Thor Møhlensgt. 55.
Kontaktpersoner
Cand. scient. Richard E. Moe
Informasjonskonsulent Rønnaug Tveit