Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Logic for INTeraction

Logic for INTeraction, eller LINT, är ett forskningsprojekt med målet
att utveckla matematiska metoder för interaktion. Intelligent
interaktion involverar agenter i komplexa scenarier som konversation, samarbete och spel.

LINT är ett forskningsprojekt som sträcker sig över tre år och är ett
samarbete mellan sju universitet i Europa. Det är bland annat sponsrat av European Science Foundation (ESF) och Vetenskapsrådet (VR).
Projektet startade hösten 2008. I projektet ingår logiker, datavetare
och filosofer från sex europeiska länder.

Göteborg står värd för ett av fyra delprojekt, LogCon, vars mål är att
använda sig av befintliga metoder från logik och matematik för att
karakterisera de logisk konstanterna i ramverk och logiker speciellt
utvecklade för att modellera interaktion.

I Göteborg är följande personer relaterade till projektet:

  • Dag Westerståhl, projektledare för LINT och LogCon.
  • Fredrik Engström, postdoc
  • Denis Bonnay, postdoc
     

Se projektets hemsida (http://www.illc.uva.nl/lint/) för mer information.

Sidansvarig: Monica Havström|Sidan uppdaterades: 2012-02-23
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?