MASTEROPPLEGG Kunstig intelligens Logikk

Presentasjon om: "MASTEROPPLEGG Kunstig intelligens Logikk"— Utskrift av presentasjonen:

1

2 MASTEROPPLEGG Kunstig intelligens Logikk http://www.uio.no/studier/program/it-slp-master/presentasjon/index.html

3 KRAV Java og grunnleggende programmering Lisp – Scheme og Common Lisp Logikk IT-SLP (husk S og P) StatistikkFilosofiInformatikk

4 Java 40 studiepoeng – semester 1 og 2 Grunnleggende programmering –Objektorientering –Kobling til web –Bruke bibliotek … –Bruke utstyr …

5 Lisp 20 studiepoeng Funksjonell programmering 2710 –Algoritmer –Datastrukturer Kunstig intelligens 3710 / 4710 –Regning ved søk og gjenkjenning –K.i. programmer

6 Logikk 20 studiepoeng –Grunnleggende – 1750 –Videregående – Informatikk eller matematikk – MAT 3600 / INF (3/4)170 –Avansert – 4750, 4751 Representere kunnskap Regne på kunnskap

7 Annet Statistikk –Statistiske slutninger Kognisjon – språk, psykologi Filosofi Informatikk, matematikk

8 KUNSTIGE DYR

9 ELIZA 1– Weizenbaum 1966 Men are all alike. IN WHAT WAY? They're always bugging us about something or other. CAN YOU THINK OF A SPECIFIC EXAMPLE? Well, my boyfriend made me come here. YOUR BOYFRIEND MADE YOU COME HERE He says I'm depressed much of the time. I AM SORRY TO HEAR YOU ARE DEPRESSED It's true. I am unhappy DO YOU THINK COMING HERE WILL HELP YOU NOT TO BE UNHAPPY I need some help, that much seems certain. WHAT WOULD IT MEAN TO YOU IF YOU GOT SOME HELP Perhaps I could learn to get along with my mother.

10 ELIZA 2– Weizenbaum 1966 TELL ME MORE ABOUT YOUR FAMILY My mother takes care of me. WHO ELSE IN YOUR FAMILY TAKES CARE OF YOU My father. YOUR FATHER You are like my father in some ways. WHAT RESEMBLANCE DO YOU SEE You are not very aggressive but I think you don't want me to notice that. WHAT MAKES YOU THINK I AM NOT VERY AGGRESSIVE You don't argue with me. WHY DO YOU THINK I DON'T ARGUE WITH YOU You are afraid of me. DOES IT PLEASE YOU TO BELIEVE I AM AFRAID OF YOU My father is afraid of everybody.

11 Kunstig intelligens Bruke datamaskin + omgivelse til intelligente slutninger Regnemaskiner – en kalkulator + omgivelse kan også være intelligent Kjennskap til metoder og eksempler Mye kontakt med annen vitenskap

12 AI - KUNSTIG INTELLIGENS Forutsetter formelle beskrivelser Menneske – maskin: ett system Lager redskap Forutsetter kalkyler Modellerer hjerner versus tenking Neural nett versus logisk beskrivelse

13 Logikk Teoretisk studium Muligheter og begrensninger ved formelle beskrivelser –E–E–E–Empirisk undersøkelse –S–S–S–Semiotisk undersøkelse –L–L–L–Logisk undersøkelse

14 DRØMMEN OM LOGIKK Universelt språk, taksonomi, kalkyle Descartes’ analyse - 1630 Leibniz’ calculus ratiocinator – 1680 Freges Begriffschrift – 1879 Gödels ufullstendighet – 1931 Dartmouth konferanse – 1956 Kognitiv vitenskap – logikk, AI, psykologi, lingvistikk, …..

15 Arbeid med oppgaven Selve oppgaven – 30 studiepoeng Forundersøkelse – 10 studiepoeng Prosjekt – 10 studiepoeng Litteratur – 10 studiepoeng Starter forundersøkelse 2. semester Hovedarbeid oppgaven 3.- 4. semester

16 Fordeling av arbeid 10 st.p. – masterstart 60 st.p. – oppgave + arbeid rundt 50 st.p. – masterkurs Stor frihet i å velge masterkurs – men gjøres i samråd med veileder

17 Masteropplegg – felles 2.vår47854790 2.høst47904790 1.vår4750/147604770 1.høst47004710

18 Masteropplegg – k.i. 2.vårK.i.47854790 2.høstBredde47904790 1.vår4750/5147604770 1.høst4700 4711 – ved UNIK 4710

19 Masteropplegg – felles 2.vår47854790 2.høst47904790 1.vår4750/147604770 1.høst47004710

20 Masteropplegg – logikk 2.vår4750/147854790 2.høstbredde47904790 1.vår4750/147604770 1.høst4700 MAT 3600 4710

21 Masterkurs 4710 om en ikke har 3710 Statistikk Kurs i k.i. på UNIK / IFI Logikk videregående / avansert Språk - psykologi

22 AIMA

23 PAIP

24 SICP

25 Veien videre