Computational Law and Autonomous Vehicles

  by   Adam Wyner






Departments Computer Science, Zienkiewicz Institute for Modelling, Data and AI
DescriptionThe Law Commission has been studying issues related to autonomous vehicles and how they might be regulated in a manner that is accessible to driver, can be automated, and is consistent with the Highway Code. The objective of the project is model and automate legal reasoning and processes for automated vehicles using the Logical English system, which is a controlled natural language that translates to Prolog and interacts with a multi-agent visualisation. The project models the rules of the Highway Code, representing, reasoning, and animating them? In the project, the student learns Logical English, Prolog, and the multi-Agent visualisation.
PreparationLaw Commission report https://www.lawcom.gov.uk/project/automated-vehicles/ Highway Code https://www.gov.uk/browse/driving/highway-code-road-safety Logical English with Highway Code sample https://le.logicalcontracts.com/p/highway-code.pl The student should have some familiarity with Prolog basics and skills with Python or Java.
Project Categories Artificial Intelligence (AI), Human Computer Interaction (HCI), January Cohort, Law, Software Engineering, Theorical Computer Science
Project Keywords Logic


Level of Studies

Level 6 (Undergraduate Year 3) yes
Level 7 (Masters) yes
Level 8 (PhD) yes