Project ID: STAI-CDT-2023-KCL-11
Themes: Argumentation, Verification
Supervisor: Dr Steffen Zschaler, Dr Katie Bentley
Agent-based models (ABMs) are an AI technique to help improve our understanding of complex real-world interactions and their “emergent behaviours”. ABMs are used to develop and test theories or to explore how interventions...
Project ID: STAI-CDT-2023-KCL-5
Themes: AI Planning, Argumentation, Norms, Reasoning
Supervisor: Maria Polukarov
The problem of ethical decision making presents a grand challenge for modern AI research. Arguably, the main obstacle to automating ethical decisions is the lack of a formal specification of ground-truth ethical principles,...
Project ID: STAI-CDT-2022-KCL-1
Themes: AI Provenance, Argumentation, Verification
Supervisor: Prof Elena Simperl
Knowledge graphs and knowledge bases are forms of symbolic knowledge representations used across AI applications. Both refer to a set of technologies that organise data for easier access, capture information about people,...
Project ID: STAI-CDT-2021-IC-11
Supervisor: Ruth Misener
AI is continuing to make progress in many settings, fuelled by data availability and computational power, but it is widely acknowledged that it cannot fully benefit society without addressing its widespread inability to...