A B C D E F A B C D E F (3) Svar: Tabellen ger grafen:

Transkript

1 1. Russel & Norvig menar att man kan utveckla AI-system som antingen tänker som en människa, handlar som en människa, tänker rationellt eller handlar rationellt. Förklara och exemplifiera dessa fyra synsätt. () System som handlar som en människa skall uppvisa ett mänskligt beteende oavsett hur programmet är uppbyggt. Typiskt exempel är program som skrivs för att klara Turingtestet, eller Eliza. System som tänker som en människa har fokus på att programmet så mycket som möjligt skall likna människans sätt att tänka. Typiska exempel här är GPS som skrevs utifrån teorier om mänsklig problemlösning. System som tänker rationellt tar istället fasta på att datorer och människor är olika och att det inte går att utveckla vettiga AI-program om man inte formellt kan verifiera deras beteende. Typiska exempel här är alla de olika formella kunskapsrepresentationssystem som på olika sätt utökar FOPL för att bättre hantera mänskligt beteende. System som handlar rationellt slutligen är system som i varje situation försöker lösa problem så bra som möjligt, dvs uppvisar ett rationellt beteende.. Vad är komplexitetsanalys? Vid komplexitetsanalys studerar man det asymptotiska beteendet. Vad innebär det? Vad är kombinatorisk explosion och hur brukar man hantera det inom AI? Komplexitetsanalys innebär att man studerar vilken tids-och minnesåtgång en algoritm har. Man studerar då det asymptotiska beteendet, dvs vad som händer då indata växer, i princip mot oändligheten. Då tar man bara hänsyn till de termer som dominerar algoritmens beteende, t.ex. om vi har en algoritm där antal steg som funktion av indata, n, kan tecknas med ekvationen T (n) = 0n n så kommer det asymptotiska beteendet att domineras av n 3 och man talar om att algoritmens asymptotiska beteende är O(n 3 ). Inom AI hanterar man detta genom kunskap om problemet som man hoppas skall minska sökrymden och göra att man kan hitta någon lösning. 3. Antag att följande tabell visar avståndet mellan noderna i en sökgraf. Visa hur sökträdet ser ut om man använder Unifrom ost för att söka sig från A till F. - betyder att det saknas väg. A D E F A D E F Tabellen ger grafen: 1

2 A E D 5 4 F Vilket ger följande sökträd med Unifrom ost: A 3 E F 5 D 4 D F E F F Utöka grafen i föregående uppgift på lämpligt sätt så att det går att använda A* för att söka en lösning från A till F och visa grafen som A* genererar. Exempel på underskattningar: f(a F) = 5 f( F) = 4 f( F) = 4 f(d F) = 1 f(e F) = ger sökträdet med A*: A 3 f=6 f=6 E 1 4 f=5 D 4 5. Gör rimliga antaganden och översätt följande meningar till predikatlogiska uttryck (bortse ifrån de temporala aspekterna): f=8 F f=6 F f=7

3 Alla bär på en hemlighet Om man talar om en hemlighet är den avslöjad Sven har talat om Oves hemlighet och visa med resolution att: Oves hemlighet är avslöjad (4) (1) p h Hemlighet(h) ärpå(p, h) () s,t Hemlighet(t) TalarOm(s, t) Avslöjad(t) x TalarOm(Sven, x) Hemlighet(x) ärpå(ove, x) (4) y Hemlighet(y) ärpå(ove, y) Avslöjad(y) som negeras till: (4 ) y Hemlighet(y) ärpå(ove, y) Avslöjad(y) efter konvertering fås: (1a) Hemlighet(g(p)) där g(p) är en Skolemfunktion (1b) ärpå(p, g(p)) () Hemlighet(t) TalarOm(s, t) Avslöjad(t) (3a) TalarOm(Sven, x) (3b) Hemlighet(w) (3c) ärpå(ove, z) (4 ) Hemlighet(y) ärpå(ove, y) Avslöjad(y) och sen ger resolution t.ex. (4 ) + (3b) + (3c) med {w/y, z/y} (5) Avslöjad(y) (5) + () med {y/t} (6) Hemlighet(t) TalarOm(s, t) (6) + (3a) med {s/sven, x/t} (7) Hemlighet(t) (7) + (1a) med {t/g(x)} ger en tom klausul 6. Varför vill man göra kategorier till objekt i språket? Visa hur man i predikatlogik kan representera att LH är ett ishockeylag, att ishockeylag är en typ av lag som spelar ishockey och att ishockey är en sport. Man vill kunna resonera om kategorier, inte instanser, t.ex. vill man kunna resonera om ishockey och ishockeylag, inte bara ett specifikt lag som LH. Ett sätt att representera att LH är ett ishockeylag skulle kunna vara som Member(LH, Ishockeylag) och att ett ishockeylag är ett lag skulle kunna representeras som Isa(Ishockeylag, Lag) vilket kan skrivas som: LH Ishockeylag Ishockeylag Lag Ishockey Sport Man kan nu också använda predikat på kategorier, t.ex. Spelar(Ishockeylag, Ishockey) 3

