{"id":5472,"date":"2019-06-04T14:58:56","date_gmt":"2019-06-04T06:58:56","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?page_id=5472"},"modified":"2020-05-20T09:06:13","modified_gmt":"2020-05-20T01:06:13","slug":"project-description","status":"publish","type":"page","link":"https:\/\/www.zlaire.net\/events\/previous\/3rd-chinese-polish-workshop\/project-description\/","title":{"rendered":"Deontic Logic for Autonomous Cars"},"content":{"rendered":"

Home<\/span><\/a>  Deontic Logic for Autonomous Cars<\/a><\/span>  Programme<\/a><\/span>  Special Issue<\/a><\/span>  Travel Information<\/a><\/span>  Newsletter<\/a><\/span><\/p>\n

A part of the 3rd Chinese-Polish Workshop on Applied Logic will be the 2nd meeting of a project Deontic logic for autonomous cars.<\/p>\n

 <\/p>\n

Project: Deontic logic for autonomous cars<\/strong><\/p>\n

 <\/p>\n

Project Goal:<\/strong> 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.<\/p>\n

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.<\/p>\n

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.<\/p>\n

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.<\/p>\n

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\/<\/a>.<\/p>\n

 <\/p>\n

Project team members<\/strong><\/p>\n

Piotr Kulicki (KUL, Lublin) \u2013 Principal Investigator
\nBeishui Liao (Zhejiang University, Hangzhou) \u2013 Main Foreign Partner
\nMarek Sergot (Imperial College, London)
\nOlivier Roy (Bayreuth University, Bayreuth)
\nRobert Trypuz (KUL, Lublin)
\nXin Sun (KUL, Lublin)
\nHuimin Dong (Zhejiang University, Hangzhou)<\/p>\n

 <\/p>\n

The research is supported by the National Science Centre, Poland (HARMONIA, UMO-2017\/26\/M\/HS1\/01092)<\/p>\n","protected":false},"excerpt":{"rendered":"

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 …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":5423,"parent":5421,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-5472","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5472","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=5472"}],"version-history":[{"count":7,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5472\/revisions"}],"predecessor-version":[{"id":6494,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5472\/revisions\/6494"}],"up":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/pages\/5421"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media\/5423"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=5472"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}