Home Deontic Logic for Autonomous Cars Programme Special Issue Travel Information Newsletter
A part of the 3rd Chinese-Polish Workshop on Applied Logic will be the 2nd meeting of a project Deontic logic for autonomous cars.
Project: Deontic logic for autonomous cars
Project Goal: Autonomous vehicles are one of the emerging technologies that may have a significant impact for society in the upcoming years. We believe that it is very important for autonomous vehicles’ designers is to make clear what hierarchy of values they impose on their vehicles. That will enable the potential owners and users of self-driving cars, other traffic participants, and public in general to accept or reject the wide scale usage of such vehicles. That is also important from the point of view of legal regulations for the area.
The main research hypothesis of this proposal is that formal modelling of self-driving cars and their environment, especially modelling using the tools of logic is a useful step toward clear specification of expectations concerning the behaviour of autonomous vehicles leading to aforementioned social consensus in that matter.
Thus, we propose the language of logic, especially first order logic and its limited variants specific for knowledge representation such as description logic or ontology web language (OWL) as a tool to specify the elements of environment and their properties, potential risk factors, values and preferences.
Moreover, we believe that the existing research results from the of deontic logic and related disciplines may be successfully applied to the problems of the intended behaviour of self-driving cars.
The initial project meeting took place in October 2018 at Imperial College London: http://www.philosophy.kul.pl/deontic-logic-for-autonomous-cars-project-meeting-1/.
Project team members
Piotr Kulicki (KUL, Lublin) – Principal Investigator
Beishui Liao (Zhejiang University, Hangzhou) – Main Foreign Partner
Marek Sergot (Imperial College, London)
Olivier Roy (Bayreuth University, Bayreuth)
Robert Trypuz (KUL, Lublin)
Xin Sun (KUL, Lublin)
Huimin Dong (Zhejiang University, Hangzhou)
The research is supported by the National Science Centre, Poland (HARMONIA, UMO-2017/26/M/HS1/01092)