Spotlight on Young Researchers: AI for ethical and legal debates

 

Looking at popular culture, big tech and ongoing societal debates – technological progress in Artificial Intelligence (AI) affects us all. Researchers from numerous scientific fields are working on the best way to bring AI forward, including the study of systems able to autonomously reason over arguments – calculators for philosophical, ethical or legal debates.

Technological possibilities and their availability are increasing rapidly, raising important challenges: What does explainability, fairness, and transparency mean for autonomous systems and how can we model these fundamental notions in a way that machines can deal with them?

“The fascinating aspect about my work is its universality: Logic is everywhere around us, in different forms and shapes. Automated reasoning has been around since the very beginning of AI research, and logic is a topic since the ancient Greeks”, explains Computational logician and AI researcher Dr Alexander Steen, continuing:

“Still, modern logic has become more diverse and inclusive: We now try to capture intuitive notions of philosophical, moral, legal and common-sense reasoning – which is in a sense much harder than purely mathematical logic – and to let a machine autonomously reason about these aspects.

“With progress of technological possibilities, the importance of rational, reliable and fair autonomous systems will continuously grow.”

Automating logical reasoning

Dr Steen studies the theoretical and practical aspects on how to automate and implement logical reasoning, with a particular focus on interdisciplinary contexts: normative and legal decision-making and philosophical arguments.

Schematic view on how automated theorem proving works

“The underlying idea is to provide quite general means for AI-assisted reasoning, and to simulate domain specific requirements within that framework. This way, e.g. ethical and legal discourses can be made explicit and addressed by autonomous systems. I am positive that this contributes to explainable and transparent AI systems that are urgently needed.”

The ubiquity of AI and the fact that no scientist can be an expert in every field means AI is an interdisciplinary field at heart. The expertise in the research group Dr Steen is associated with reflects this, bringing together Lawyers, Logicians, Mathematicians, Computer Scientists, Philosophers and Engineers – supplemented by expertise in the other faculties.

Dr Alexander Steen is a Postdoc at the University of Luxembourg and Principal Investigator of the CORE Junior project ‘Automated Reasoning with Legal Entities (AuReLeE)’

How legal texts are annotated to use reasoning systems (c) Alexander Steen
(c) Sven Lambert
Remote Teaching in corona times (c) Alexander Steen

MORE ABOUT ALEXANDER STEEN

On milestones

“I am quite happy that my theorem prover Leo-III, developed during my PhD studies, won the world championships in Natal, Brazil, in 2019. Recently, I was honoured to win a best paper award for joint work with a colleague of mine in the area of applying logical reasoning to law.”

Leo-III system wins World Championships in 2019 (c) Alexander Steen
Abstract structure of the Leo-III prover (c) Alexander Steen

On the unpredictability of AI

“AI systems are complicated and intricate pieces of software, and sometimes even the developers cannot fully predict what they will do. In my own system, Leo-III, I once found a plain implementation error. However, after I resolved it, the system performed worse than before. Why? I’m not sure …”

On collaborations

“I work at the University of Luxembourg at the “Individual and Collective Reasoning” research group. Here, I work with my colleagues on different projects around logical reasoning. Relevant partners include the Freie Universität Berlin (Berlin, Germany) and the University of Miami (USA) for system development and standardization.”

On being driven by curiosity

“Above all, I’m driven by curiosity. This makes me spending time far beyond agreed working hours to deal with research challenges. I’m intrigued by fundamental theoretical questions and I’m eager to get things running on the computer. The world needs more logic, I’m trying to contribute to this.”

On his research in a nutshell

“I’m working in the field of computational logic, knowledge representation and reasoning, and AI: I study the theoretical and practical aspects of automated theorem provers and deduction systems in general, along with algorithmic aspects. This includes research in semantics, proof theory, data structures and decision procedures. More precisely, I’m automating higher-order logic (type theory) and non-classical logics.”

Personal website: https://alexandersteen.de | Website of the ICR research group: https://icr.uni.lu

On Luxembourg and its interdisciplinarity

“Luxembourg lies in the heart of Europe, with a unique mixture of people within and outside of the University. I’ve never seen a research group like the one I am associated with now: Lawyers, Logicians, Mathematicians, Computer Scientists, Philosophers and Engineers – with even more expertise in the other faculties.”

Dr Alexander Steen (c) Alexander Steen

RELATED FUNDING

About Spotlight on Young Researchers

Spotlight on Young Researchers is an FNR initiative to highlight early career researchers across the world who have a connection to Luxembourg, with nearly 100 features published since 2016.

More in the series SPOTLIGHT ON YOUNG RESEARCHERS

  • All
  • Cancer research
  • Environmental & Earth Sciences
  • Humanities & Social Sciences
  • Information & Communication Technologies
  • Law, Economics & Finance
  • Life Sciences, Biology & Medicine
  • Materials, Physics & Engineering
  • Research meets industry
  • Women in science

Spotlight on Young Researchers: Identifying environmental pollutants

Spotlight on Young Researchers: Towards predicting ageing-related diseases

Spotlight on Young Researchers: Are you what you eat?

