Community-bygger
Bergen, Norge
Brenner for å skape engasjement og vekst gjennom strategisk kommunikasjon, relasjonsbygging og rekruttering av frivillige.
Forsvaret
AI Safety Bergen
AI Safety Bergen
Universitetet i Bergen
120 studiepoeng. Fordypning i informasjonsarkitektur, brukeratferd og digital kommunikasjon.
Universitetet i Bergen
Bevissthet, kognitive evner og filosofi rundt KI. Fordypning i informatikk, filosofi og informasjonsvitenskap. 180 studiepoeng.
Universitetet i Bergen
Kunstige agenter, maskinlæring og utvikling av AI-løsninger. Kombinerer informatikk og informasjonsvitenskap.
Det biologiske grunnlaget for nervesystemet, emosjonar og læring, kombinert med kognitive teoriar om persepsjon, hukommelse og resonnering.
Naturleg deduksjon for setnings- og predikatlogikk med identitet, modellteori og mengdeteori. Inkluderer metalogikk og bevis for eigenskapar ved formelle bevissystem.
Innføring i fonetikk, fonologi, morfologi, syntaks og semantikk. Gir eit teoretisk og praktisk grunnlag for studium innan språkrelaterte fag.
Kunnskaps- og vitskapsteori, etikk og grunnprinsipp for logikk og argumentasjonsteori. Utviklar kritisk og analytisk kompetanse relevant for eige fagområde.
Essay →Det funksjonelle paradigmet med rekursjon, høgare ordens funksjonar og ikkje-muterbare datastrukturar. Programmering i eit funksjonelt språk som Haskell.
Tverrfagleg oversikt over kognisjon frå informatikk, lingvistikk, psykologi og filosofi. Dekker kunnskapsrepresentasjon, resonnering, læring, språk, persepsjon og medvit.
Essay →Moderne sinnsfilosofi og tilhøvet mellom mentale og kroppslege eigenskapar. Dekker behaviorisme, identitetsteori, funksjonalisme og medvitsproblematikken.
Innføring i setningslogikk og førsteordens predikatlogikk. Vekt på omsetjing frå naturleg språk til formallogisk språk, sanningstabellar og tremetoden.
Praktisk innføring i programmering med eit moderne språk. Dekker variablar, uttrykk, kontrollflyt, tabellar og filhandtering.
Logikkbasert kunnskapsrepresentasjon og ulike former for resonnering, inkludert deduktiv, standard- og abduktiv resonnering. Dekker også resonnering om kunnskap, handling og endring i multi-agentsystem.
Vidareføring av programmering med fokus på kodekvalitet. Dekker abstraksjonar, objektorientert design, arv, polymorfi, generiske typar og testing.
Kognisjonsvitskap relatert til språkleg kunnskap, språktileigning og bruk av språk. Utforskar psykologiske og kognitive aspekt ved språk.
Statistiske metodar og analyse retta mot kognitiv vitenskap. Dekker deskriptiv statistikk, hypotesetesting og dataanalyse for kognitive eksperiment.
Datastrukturer, algoritmer, objektorientering, tråd-programmering og effektivitetsanalyse. Dekker også standarder for strukturerte data som JSON, RDF og XML.
Teori og praksis knytt til utforming og bruk av relasjons- og NoSQL-databasar. Dekker datamodellering, normalisering, spørjespråk og prinsipp for indeksering.
Diskret matematikk og formelle metodar med vekt på logikk, mengdeteori og bevisføring. Grunnlag for vidare studium i informatikk og informasjonsvitenskap.
Grunnleggjande algoritmar og teknikkar nytta i kunstig intelligens, inkludert søkealgoritmar, heuristiske metodar og optimalisering.
Teoretisk og praktisk grunnlag for kunstig intelligens, inkludert søk i tilstandsrom, kunnskapsrepresentasjon, inferens og maskinlæring.
Vegleia læring med djupnelæring, ikkje-vegleia læring inkludert klustring og forsterkingslæring. Praktiske anvendingar i dataanalyse.
Innovasjons- og entreprenørskapsteori med praktisk metodearbeid. Utvikling av forretningsmodellar gjennom deltakarbasert design og konseptutvikling.
Essay →Teller også mot denne graden:
Forklarbar KI (XAI), rettferd, algoritmisk ansvarlighet og tillit, kunstig moral og ansvarleg bruk av KI. Inkluderer øving i populærvitskapleg formidling av KI.
Innføring i kunstige agentar og multi-agentsystem, inkludert agentmodellering, autonom agentarkitektur, kontrollsystem og grunnleggjande robotikk.
Elementær logikk og mengdelære, relasjonar, funksjonar, grafar og tre. Dekker kombinatorikk, sannsyn, informasjonsteori og bereknelegheit.
Erstatter INFO102Avanserte tema innan KI, inkludert kunstig liv, multi-agentsystem, maskinlæring, nevrale nettverk, genetiske algoritmer og naturleg språkprosessering.
Metodar for analyse av tekst- og nettverksdata, inkludert språkmodellar, dokumentklustring, vegleia maskinlæring og nettverksmodellar.
Teori og praksis innan IKT-støtta samarbeid (CSCW) og gruppevaresystem. Dekker samarbeidsteknologiar, sosiale nettverk og evaluering av samarbeidsløysingar.
Formelle logikkar for resonnering om multi-agent-interaksjon, inkludert epistemisk logikk, temporallogikk, koalisjonslogikk og alternating-time temporal logic.
Avansert prosjektarbeid i informatikk gjennomført i samråd med ein rettleiar. Inkluderer programmering, dokumentasjon i form av teknisk rapport og munnleg presentasjon.
Forsvaret
2017-10
Statens vegvesen
2017-01