29. mars: Fra Aristoteles til Web 3.0

Kort om foredraget:

Informasjonen p? dagens World Wide Web er lagt ut p? en m?te som gj?r den lett ? bruke for mennesker. Men mange sp?rsm?l lar seg bare besvare ved ? kombinere informasjon fra flere forskjellige kilder. Semantisk Web, av noen kalt "Web 3.0", er en aktuell teknologi som skal gj?re det mulig for maskiner ? finne og kombinere relevant informasjon fra forskjellige kilder, for ? l?se brukerens problemer. Det kan h?res futuristisk ut, men teknologien er basert p? en over 2000 ?r gammel tanke, nemlig ? beskrive p? en n?yaktig m?te hva som utgj?r en gyldig logisk argumentasjon. Denne tanken har f?rt til utviklingen av "formal logikk", som n? har en sentral betydning i ? gi et fundament til en "maskinlesbar" web.

Oppsummering skrevet av Morten D?hlen:

Du er et sted i verden, f.eks. p? Kringsj? studentby, p? et gitt klokkeslett, f.eks. kl. 18.52 en torsdag ettermiddag. Der oppholder du deg sammen med et par venner og dere blir enig om at n? har dere studert nok for i dag og vil gj?re noe hyggelig sammen. Dere ?nsker underholdning i form av en film p? en passende kino i byen. Gjennom et s?k f?r dere beskjed om at filmen ¡°The figther¡± g?r p? Saga kino kl. 20.30, at dere rekker filmen dersom dere tar banen fra Kringsj? seneste 19.47 (Jeg har ikke sjekket rutetidene!). I tillegg f?r dere vite at en stor l?ssalgsavis har gitt filmen terningkast 4, og at filmen er regissert av David O. Russell. Deres lille s?k p? mobilen har kombinert informasjon om filmen, n?r den g?r, rutetider fra Ruter# og informasjon fra avisen. Dere f?r ogs? beskjed om at det er 16 billetter igjen, og du og dine venner kj?per billettene med et par tastetrykk fordi din mobil ogs? har blitt en ¡°betalingsterminal¡±.

Dette er selvf?lgelig mulig ? f? til, men her m? minst 4 ulike enheter/organisasjoner involveres, en filmtilbyder(kino), en tilbyder av kollektivtrafikk(Ruter#), et mediehus (avis), og en enhet som tilbyr betalingsl?sninger (bank). Skal disse enhetene p? forh?nd ha organisert seg slik at du f?r denne informasjonen skreddersydd, eller vil vi at systemet skal oppdage dette automatisk gjennom ? forst? hva du sp?r om fra din mobil? Vi er p? vei mot det siste og det kalles gjerne Semantisk Web, og det handler om ? kombinere informasjon fra ulike kilder. Andre aktuelle kombinasjoner  er eiendomsinformasjon med kollektivtrafikk for innflyttere, flyruter med priser og (fint), bilutleie med turisme, osv.

Dette krever at data er publisert p? maskinlesbar form og at datamaskiner har nok kunnskap til ? koble data. For ? f? dette til m? det utvikles en underliggende logikk som g?r helt tilbake til tankene utformet av de greske filosofer. Beregninger over kunnskapsrespresentasjoner har sin r?tter hos Aristoteles (384-322 f.kr). Modus Barbara sier f.eks. at alle grekere er mennesker, alle mennesker er d?delige, dvs. alle grekere er d?delige!

Formallogiske beregninger kalles gjerne ressonering og dersom den verden man ressonerer i har en viss orden lar det seg gj?re ? kombinere informasjon til et ?nsket resultatet, f.eks. et forslag til et kinobes?k tilpasset dine interesser og som du rekker fra det stedet du befinner akkurat n?. For at de logiske beregningene skal fungere m? man v?re enig om et felles vokabular eller en standard for hvordan ting beskrives. P? toppen av dette m? det bygges modeller som man kan utf?re logiske beregninger p? slik at det fremkommer meningsfylt informasjon for deg som bruker. Det viktige er at det etableres teknologi som er s? intelligent at det er mulig ? stille sp?rsm?l som h?ndteres av teknologien.  Dette kalles semantisk teknologi og noen snakker ogs? om intelligent agenter. Tenk deg en virtuell agent som finner tannlegetime for deg gitt oversikt over tannlegens og din egen timeplan, kollektivtrafikken i ditt omr?de og kan gi beskjed til din arbeidgiver og kanskje bli s? intelligent at den ogs? kan flytte m?ter for at du i det hele tatt skal rekke ? g? til tannlegen de n?rmeste tre ukene.

Vi venter p? Web 3.0 og er du spesielt interessert f?lg kurset Semantic technologies p? Institutt for informatikk.