|
Numero | 30 |
Veckoblad om forskning, undervisning och administration, m.m. |
19 okt. 1999 |
Exjobbspresentation i numeriska metoderNästa fredag (29 okt.) kl 13-14 i seminarierum 1537 presenteras tre examensarbeten i numeriska metoder:
Lennart Edsberg |
Kalendarium
Studentexpeditionen flyttarDen 20-25 oktober är Nadas studentexpedition stängd pga. flytt. Från tisdagen den 26 oktober gäller följande:
Staffan R. Vill du ha en halv miljon?Så mycket pengar delas ut av Venture Cup till oss på högskolan som kläcker en affärsidé. Anders Flodström, McKinsey och DN ligger bakom tävlingen och många av oss på Nada borde delta. Jag tänker själv göra det, och jag har bett Venture Cups representant att komma hit och förklara hur man ska göra. Vi träffas (osäker tidsuppgift, konfirmera med Henrik/Red.) på måndag 25 okt kl 15.00 i seminarierum 1537. All information kan hämtas på <http://www.venturecup.org/ost/>. Henrik Eriksson CAS söker folkUnder rubriken Are you “above average”? Are you looking for a family to join? Do you want to do world class research? utlyser CAS 3-4 platser. Se länk på sidan |
IPLab-seminariumPå fredag (22 okt.) kl.9.15, seminarierum 4523. Dokument för samarbete: en
|
System för svar på
|
Höststart för LunchseminarierPå torsdag (21 okt.) kl 11.00 - 13.00, Hyllan, restaurang Quantum, Osquldas väg 4. Ingenjörsutbildningen med kvinnliga ögon - hur ser den ut och vad kunde den vara?Minna Salminen-Karlsson från Linköpings Universitet ger sin syn och inbjuder till en diskussion. Minna är fil.dr. i pedagogik, hon har bland annat studerat förändringen av datateknisk civilingenjörsutbildning och i NyIng-projektet arbetat med genusfrågan. Lunch serveras i samband med seminariet. Anmälan till KTHs växel ank. 10 senast den 18/10 För ytterligare information kontakta Björn Marklund <bjornm@admin.kth.se>, tel. 790 7986. Bo Wahlberg |
TCS-seminariumNästa onsdag (27 okt.) klockan 15:00 i rum 1537. Bayes Rules!Stefan Arnborg, Nada, KTH (arbete med Gunnar Sjödin, SICS). Sammanfattning: Aristoteles beskrev induktionsproblemet - att generalisera från observationer - och erkände Sokrates som den som identifierade problemet. Det har varit centralt på olika sätt under hela filosofins historia. Bayes och Laplace kvantifierade osäkerheten i induktion med sannolikheter i Bayesiansk tolkning. Idag ser vi en ökande mängd 'intelligenta' datorbaserade system som gör observationer och försöker tolka dem, och Bayes har fått konkurrens av flera alternativa metoder. Därför är grundvalarna för induktion och inferens fortfarande högaktuella. Cox (Am Jour of Phys., 1946) försökte visa att Bayesianism är oundviklig om man vill räkna konsistent med osäker information. Iden är att alla rimliga alternativa osäkerhetsmått kan skalas om så att de omskalade osäkerheterna kombineras med multiplikation, som sannolikheter för oberoende storheter. Hans arbete har prisats och kritiserats i omgångar sedan dess. Speciellt har hans antaganden att osäkerhet graderas i ett kontinuum och att osäkerheter måste kombineras med en två gånger differentierbar funktion kritiserats. Antagandena föranleddes av Cox bevismetod och har senare mildrats. Vi har visat att det finns goda skäl att betrakta Bayesianism som oundviklig även i modeller med ett ändligt antal grader av osäkerhet, och med en oändlig men inte tät mängd osäkerheter. Några antaganden måste dock göras som inte förefaller helt oundvikliga. Dessa hänger samman med problemets natur och inte med den bevismetod som används, vilket framgår av motexempel. Vi kallar antagandena förfiningsbarhet, strikt monotonicitet och separerbarhet. För att bevisa våra satser använder vi dualitet och en utveckling av bevismetoder som använts av Janos Aczel för associativitetsekvationen. I de fall våra antaganden inte gäller kan man få olika varianter av possibilistisk logik och, som gränstagningsoperationer, icke-monoton logik. |