Project ID: STAI-CDT-2023-KCL-15
Themes: Argumentation
Supervisor: Hector Menendez, Dr Mariana Pinto da Costa
Mental care systems require patient assessment and diagnosis. Thus, creating a reliable artificial intelligence that provides a mental state examination (MSE) requires proper verification that guarantees accuracy and...
Read more
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...
Read more
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,...
Read more
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,...
Read more
Project ID: STAI-CDT-2021-IC-11
Themes: Argumentation
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...
Read more