Departments |
Computer Science, Zienkiewicz Institute for Modelling, Data and AI
|
Description | The 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. |
Preparation | Law 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
|