Quadratic Unconstrained Binary Optimization (QUBO)

About

The research focuses on the application of quantum computing to problems in abstract argumentation and optimisation, particularly through Quadratic Unconstrained Binary Optimisation (QUBO) formulations that can be solved on quantum hardware. This work lies at the intersection of symbolic Artificial Intelligence and quantum computing.

Research in quantum computing is part of a broader interest in combinatorial optimisation, applying both quantum and classical optimisation techniques to computationally challenging problems in Artificial Intelligence, with a particular focus on abstract argumentation. Several NP-complete problems are reformulated as Quadratic Unconstrained Binary Optimisation (QUBO) models, which can be solved using either quantum annealers or approximate optimisation methods. This research direction lies at the intersection of symbolic Artificial Intelligence and quantum computing, exploring how quantum paradigms and optimisation techniques can accelerate or reformulate problems that are traditionally computationally expensive.