As discussed in The Law Commission’s report (https://www.lawcom.gov.uk/project/automated-vehicles/), the behaviour of autonomous vehicles (AVs) must abide by legislation and regulation such as the Highway Code. The challenges of computational law are to integrate: logical formalisations of the law, rules and actions in a programming language, and representations accessible in natural language. For example, how to manage violations of a law such as “Automobiles may not mount the pavement”? The overall aim is to build into an operating system the soft constraints of the law rather than have hard constraints or post hoc, external adjudication. In the last 3 years, there has been academic progress to integrate the law (The Law Commission’s consultation) with Artificial Intelligence (logic, normative and non-monotonic reasoning, computational linguistics, and logic programming in constraint Answer Set Programming). The PhD will progress state-of-the-art approaches and tools to carry out fundamental research on computational law for AVs on questions related to: vagueness/open-textured terms, conflicting information, exceptions, events/causation, and natural language translations of the logic or system reports. The work is relevant to government and service industries of insurance and legal. Links to and integration with data science will also be explored.

Eligibility

Benefits

Application

Apply Now