11-13 Feb 2019
Utrecht, The Netherlands
Symposium on Responsible Intelligent Systems: Concepts, Practices and Formal Models 11-13 February 2019, Utrecht, The Netherlands The final program can be found at: https://responsibleintelligentsystems.sites.uu.nl/final-conference/programme/ In this symposium we look back at some of the results of the REINS project on responsible intelligent systems and look forward at new routes of investigation for responsible AI in general. The starting point of the REINS project was to develop logic-based modelling techniques that enable responsibility checking of artificial agents. As the project progressed, that goal evolved into a more general objective to understand the concepts involved in the modelling of responsibility, and to find the formal models that characterize them. Formalization has been the main focus throughout the project, paving the way for a more precise and operationalizable understanding of the concepts involved in responsibility, machine ethics and deontic reasoning. We believe the symbolic methods that we use in our model driven approach are essential to the solution of the problem of coming to responsible AI, since responsibility is too abstract and precarious a notion to be learned through data-driven approaches. However, the interplay between model-driven and data-driven approaches is one of the new future directions we are interested in. For this final symposium of the project, we invite philosophers, logicians and specialists from concrete application areas of responsible intelligent systems (the military, the police). Registration is open at: https://responsibleintelligentsystems.sites.uu.nl/final-conference/registration/ - The REINS team -- ------- Jan Broersen ----------- Theoretical Philosophy Group - -www.uu.nl/hum/staff/JMBroersen ---- Utrecht University ------ ---- tel: +31 302532761 -------------- Janskerkhof 13 --------- ---- fax: +31 302534619 ------------- 3512 BL UTRECHT -------- -- -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam