VtDat Flashcards

(89 cards)

1
Q

Formal videnskab

A

Deduktiv. Matematik, logik, grammatik; antagelser-baseret, kan bevise påstande med absolut sikkerhed

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Real videnskab

A

Induktiv. Fysik, økonomi, medicin, kemi osv.; handler om fænomener i en virkelighed, uafhængigt af vores viden om den; fænomener er eksterne for videnskaben selv; man indsamler data + laver hypoteser + evidens (eksperimenter)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Kragh’s definition på videnskabelig viden.

A

Offentlig, fejlbarlig, korrigerbar og testbar

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Peter Naur

A

Indførte ordet datalogi = videnskaben om data og dataprocesser.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Humboldt’s idealer

A

det moderne universitet: tæt forbindelse mellem forskning og uddannelse; forskningsfrihed; undervisningsfrihed; universitetet er selvstyret, autonom, og universel (videnskabens enhed)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Logiske positivisme

A

Wienerkredsen, opnå viden fra partikulære observationer til generel viden (teorier); interesseløs viden/ren iagttagelse → induktiv slutning til lovmæssigheder og teorier om hvordan verden faktisk er → deduktive forudsigelser af fremtidige fænomener.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

2 eksempler på problemer med logisk positivisme?

A

Induktionsproblemet eller Humes problem: Det er ikke logisk gyldigt at slutte fra det partikulære til det almene; Kræver en antagelse om universalitet ( de samme lovmæssigheder gælder altid) → regres (Observationer er teori afhængige).

Umuligt at have rå, teori- og interesseløse data , vi kan ikke lave iagttagelser uden at have foretaget valg => generalitet er en illusion.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Kritik af logiske positivisme i følge Karl Popper)

A

videnskabelig viden skal være fejlbarlig.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Poppers hypotetisk-deduktive metode

A

Fremsæt en dristig hypotese eller teori
Udled observerbare/testbare konsekvenser
Teste disse konsekvenser
Hypotesen forkastes og forbedres, hvis den falsificeres

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Nævn 2 udfordringer med Poppers metode

A

1) Hvis vi tester en hypotese, så gøre vi det aldrig i isolation, så hvilken hypotese er blevet falsificeret? (Duhem-Quine tesen)
2) Experimenters’ regress - hvornår et forsøg er udført korrekt uden at kende det korrekte svar?

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Hvem er Lakatos?

A

Popper’s elev

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Hvad mener Lakatos?

A
  • Man skal ikke se hypoteserne og teorierne i isolation, men som dele af forskningsprogrammer, der indholder en hård kerne (de forudsætninger som vi ikke er villige til at modbevise)
  • Beskyttende bælte (lag) af auxiliary assumptions
  • Empiriske forudsigelser, testbare påstande
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Robert Merton - normsæt for god og fri videnskabelighed (ideal for den akademiske videnskab) - CUDOS

A

(Communalism, Universality, Disinterestedness, og Organized Scepticism)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

CUDOS - Communalism

A

Communalism - den videnskabelig viden skal være fælles og offentlig (ikke ejet at nogen)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

CUDOS - Universality

A

Universalism - Videnskab skal have en grad af universel gyldighed, uafhængig af videnskabsmænd (skal bedømes ud fra universelle kriterier), og ingen skal udelukkes fra videnskabelige samfund (åben for alle)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

CUDOS - Disinterestedness

A

Disinterestedness - Videnskabsmænd må ikke lade egne interesser påvirke den videnskabelig proces eller udkomme

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

CUDOS - Organized Scepticism

A

Organized Scepticism - Videnskabsmænd skal åbent overlade resultaterne til forskersamfundets kritisk afprøvning

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

Mode-1 videnskab

A

videnskabens autonomi; selvregulerende efter Mertons normer; staten finansierer universiteterne(videnskaben) uden at stille krav om nytte

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

Mode-2 videnskab

A

