MASTEROPPLEGG Kunstig intelligens Logikk
KRAV Java og grunnleggende programmering Lisp – Scheme og Common Lisp Logikk IT-SLP (husk S og P) StatistikkFilosofiInformatikk
Java 40 studiepoeng – semester 1 og 2 Grunnleggende programmering –Objektorientering –Kobling til web –Bruke bibliotek … –Bruke utstyr …
Lisp 20 studiepoeng Funksjonell programmering 2710 –Algoritmer –Datastrukturer Kunstig intelligens 3710 / 4710 –Regning ved søk og gjenkjenning –K.i. programmer
Logikk 20 studiepoeng –Grunnleggende – 1750 –Videregående – Informatikk eller matematikk – MAT 3600 / INF (3/4)170 –Avansert – 4750, 4751 Representere kunnskap Regne på kunnskap
Annet Statistikk –Statistiske slutninger Kognisjon – språk, psykologi Filosofi Informatikk, matematikk
KUNSTIGE DYR
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.
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.
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
AI - KUNSTIG INTELLIGENS Forutsetter formelle beskrivelser Menneske – maskin: ett system Lager redskap Forutsetter kalkyler Modellerer hjerner versus tenking Neural nett versus logisk beskrivelse
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
DRØMMEN OM LOGIKK Universelt språk, taksonomi, kalkyle Descartes’ analyse Leibniz’ calculus ratiocinator – 1680 Freges Begriffschrift – 1879 Gödels ufullstendighet – 1931 Dartmouth konferanse – 1956 Kognitiv vitenskap – logikk, AI, psykologi, lingvistikk, …..
Arbeid med oppgaven Selve oppgaven – 30 studiepoeng Forundersøkelse – 10 studiepoeng Prosjekt – 10 studiepoeng Litteratur – 10 studiepoeng Starter forundersøkelse 2. semester Hovedarbeid oppgaven semester
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
Masteropplegg – felles 2.vår høst vår4750/ høst
Masteropplegg – k.i. 2.vårK.i høstBredde vår4750/ høst – ved UNIK 4710
Masteropplegg – felles 2.vår høst vår4750/ høst
Masteropplegg – logikk 2.vår4750/ høstbredde vår4750/ høst4700 MAT
Masterkurs 4710 om en ikke har 3710 Statistikk Kurs i k.i. på UNIK / IFI Logikk videregående / avansert Språk - psykologi
AIMA
PAIP
SICP
Veien videre