To facilitate the realization of this groundbreaking concept, this paper presents an original approach to represent intuitionistic fuzzy sets and operators through quadratic optimization problems. This approach aims to enable the deployment of fuzzy inference mechnism on a specific category of quantum computers referred to as quantum annealers.
To facilitate the realization of this groundbreaking concept, this paper presents an original approach to represent intuitionistic fuzzy sets and operators through quadratic optimization problems. This approach aims to enable the deployment of fuzzy inference mechnism on a specific category of quantum computers referred to as quantum annealers.
Quantum computation is going to revolutionize the world of computing by enabling the design of massive parallel algorithms that solve hard problems in an efficient way, thanks to the exploitation of quantum mechanics effects, such as superposition, entanglement, and interference. These computational improvements could strongly influence the way how fuzzy systems are designed and used in contexts, such as Big Data, where computational efficiency represents a nonnegligible constraint to be taken into account. In order to pave the way toward this innovative scenario, this article introduces a novel representation of fuzzy sets and operators based on quadratic unconstrained binary optimization problems, so as to enable the implementation of fuzzy inference engines on a type of quantum computers known as quantum annealers.
Quantum computers can potentially perform certain types of optimisation problems much more efficiently than classical computers, making them a promising tool for solving complex fuzzy logic problems. In two recent developments, based on solving Quadratic Unconstrained Binary Optimization (QUBO) problems on a type of quantum computers known as quantum annealers, we have introduced novel representations of a) fuzzy sets; b) implementations of some basic fuzzy logic operators (union, intersection, alpha-cut and maximum) and; c) the centroid defuzzification. In this paper, the previous works are further extended by presenting an implementation of Mamdani inference on the quantum annealer machines. We first present how the fuzzy rules can be formulated for such an implementation, then we present how to cascade different quantum-fuzzy operators in order to implement the quantum-fuzzy inference, and finally, a sample implementation of the inference on a real quantum computer is demonstrated. Having the main components of a rule-based fuzzy logic system implemented on quantum computers, this paper provides an integrated solution for implementing a whole fuzzy rule-based system on quantum computers.
Due to the built-in parallelism of quantum computing, there is an unexplored potential for some complex fuzzy logic computations to take the advantage of the future quantum computers. Recently, it has been introduced a novel representation of fuzzy sets and implementations of some basic fuzzy logic operators (union, intersection, alpha-cut and maximum) based on solving a Quadratic Unconstrained Binary Optimization (QUBO) problems, on a type of quantum computers known as quantum annealers. In this paper, this work is extended by presenting an implementation of centroid defuzzification on quantum annealer machines, based on binary quadratic model (BQM) but this time using Ising model. Having the basic operations and defuzzification implemented on quantum computers, this paper paves the way towards the implementation of a whole fuzzy inference engine on enhanced devices, such as quantum annealers.
Quantum processes provide a parallel model for fuzzy connectives. Calculations of quantum states may be simultaneously performed by the superposition of membership and non-membership degrees of each element regarding the intuitionistic fuzzy sets. This work aims to interpret Atanassov's intuitionistic fuzzy logic through quantum computing, where not only intuitionistic fuzzy sets, but also their basic operations and corresponding connectives (negation, conjuntion, disjuntion, difference, codifference, implication, and coimplication), are interpreted based on the traditional quantum circuit model.
Quantum annealing is a model for quantum computing that is aimed at solving hard optimization problems by representing them as quadratic unconstrained binary optimization (QUBO) problems. Although many NP-hard problems can easily be formulated as binary-variable problems with a quadratic objective function, such formulations typically also include constraints, which are not allowed in a QUBO. Hence, such constraints are usually incorporated in the objective function as additive penalty terms. While there is substantial previous work on implementing linear equality constraints, the case of inequality constraints has not much been studied. In this paper, we propose a new approach for formulating and embedding inequality constraints as penalties and describe early implementation results.
This paper explores the application of Quantum Annealing (QA) to the field of combinatorial optimization. The core idea is to leverage the principles of quantum mechanics, specifically quantum tunneling, to efficiently solve complex optimization problems. We present a framework for utilizing QA to tackle problems represented as quadratic unconstrained binary optimization (QUBO) models. The methodology focuses on mapping the problem's constraints and objective function into a form suitable for QA hardware. We discuss the challenges involved in this mapping process, including the limitations of current QA devices and the need for careful problem formulation. Furthermore, we analyze the potential advantages of QA over classical optimization techniques, particularly concerning the exploration of a wider solution space. The research highlights the promise of QACO as a viable approach for tackling computationally demanding combinatorial optimization tasks, offering a novel method to enhance optimization efficiency.