1 / 24

MASTEROPPLEGG

MASTEROPPLEGG. Kunstig intelligens Logikk http://www.uio.no/studier/program/it-slp-master/presentasjon/index.html. KRAV. Java og grunnleggende programmering Lisp – Scheme og Common Lisp Logikk IT-SLP (husk S og P) Statistikk Filosofi Informatikk. Java.

moeshe
Download Presentation

MASTEROPPLEGG

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. KRAV • Java og grunnleggende programmering • Lisp – Scheme og Common Lisp • Logikk • IT-SLP (husk S og P) • Statistikk • Filosofi • Informatikk

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

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

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

  6. Annet • Statistikk • Statistiske slutninger • Kognisjon – språk, psykologi • Filosofi • Informatikk, matematikk

  7. KUNSTIGE DYR

  8. 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.

  9. 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.

  10. 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

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

  12. Logikk • Teoretisk studium • Muligheter og begrensninger ved formelle beskrivelser • Empirisk undersøkelse • Semiotisk undersøkelse • Logisk undersøkelse

  13. 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, …..

  14. 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

  15. 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

  16. Masteropplegg – felles

  17. Masteropplegg – k.i.

  18. Masteropplegg – felles

  19. Masteropplegg – logikk

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

  21. AIMA

  22. PAIP

  23. SICP

  24. Veien videre

More Related