Autonomien mellem videnskab og stat er erstattet med et nært sammenspundet netværk af forskning og udvikling, som involverer staten, universiteterne og erhvervslivet. I en tovejs-relation til det omgivende samfund, som definerer rammer og behov for forskning og udvikling; netværket har flydende grænser.

Konflikt mellem hvad uni ønsker (share knowledge) og hvad erhvervslivet ønsker

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

John Ziman - PLACE

A

viden er proprietær (ejet af nogen) og kan kommercialiseres, lokal (fokus på et specifikt problem), autoritær (chefen bestemmer), commissioned(styret) efter bestemte praktiske målsætninger, ekspert (forskeren er ansat som ekspert til at løse problemer, ikke følge sin egen nysgerrighed)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

Hvad mener Bush?

A

At den linære model og forskningsfrihed → videnskabeligt fremskridt (bedste måde at få teknologisk, militær, økonomisk fremskridt er at bruge penge til videnskabelig grundforskning)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

Samlebåndsmodellen for teknologisk innovation

A

(linær model) - et skrift ad gangen, hver skridt er isoleret. 2 dele - innovation(vidensproduktion) og entreprenørskab(værdiproduktion - nogen skal betale for produktet) - passer ikke helt til virkeligheden, hvem har ansvar at producere forkerte ting

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

Stokes’ kvadrantmodel:

A

Bohr - ren grundforskning uden henblik på anvendelse; Edison - målrettet anvendelsesforskning; Pasteur - (mix) grundvidenskabelige forskning til praktiske anvendelser

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
24
Q

Hvilke 4 dimensioner er der i kritikken af den lineære model?

A

