Seminar "Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning"

-

Room C1 – Building Zephyrum - U24

 

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning

 

Speaker

Prof. Nicolas Troquard

Gran Sasso Science Institute

Abstract: AI-based and autonomous systems are raising concerns due to potential negative repercussions of their behavior or decisions. These systems must be designed to comply with the human contexts in which they will operate. To this extent, Townsend et al. (2022, Minds & Machines) introduce the concept of SLEEC (social, legal, ethical, empathetic, or cultural) rules that aim to facilitate the formulation, verification, and enforcement of the rules AI-based and autonomous systems should obey. They lay out a methodology to elicit them and to let philosophers, lawyers, domain experts, and others formulate them in natural language. To enable their effective use in AI systems, it is necessary to translate these rules systematically into a formal language that supports automated reasoning. We first conduct a linguistic analysis of the SLEEC rules pattern, which justifies the translation of SLEEC rules into classical logic. Then we investigate the computational complexity of reasoning about SLEEC rules and show how logical programming frameworks can be employed to implement SLEEC rules in practical scenarios.

 

 

Bio: Nicolas Troquard is an Assistant Professor at the Gran Sasso Science Institute (GSSI), in L'Aquila. His research interests include logic, artificial intelligence, multiagent systems, ontologies, games and computational social choice, and formal philosophy. His webpage is https://troquard.bitbucket.io/

 

Contact person for the seminar: rafael.penaloza@unimib.it

Argomento