Within the Socially Aware AI group I work on normative reasoning for social simulation, using formal methods. I'm also interested in formal representations of social behaviour more broadly.
I'm a PhD student in the socially aware AI group. My research in particular focusses on norms and normative reasoning in social simulations. This covers both how we can represent norms, as well as how agents can use norms in their reasoning, and how these aspects interact with other social rules. We study these aspects both in formal systems, such as formal logic and abstract argumentation, but also how these aspects translate over into code.
In particular, we are currently looking into creating an architecture for normative reasoning, where both norm breaking, and norms as a motivational component are central. Other directions of research involve creating a formalization for norms based on violations in temporal logic, and the use of abstract argumentation for goal and plan selection with multiple motivational components.