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.