Plan for første runde med presentasjoner i gruppene (ITSLP1100 våren '08)
Hopp til oversikt for gruppe 102 eller gruppe 1.
Gruppe 102
(10:15-12:00)
Dato |
Presentasjon |
| 30/1 |
Det Kinesiske Rommet: Torgeir Lyche Lebesbye og Henrique Bertelsen Rodrigues Eusébio. (Opponent: Erlend Gundersgår Ekeberg) Analyse av en chatbot-dialog: Helene Skullerud og Kristine Sletten Sommerseth. (Opponent: Magnus Johansen) Utfordringer i maskinoversettelse: Janusz Mieczyslaw Ring. (Opponent: Tore Sund Norderud) |
| 6/2 |
Presentasjon av ekspertsystemer: Evangelia Tselengidou og Tahira Yasmin. (Opponent Eivind Karlstad Nilsbakken) Historisk oversikt over utviklingen av datamaskiner: Menal Talal Ahmed, Alina Chornovil og Effat Alizaden. (Opponent: Mikael Aleksander Bjerkeland) Presentasjon av en AI-klassiker: Tonje Moen. (Opponent: Mats Weckhorst) |
| 13/2 |
Om Frege og spranget fra det fysiske til det syntaktiske: Lars-Erik Bruce. (Opponent: Torgeir Lyche Lebesbye) Diskusjon av Mary Shelleys "Frankenstein" i forhold til AI og teknologisk utvikling: Eivind Karlstad Nilsbakken. (Opponent: Helene Skullerud) Sjakkprogrammer: Mari Lindeng Larsen og Eivind Vedå Gilhuus. (Opponent: Elias Hasle) |
| 20/2 |
Diskusjon av hvilken rolle lingvistikk og datalingvistikk spiller innenfor AI: Tore Sund Norderud (Opponenter: Menal Talal Ahmed og Alina Chornovil) Heuristikker i en labyrintløser: Elias Hasle (Opponent: Janusz Mieczyslaw Ring) John McCarthy og hans betydning for AI: Hans-Petter Bakken. (Opponent: Marina Nejel) |
| 27/2 |
John von Neumann: Mikael Aleksander Bjerkeland (Opponent: Henrique Bertelsen Rodrigues Eusébio) Kunstig intelligens i avanserte, nyere spill: Magnus Johansen (Opponenter: Lars-Erik Bruce) Hvorfor og når er gyldighet enklere enn sannhet (sett fra et predikatlogisk synspunkt): Erlend Gundersgår Ekeberg (Opponenter: Mari Lindeng Larsen og Eivind Vedå Gilhuus) |
Gruppe 1
(14:15-16:00)
Dato |
Presentasjon |
| 30/1 | AIs to skoler (indre prosesser vs anvendt funksjonalitet): Atle Sæther (Opponent: Eivind Vedå Gilhuus) Diskusjon av turingtesten: Lars Jørgen Solberg (Opponent: Kent Olsen) |
| 6/2 |
Datamaskinens Historikk: Tina Renate Vedal og Marina Nejel (Opponent: Mari Lindeng Larsen) Babbages Analytiske Motor: Andreas Bergli (Opponent: Bjørn Inge Solem Schjerve) John McCarthy: Rune Lain Knudsen og Thomas Portilla (Opponent: Jan-Ole Skotterud) |
| 13/2 |
Gir turingtesten en god indikasjon på om en maskin kan tenke eller ikke? Stina Opdahl og Janne Margrethe Næss (Opponent: Rune Lain Knudsen) Ekspertsystemer: Jacqueline Osei-Bonsu (Opponent: Thomas Portilla) |
| 20/2 |
Debatten om universalspråk rundt år 1700: Kristin Selseng Vestreim (Opponenter: Espen Myklevoll og Janne Margrethe Næss) Alan Turing og Kurt Gödel: Kent Olsen (Opponent: Tina Renate) CYC: Espen Myklevoll og Chris-Atle Wallekjær (Opponent: Atle Sæther) |
| 27/2 |
Kunstig motivasjon. Om premissene for vilje i AI: Bjørn Inge Solem Schjerve (Opponenter: Lars Jørgen Solberg og Stina Opdahl) Gyldighet og sannhet: Tor-Henrik Rydningen (Opponent: Chris-Atle Wallekjær) Er en datamaskin riktig type maskin for tenkning? Jan-Ole Skotterud (Opponenter: Espen Moen Eilertsen og Andreas Bergli) Hvorfor er det så vanskelig for datamaskiner å forstå naturlige språk? Amund Kaatorp Østbye (Opponent: Jacqueline Osei-Bonsu) |