4 7. Hur skulle ircumscription representera Om vi inte vet annat antar vi att fåglar kan flyga? Vilka modeller kommer att skapas om vi vet att Otto är fågel? Hur hanterar circumscription sen kunskapen att Otto är en Pingvin givet att vi vet att Pingviner flyger inte? x Fågel(x) Ab 1 (x) Flyger(x) där Ab 1 (x) betecknar ett predikat som avgör om x är abnorm i avseende 1. När Fågel(Otto) kommer in skapas en modell där han flyger: {Fågel(Otto), Flyger(Otto)} Regeln att pingviner inte flyger talar om att de är Ab 1, dvs x Pingvin(x) Ab 1 (x) vilket ger en ny modell {Fågel(Otto), Pingvin(Otto), Ab 1 (Otto)} 8. Teckna uttrycket för P(c b), dvs P(=True =True) i det ayesianska nätverket nedan. Räkna också gärna ut P(c b): P(A) 0,6 A P() 0, A P() T T T F F T F F 0,1 0,01 0, 0,5 P (c b) = A P (c b, A)P (b)p (A) = P (c b a)p (b)p (a)+p (c b a)p (b)p ( a) = 0, 1 0, 0, 6 + 0, 0. 0, 4 = 0, , 016 = 0, Vad innebär hierarkisk planering? Vad karakteriserar planerna på de olika nivåerna? Vad är skillnaden mellan externa och interna effekter och hur tar man hänsyn till detta vid planexpansion? Vid hierarkisk planering skapas planer med abstrakta operatorer som håller steg som i sig implementerar operatorn på olika nivåer där den lägsta nivån skall ha primitiva handlingar. Planer som innehåller ickeprimitiva handlingar, dvs abstrakta operatorer expanderas, tills det bara är primitiva handlingar, dvs handlingar som kan exekveras, kvar. 4

5 Vid varje steg i expansionen måste man lösa alla eventuella konflikter mellan ordning på delplaner och också se till så att alla villkor för att utföra planen antingen kan uppnås inom planen, Interna effekter, eller uppnås av andra operatorer, Externa effekter. Externa effekter måste ordnas så att de hamnar i den expanderad planen där de behövs. 10. Förklara hur besultsträdsinlärning fungerar, och visa hur beslutsträdet ser ut efter följande exempel (du behöver inte konstruera det optimala beslutsträdet): Attribut Exempel Ålder Kön Inkomst Körkort Har bil x1 <0 Man >40000 Ja Ja x 0-40 Man <0000 Nej Ja x3 <0 Kvinna >40000 Ja Nej x4 >40 Kvinna Ja Ja x5 >40 Man Ja Nej x Man <0000 Nej Ja x Kvinna Nej Ja x8 <0 Kvinna >40000 Ja Nej Tabellen ger t.ex. trädet: M Kön K + x1, x, x6 x5 Inkomst + x4, x7 x3, x8 Inkomst < >40 < >40 + x, x6 + + x1 + x4, x7 + x5 x3, x8 JA NEJ JA Default JA NEJ 11. eskriv gradient backpropagation algoritmen. När kan den användas? Hur fungerar den? Gradient backpropagation används för inlärning av neurala nät. Man matar in indata till nätet, aktiverar nätet och får ett resultat. Detta resultat jämförs med ett förväntat resultat och det fel som uppstår används för att träna nätet. Nätet tränas genom att justera vikterna. För utdatalagret justeras vikterna genom att för varje utdatanod ändra vikterna på noderna in beroende på hur stort fel man hade multiplicerat med hur stor inverkan den dolda noden hade och sen multipliceras detta med en förstärkningsfaktor för att inte inlärningen skall svänga för mycket. För dolda lager räknas felet ut genom att man antar att den dolda nodens fel är proportionellt mot hur stort felet var i lagret ovan, dvs för det dolda lagret närmast utdatalagret räknar man det fel som fanns vid jämförelse 5

6 med förväntad signal och summerar över felet från alla utdatanoder med sin vikt från den dolda noden och för dolda lager där under räknas pss fast då baserat på felet som den dolda noden fick. Man går hela tiden bakifrån utadatalagret mot indatalagret som är det sista som uppdateras. Detta upprepas tills dess att man är nöjd med resultatet. Nöjd betyder inte att man vill ha noll fel, eftersom det kan leda till överinlärning. Gradient i algoritmnamnet betyder att felet man får när man tar skillnaden mellan förväntad och erhållen multipliceras med derivatan av hela nätets utdatafunktion. 1. Vid kompositionell semantisk analys använder man sig av λ-kalkyl. Varför behövs λ-kalkyl? eskriv hur man med λ-kalkyl kan representera verbet klara och hur det används vid tolkning av verbfrasen i satsen Hon klarar tentan. Vid kompositionell semantisk analys måste varje deluttryck tilldelas ett semantiskt sanningsvärde. Verb, som t.ex. klara måste då vara sanna för alla (x, y) där x klarade y. En allkvantifierare skulle inte fungera eftersom Klara(x, y) inte betyder att x klarar alla y och existenskvantifiering skulle inte heller fungera eftersom det inte måste finnas någon x som klarar y. λ-operatorn däremot returnerar de individer för vilka uttrycket är sant. Verbet klara kan semantiskt representeras med uttrycket λx, yklara(x, y). I uttrycket Hon klarar tentan kommer den semantiska analysen av klara tentan att resultera i att verbets λ-uttryck evalueras med tentan som argument och vi får: λklara(x, tentan) som sedan vid den fortsatta analysen ger Klara(Hon, tentan). Detta modelleras i en regel för verbfrasen som tar verbet som predikat och nominalfrasen som argument till predikatet: V P (rel(obj)) V (rel) NP (obj) 6