Kollaborativ intelligens mellan människor och intelligenta system förlitar sig starkt på färdigheter hos människor och intelligenta system för att nå överenskommelser mellan dem.
För att nå dessa överenskommelser krävs komplexa interaktionsprocesser, som inkluderar mänskliga resonemang baserade på sunt förnuft och målorienterade beslutsprocesser som utförs av det intelligenta systemet. För att nå sina mål måste intelligenta system sätta olika strategier i spel under sina sociala interaktioner.
I detta projekt föreslås att undersöka strategisk argumentation för att nå överenskommelser mellan människor och intelligenta system i typer av dialogspel. För detta ändamål kommer vi att utveckla formella resoneringsmetoder baserade på icke-monotoniska resoneringsteorier såsom formell argumentation och answer-set-programming. Vi kommer att utvärdera dessa formella resoneringsmetoder ur formella och praktiska synvinklar. Den praktiska utvärderingen kommer att utformas inom ramen för digitala följeslagare.
Detta projekt är affilierat till WASP-HS för doktorander.