<
Veronica Dahl

Veronica Dahl

Logic programming co-founder

Verónica Dahl is an Argentine/Canadian mother, computer scientist, musician, and writer. She co-founded the Logic Programming field with 14 other scientists, and made pioneering contributions to human languages processing, computational molecular biology, constraint programming and knowledge-based systems. She received numerous awards for her scientific results in AI, and three first prizes for her literary work. Her research program is supported by NSERC. Her greatest scientific ambition is to help bridge the gap between the formal and the humanistic sciences, for a more balanced and ethical world.

Past Activities

Veronica Dahl
Code Mesh LDN
08 Nov 2019
09.15 - 10.15

AI for social responsibility: embedding principled guidelines into AI systems

In this position talk we briefly retrace the historic and evolutionary context that led to AI's results not necessarily being used first and foremost to benefit the public that funded it, nor to necessarily focus on human values and concerns.

Next, we discuss how the AI language Constraint Handling Rules -CHR- can promote social responsibility by making it easy to embed principled guidelines into our systems, and we exemplify this idea within an application to enhance voting and decision-making power.

Finally, we examine the very notion of intelligence in the light of the more recent notion of group intelligence, and draw consequences on what might be needed to ensure that AI capabilities are put to socially responsible uses only. In particular, we identify what legislations might help place AI at the service of the urgently needed solutions for today's various crises, with the overall aim, as K. Raworth put it, to "meet the needs of all within the means of the planet".