Filter

  • Formal Reasoning about Golog Programs

    Project ID: STAI-CDT-2022-KCL-10
    Themes: AI Planning, Logic, Verification
    Supervisor: Mohammad Abdulaziz

    Constructing a world-model is a fundamental part of model-based AI, e.g. planning. Usually, such a model is constructed by a human modeller and it should capture the modeller’s intuitive understanding of the world dynamics...

    Read more

  • Causal Decentralised Finance

    Project ID: STAI-CDT-2022-KCL-3
    Themes: Logic, Norms, Verification
    Supervisor: Hana Chockler

    The goal of this project is to develop a causality-based framework for the analysis of decentralised finance (DeFi), based on the principled approach of actual causality [1] and responsibility [2], the latter pioneered by...

    Read more

  • Symbolic knowledge representations for time-sensitive offensive language detection

    Project ID: STAI-CDT-2022-KCL-2
    Themes: AI Provenance, Logic
    Supervisor: Albert Meroño Peñuela, Barbara McGillivray

    Language models learned from data have become prevalent in AI systems, but they are sensitive to the identification of undesired behaviour posing risks to society, like offensive language. The task of automatic detection of...

    Read more

  • Building Abstract Representations to Check Multi-Agent Deep Reinforcement-Learning Behaviors

    Project ID: STAI-CDT-2022-IC-3
    Themes: Logic, Verification
    Supervisor: Francesco Belardinelli

    Reinforcement Learning, and its extension Deep Reinforcement Learning (DRL), are Machine Learning (ML) techniques that allow autonomous agents to learn optimal behaviours (called policies) in unknown and complex...

    Read more

  • Explainable Reinforcement Learning with Causality

    Project ID: STAI-CDT-2022-IC-4
    Themes: Logic, Verification
    Supervisor: Francesco Belardinelli

    Reinforcement Learning (RL) is a technique widely used to allow agents to learn behaviours based on a reward/punishment mechanism [1]. In combination with methods from deep learning, RL is currently applied in a number of...

    Read more

  • Verified Multi-Agent Programming with Actor Models

    Project ID: STAI-CDT-2022-ICL-1
    Themes: Logic, Verification
    Supervisor: Prof Nobuko Yoshida

    Today, most computer applications are developed as ensembles of concurrent multi-agents (or components), that communicate via message passing across some network. Modern programming languages and toolkits provide...

    Read more

  • Neuro-Symbolic Policy Learning and Representation for Interpretable and Formally-Verifiable Reinforcement Learning

    Project ID: STAI-CDT-2021-IC-24
    Themes: AI Planning, Logic, Verification
    Supervisor: Francesco Belardinelli

    The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...

    Read more

  • Run-time Verification for Safe and Verifiable AI

    Project ID: STAI-CDT-2021-IC-23
    Themes: AI Planning, Logic, Verification
    Supervisor: Francesco Belardinelli

    The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...

    Read more

  • Reward Synthesis from Logical Specifications

    Project ID: STAI-CDT-2021-IC-22
    Themes: AI Planning, Logic, Verification
    Supervisor: Francesco Belardinelli

    The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...

    Read more

  • Specification, diagnosis and repair for deep learning systems

    Project ID: STAI-CDT-2021-IC-21
    Themes: Logic, Verification
    Supervisor: Dalal Alrajeh

    Recent times have witnessed a flurry of advancements in ML, enabling their widespread application in domains such healthcare, security and autonomous vehicles. However, their deployment has also come at cost, resulting in...

    Read more

  • Synthesizing and revising plans for autonomous robot adaptation

    Project ID: STAI-CDT-2021-IC-20
    Themes: AI Planning, Logic, Verification
    Supervisor: Dalal Alrajeh

    AI Planning is concerned with producing plans that are guaranteed to achieve a robot’s goals, assuming the pre-specified assumptions about the environment in which it operates hold. However, no matter how detailed these...

    Read more

  • Trustful Ontology Engineering and Reasoning through Provenance

    Project ID: STAI-CDT-2021-KCL-12
    Themes: AI Provenance, Logic
    Supervisor: Albert Meroño Peñuela

    Ontologies have become fundamental AI artifacts in providing knowledge to intelligent systems. The concepts and relationships formalised in these ontologies are frequently used to semantically annotate data, helping...

    Read more