En formålsdimension
En temporal (tidslig) dimension
En kausal dimension
En epistemologisk dimension

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Elementer af teknologiske systemer:
Fysiske artefakter (apparater, installationer) Organisationer (finanseringskilder) Videnskabelige elementer (artikler, universiteter) Juridiske elementer (love og traktater) Naturressourcer
26
Hvad er et paradigme ifølge Thomas Kuhn?
et paradigme er et fælles verdenssyn, som deles af en gruppe videnskabsfolk, paradigmet er instantieret i en disciplinær matrix. (social elements in the scientific theory) To paradigmer er usammenlignelige (inkommensurable) betyder at eksperimenter er teori-afhængige(og omvendt) og der ikke findes fælles objektive kriterier for teorivalg.
27
Thomas Kuhn - disciplinær matrix komponenter:
Symboliske generaliseringer (udsagn som ligner naturlove men er definitioner) Metafysiske dele af paradigmet (metaforer og analogier) Værdier Eksemplarer (opgaver/problemer/løsninger, lærebøger)
28
Den universelle Turing maskine
(teoretisk maskine) kaldes “logical computing machine”; betragter maskiner(programmer) som strenge(data); en maskine er cirkulær, hvis den kun producerer endeligt mange cifre, ellers er den cirkelfri (uendelig). Mængden af beregnelige sekvenser er tællelig.
29
Hvad er datalogi?
Datalogi er en vidtfavnede tværvidenskabelig disciplin
30
Centrale problemer for logisk positivisme
Induktiobsproblemet siger, at man ikke kan slutte fra fortid til fremtid Der er ikke megen ny erkendelse i at verificere en allerede accepteret påstand Man kan ikke lave interesseløs iagtagelse og der findes ikke teori-frie data
31
Hvad er det centrale for Popper's videnskabelige metode
Falsifikation
32
Hvad omfatter Bush lineære model?
Et argument for at grundvidenskab fører til teknologiske produkter
33
Hvilken vidensproduktion står Bohr for ifølge Stokes' Kvadrantmodel
Ren grundforskning uden sigt
34
Hvilken vidensproduktion står Edison for ifølge Stokes' Kvadrantmodel
Ren anvendelsesorienteret forsking
35
Hvilken vidensproduktion står Pasteur for ifølge Stokes' Kvadrantmodel
Blanding mellem grundforskning og anvendelsesorienteret forskning
36
Hvilke 3 kritik punkter af den lineære model er der?
Det er svært at adskille skridtene i modellen tidsligt Der er svært at adskille motivationer Grundforskning er også tit afhængig af teknologisk udvikling
37
Juris Hartmanis var med til at grundlægge kompleksitetsteori som datalogisk disciplin. Hvad ønskede Juris Hartmanis
Hartmanis ønskede at kunne begrænse udførelsestiden for kritiske systemer.
38
Hvad kan vi ikke bevise om computersystemer?
At en bestemt kørsel leverer det forudsete output
39
Hvad menes der med at matematisk modellering er dialektisk?
Valg i modelleringen er resultat af afvejning af behov og muligheder.
40
Hvad menes der med at matematisk modellering er iterativ?
Modelleringsprocessen kan gennemløbes flere gange for at forfine modellen.
41
Kan man opnå en sand matematisk model?
Nej
42
Hvilken modeltype er bedst til at modellere meget komplekse systemer med mange uafhængige moduler?
Beregningsmodeller.
43
Hvad er formålsdimensionen af kritikken af den lineære model?
En formålsdimension (forskernes formål og motivation er forskellige)
44
Hvad er den temporale (tidslig) dimension af kritikken af den lineære model?
En temporal (tidslig) dimension - flydende grænser, opdagelser og opfindelser kan ikke separeres tidsligt - svært at adskille skridtene i modellen tidsligt
45
Hvad er den kausale dimension af kritikken af den lineære model?
En kausal dimension - symbiotisk relation mellem grundvidenskab og teknologi - begge dele er afhængige af og bidrager til hinanden.
46
Hvad er den epistemologiske dimension af kritikken af den lineære model?
En epistemologisk dimension - grundvidenskab er sandhedssøgende, mens teknologisk videnskab er mere pragmatisk
47
Hvad karakteriserer et succesfuldt programmeringssprog?
Let at lære. Let at bruge, når man først har lært det. Let at implementere. Muligt at compile til god maskinkode, som er hurtigt eller kompakt. Opbakning fra en vigtig spiller. Nem og billig udbredelse til stort publikum.
48
Nævn de 3 programmeringsparadigmer
Imperativt, deklarativt og hybrid.
49
Hvad er et programmeringsparadigme?
Ligesom kuhnske paradigmer, er et verdensyn og spørgsmål om hele problem-opfattelsen og problem-løningen, der ser forskelligt ud fra forskellige paradigmers verdenssyn.
50
Hvad er softwareudvikling?
Softwareudvikling er en teknologisk videnskab, som handler om at teoretisere over metoder og processer til udvikling af software og at udlede ‘best practices’; induktiv metode baseret på trial-and-error (i stedet for formelle metoder).
51
Hvilke 3 positioner findes der i forhold til softwareudvikling?
Formalistisk position, der tager udgangspunkt i, at softwareudvikling handler om matematiske objekter. Ingeniør-centreret position, som fremhæver stringente produktionsprocesser og workflow-modeller. Humanistisk position, der fremhæver de sociale interaktioner undervejs i udviklingen af software og de konsekvenser, software har i det omgivende samfund.
52
Hvis en handling A fører til mere lykke end en anden handling B, kan vi være sikre på, at handling A er etisk korrekt ifølge utilitarismen.
Nej
53
Hvad er ikoniske modeller
Ikoniske modeller (modellen ligner dens domæne men er nedskaleret i størrelse; virtuelle modeller er også ikoniske)
54
Hvad er analogi modeller
Analogi-modeller (model og domæne ikke ligner hinanden men deler en form for metaforisk analogi; f.eks. Bohrs atommodel - analogi med solsystem)
55
Hvad er abstrakte eller matematiske modeller
Abstrakte eller matematiske modeller (modellen er en abstrakt og formel repræsentation af sit domæne; repræsenterer et virkeligt fænomen; er iterativ (forløbig viden) og dialektisk proces, hvor dialektisk betyder at hver skridt er afvejning af muligheder og behov)
56
Hvilke 3 forskellige forskingsprogrammer i den tidlige kunstige intelligens findes der?
1) Klassisk AI (GOFAI) 2) Konnektivismen 3) Agentbaserede AI
57
Hvad menes der med Klassisk AI (GOFAI)?
``` Klassisk AI (GOFAI) aka Good Old Fashioned AI: enhver form for intelligens består af syntaktisk manipulation med abstrakte symboler der er instantieret i et fysisk system; lighedstegn mellem tænkning og formel manipulation med abstrakte symboler. Den klassiske AI søgte at lave systemer, der simulerede menneskets logiske ræsonneren; intelligens skulle opnås igennem symbolmanipulation. ```
58
Hvad menes der med Newell og Simon - fysiske symbolsystemhypotese?
AI skulle ikke bare kunne løse en meget bred vifte af opgaver fra skak til kreative opgaver, men også simulere den menneskelige tænkning så præcist at studiet af computerprogrammerne ville give ny indsigt i menneskets psykologi.
59
Hvad menes der med Rammeproblem (frame problem)?
Rammeproblem (frame problem) består i at handlinger i den virkelige verden kan have sideeffekter (i modsætning til handlinger i formelle systemer som skak eller matematik). Det gør det svært for AI at have en opdateret indre model af verden og tilsvarende svært at bruge modellen til at søge efter optimale handlemuligheder med traditionelle søgealgoritmer.
60
Hvad menes der med Konnektivismen?
Konnektivismen: man søgte at lave systemer, der på visse punkter kunne simulere menneskehjernens biologiske funktion - mål at skabe kunstige neurale netværk, der kunne efterligne træk ved menneskehjernens kognitive adfærd => ud fra eksempler at kunne lære at klassificere mønstre (men kun fra en meget begrænset klasse).
61
Hvad menes der med Agentbaserede AI?
Agentbaserede AI (nouvelle AI og autonomous agents research): intelligens kan ikke lokaliseres i en central styringsenhed men opstår i et komplekst samspil mellem en agent og dens miljø (inspiration fra myrer) => vi bruger og tilpasser vores miljø på en smart måde.
62
Hvad kom McClelland og Rumelhart frem til?
McClelland og Rumelhart - ny indlærningsalgoritme back-propagation (gjorde det praktisk muligt at arbejde med mere komplekse netværk) => boom i interessen for neurale netværk (kan kun simulere meget få og enkeltstående træk ved menneskets tænkning, men ikke at simulere andre dele af menneskelig intelligens). Interessen i de kunstige neurale netværk er i stedet blevet omsat til det mere praktisk orienterede forskningsprogram maskinlæring (fokus på læsning af konkrete problemer; statistisk analyse af store datamængder)
63
Hvad fandt Rosenblatt på?
Rosenblatt - perceptron (a single-layer neural network) => starten af konnektivismen!
64
Hvad fandt Brooks på?
Brooks - subsumption arkitektur - gjorde det muligt at lave robotter, der med en vis robusthed var i stand til at løse simple opgaver som at indsamle tomme coladåser i et hektiske kontormiljø. (fra myrer til robotter)
65
Kan de 3 AI-paradigmer sameksistere i tid og rum som forskellige modeller af den samme ting?
Ja
66
Hvad fandt Minsky og Papert på?
Minsky og Papert - matematisk model af en neuron - neuronen modtager et antal inputs fra andre neuroner og disse vægtes med et antal konstanter, hvis linearkombinationen overstiger et vist threshold, så fyrer neuronen dvs. dens output er 1 ellers fyrer den ikke og output er 0.
67
Hvad er XOR-problemet?
XOR-problemet - Minsky og Papert viser at der er prædikater som ikke kan udsondres af en perceptron (dvs. En perceptron med 1 lag kan ikke udsondre den binære xor-funktion).
68
Hvad er deskriptiv etik?
Deskriptiv etik - hvad folk gør (der kan være kulturelle forskelle mellem de etiske præferencer folk i praksis har)
69
Hvad er normativ etik?
Normativ etik - hvad folk bør gøre (hvad er etisk korrekt)
70
Hvad er utilitarisme?
Utilitarisme er konsekvensetik, dvs. en etik, hvor den etiske vurdering af en handling udelukkende inddrager konsekvenser af handlingen, og ikke det princip handlingen repræsenterer (den handling der maskimirer den samlede nytte for samtlige involverede parter). Nytte eller lykke er et intrinsisk gode, der er godt i sig selv.
71
Hvilke 2 problemer er der med utilitarismen?
1) Det er ikke altid klar hvilke konsekvenser en konkret handling har/eller vil have (specielt i teknologiudvikling) 2) Det entydig fokus på den samlede lykke betyder at teorien ikke tager højde for at individet skal beskyttes mod kravene fra det fælles bedste.
72
Hvad er Kants pligtetik (deontologi)?
Pligtetikken bliver en handlings moralske værdi bedømt på handlingen i sig selv og ikke på dens konsekvenser. Typisk er handling i overensstemmelse med et sæt givne regler. Pligtetikken er dermed en direkte modsætning til konsekvensetikken.
73
Hvad er problemet med Kants pligtetik?
Man kan ikke se bort fra konsekvenserne af en handling
74
Hvad mener Nagel?
Nagel: tager udgangspunkt i det enkelte individs etiske virkelighed og søger at give vejledning i konkrete dilemmaer og etiske valgsituationer; vi kan ikke reducere etikken til et simpelts valg mellem utilitarismen og pligtetik, men at etiske valg typisk vil rumme begge aspekter.
75
Nævn 3 anti-privacy sociale goder.
Sikkerhed Effektivitet Profit
76
Hvad er utilitaristiske værdier?
Fællesmenneskelige værdier fx. undgå smerte
77
Hvad er deontologiske værdier?
Andres krav på ikke at blive behandlet dårligt af mig.
78
Hvad er autonome værdier?
Mine egne mål og projekter, fx. at løbe et maraton.
79
Hvad er specielle værdier?
Forpligtelser, fx. pga. familiebånd.
80
Hvad begrænser de autonome værdier?
Autonome værdier begrænser de neurtale værdiers krav på mig.
81
Hvad begrænser de deontologiske værdier?
Deontologiske værdier begrænser hvad vi kan gøre både på baggrund af agent-neutrale og autonome værdier.
82
Kant påpeger at man skal på baggrund af deontologiske værdier, respektere andres ________?
Agentneutrale værdier.
83
Hvad er agentneutrale værdier?
Agentneutrale værdier kigger først og fremmest på almenvellet, og tager derfor ikke hensyn til individets interesser.
84
Hvad er agentrelative værdier?
Agentrelative værdier kigger afhænger af individet og ikke almenvellet.
85
Hvad er de 3 punkter i videnskabelig uredelighed?
Fabrikering Forfalskning Plagiering
86
Hvad er fabrikering?
Fabrikering er uoplyst konstruktion af data eller substitution med fiktive data.
87
Hvad er forfalskning?
Forfalskning er manipulation af forskningsmateriale, udstyr eller processer samt ændring eller udeladelse af data eller resultater, hvorved forskning fremstår misvisende.
88
Hvad er plagiering?
Plagiering er tilegnelse af andres ideer, processer, resultater, tekst eller særlige begreber uden retmæssig kreditering.
89
Hvad er tvivlsom forskningspraksis?
Tvivlsom forskingspraksis er brud på alment anerkendte standarder for snvarlig forskingspraksis, herunder standarderne i den danske kodeks for integritet i forsking og andre gældende institutionelle, nationale og internationale praksisser og retningslinjer for integritet i forskning.