Spotlight on Young Researchers: How is scientific quality fostered by research collaboration?

Spotlight on Young Researchers: Ramping up carbohydrates production

Spotlight on Young Researchers: The role a gene plays in neurodegeneration and cancer

Spotlight on Young Researchers: Empowering critical digital humanities practice

Spotlight on Young Researchers: A gas sensor powered by natural light

Spotlight on Young Researchers: A hazelnut quality forecasting system

Spotlight on Young Researchers: Steve Dias Da Cruz

Spotlight on Young Researchers: Martin Řehoř

Spotlight on Young Researchers: Sumit Gautam

Spotlight on Young Researchers: Lucas Oesch

Spotlight on Young Researchers: Understanding how language manifests in the brain

Spotlight on Young Researchers: Hameeda Jagalur Basheer

Spotlight on Young Researchers: Mohammad Zare

Spotlight on Young Researchers: Yamila Mariel Omar

Spotlight on Young Researchers: Bella Tsachidou

Spotlight on Young Researchers: Antonio Ancora

Spotlight on Young Researchers: Paul Johanns

Spotlight on Young Researchers: Understanding brain mechanisms behind eating disorders

Spotlight on Young Researchers: Nathasia Mudiwa Muwanigwa

A system to support forest ecosystem decision-making

Spotlight on Young Researchers: Noémie Catherine Engel

Spotlight On Young Researchers: Henderika de Vries

Spotlight on Young Researchers: Remko Nijzink

Spotlight on Young Researchers: Anjali Sharma

Spotlight on Young Researchers: Pier Mario Lupinu

Spotlight on Young Researchers: Nanotechnology – a future big player in health

Spotlight on Young Researchers: Foni Raphaël Lebrun-Ricalens

Spotlight on Young Researchers: Christof Ferreira Torres

Spotlight on Young Researchers: Understanding our immune system

Spotlight on Young Researchers: Silvia Girardi

Spotlight on Young Researchers: Carole Lara Veiga de Sousa

Spotlight on Young Researchers: Adham Ayman Al-Sayyad

Spotlight on Young Researchers: Thomas Schaubroeck

Spotlight on Young Researchers: Sebastian Scheer

Spotlight on Young Researchers: Damien Brevers

Spotlight on Young Researchers: Nature does it best

Spotlight on Young Researchers: Jose-Luis Sanchez-Lopez

Spotlight on Young Researchers: Ernesto Gargiulo

Spotlight on Young Researchers: Thomas Elliot

Spotlight on Young Researchers: Maciej Piotr Chrzanowski

Spotlight on Young Researchers: Max Hilaire Wolter

Spotlight on Young Researchers: Dominique Santana

Spotlight on Young Researchers: Gilles Tossing

Spotlight on Young Researchers: László Sándor

Spotlight on Young Researchers: Ramona Pelich

Spotlight on Young Researchers: Maxime Brami

Spotlight on Young Researchers: Anna Monzel

Spotlight on Young Researchers: Konstantinos Papadopoulos

Spotlight on Young Researchers: Laurie Maldonado

Spotlight on Young Researchers: Antoun Al Absi

Spotlight on Young Researchers: Katharina Baum

Spotlight on Young Researchers: Michel Summer

Spotlight on Young Researchers: Amy Parrish

Spotlight on Young Researchers: German Castignani

Spotlight on Young Researchers: Eva Lagunas

Spotlight on Young Researchers: Michel Thill

Spotlight on Young Researchers: Maria Pires Pacheco

Spotlight on Young Researchers: Miguel Angel Olivares Mendez

Spotlight on Young Researchers: Zhe Liu

Spotlight on Young Researchers: Xianqing Mao

Spotlight on Young Researchers: Lisa Hefele

Spotlight on Young Researchers: Hussein Rappel

Spotlight on Young Researchers: Taking language barriers out of the equation

Spotlight on Young Researchers: Gil Georges

Spotlight on Young Researchers: Isabel Z. Martínez

Spotlight on Young Researchers: Charles de Bourcy

Spotlight on Young Researchers: Pit Losch

Spotlight on Young Researchers: Svenja Bourone

Spotlight on Young Researchers: Kacy Greenhalgh

Spotlight on Young Researchers: Paul Hauseux

Spotlight on Young Researchers: Léon-Charles Tranchevent

Spotlight on Young Researchers: Multiple nationalities, one goal

Spotlight on Young Researchers: Eric Finn Schaanning

Spotlight on Young Researchers: Jo Hoeser

Spotlight on Young Researchers: Anna Schleimer

Spotlight on Young Researchers: Paulo Carvalho

Spotlight on Young Researchers: Guillaume Nataf

Spotlight on Young Researchers: Alex Gansen

Spotlight on Young Researchers: Anna Scaini

Spotlight on Young Researchers: Chetan Arora

Spotlight on Young Researchers: Pit Ullmann

Spotlight on Young Researchers: Nina Hentzen

Spotlight on Young Researchers: Dimitra Anastasiou

Spotlight on Young Researchers: Cyrille Thinnes

This site uses cookies. By continuing to use this site, you agree to the use of cookies for analytics purposes. Find out more in our Privacy Statement