Formella metoder för pålitlig hybrid intelligens

Inom denna forskargrupp föreställer vi oss intelligenta system som ger formella garantier för sitt beteende. Vi strävar därför efter att utveckla formella metoder för att utforma, bygga och testa pålitliga AI-system.

Vi är engagerade i att förverkliga visionen om pålitlig AI inom olika forsknings-, utbildnings- och industrisektorer. De tänkta intelligenta systemen ersätter alltså inte människan, utan fungerar snarare som ett sätt att ge henne möjlighet att uppnå sina mål.

Våra forskningsämnen omfattar följande:

Logikbaserade metoder

• Sunt förnuft och icke-monotona resonemang
  • Programmering av svarssatser
  • Formell argumentation
  • Formella dialoger, t.ex. strategiska interaktioner
• Approximativa resonemang, t.ex. possibilistisk logik, oprecisa sannolikheter.
• Logikbaserat resonemang om preferenser.

Autonoma rationella agenter med människor som medverkande

• Kognitiva modeller för rationella agenter, t.ex. utvidgningar av BDI-modellen
• Modeller för beslutsfattande
  • Modeller för strategisk interaktion som bygger på logikbaserade metoder
  • Människomedveten planering baserad på logikbaserade metoder

Beteenden hos AI-system som är pålitliga och ansvarsfulla

• Testning av artificiell intelligens
  • Tillförlitliga verktyg för bedömning av artificiell intelligens
  • Bedömning av AI-system ur AI-etisk synvinkel
• Kunskapsmodellering
  • Modeller för sinnesteori baserade på logikbaserade metoder
  • Framkallande av kunskap.
• Programvaruverktyg för att utveckla intelligenta interaktiva system, t.ex. programvarubibliotek för att utveckla intelligenta system baserade på logikbaserade språk i Unity.

Utbildning i datavetenskap

• Utveckling av kursplaner för utbildning i artificiell intelligens.
  • AI och hållbarhet i gymnasieutbildningen.
• Undervisningsmetoder
  o Tillförlitlig artificiell intelligens i gymnasieutbildningen.