Skip to content
Main menu hidden.

Strategic Argumentation to deal with interactions between intelligent systems and humans

PhD project

Head of project

Project overview

Project period:

2020-10-01 2024-09-30

Participating departments and units at Umeå University

Department of Computing Science

External funding

Knut and Alice Wallenberg Foundation

Project description

Collaborative intelligence between humans and intelligent systems relies heavily on the skills of humans and intelligent systems for reaching agreements between them. 

However, reaching these agreements requires complex interaction processes, which include human reasoning based on common sense and goal-oriented decision-making processes performed by the intelligence systems. For reaching their goals, intelligent systems need to put different strategies into play during their social interactions.

In this project, we propose to investigate strategic argumentation to reach agreements between humans and intelligent systems in dialogue game settings. To this end, we will develop formal reasoning methods based on non-monotonic reasoning theories such as Formal Argumentation and Answer Set Programming. We will evaluate these formal reasoning methods from formal and practical points of view. The practical evaluation will be set up in the scope of digital companions.

This project is affiliated with WASP-HS for PhD students.

External funding

Latest update: 2020-11-17