scholarly journals Quantum Computing for Dealing with Inaccurate Knowledge using the Certainty Factors Model

Author(s):  
Vicente Moret-Bonillo ◽  
Samuel Magaz-Romero ◽  
Eduardo Mosqueira-Rey

In this paper we try to demonstrate that the classical model of certainty factos for dealing with innacurate knowledge can be efficiently implemented in a quantum environment. For this, we assume that certainty factors are strongly correlated with the quantum probability. We first explore the certainty factors approach for inexact reasoning from a classical point of view. Next, we introduce some basic aspects of quantum computing, and we pay special attention to quantum rule-based systems. We then build a use case: an inferential network to be implemented in both, the classical approach and the corresponding quantum circuit. Both implementations have been used to compare the behavior of the classical and the quantum approaches when confronted with the same hypothetical case. We analyze three different situations: (1) Only Imprecision (which refers to inaccuracy in declarative knowledge or facts) is present in the use case, (2) Only Uncertainty (which refers to inaccuracy in procedural knowledge or rules) is present in the use case, and (3) Both Imprecision and Uncertainty are present in the use case. Finally, we analyze the results to reach a conclusion about the eventually intrinsic probabilistic nature of the certainty factors model and to pave the way for future quantum implementations of this method for handling inaccurate knowledge.

Mathematics ◽  
2022 ◽  
Vol 10 (2) ◽  
pp. 189
Author(s):  
Vicente Moret-Bonillo ◽  
Samuel Magaz-Romero ◽  
Eduardo Mosqueira-Rey

In this paper, we illustrate that inaccurate knowledge can be efficiently implemented in a quantum environment. For this purpose, we analyse the correlation between certainty factors and quantum probability. We first explore the certainty factors approach for inexact reasoning from a classical point of view. Next, we introduce some basic aspects of quantum computing, and we pay special attention to quantum rule-based systems. In this context, a specific use case was built: an inferential network for testing the behaviour of the certainty factors approach in a quantum environment. After the design and execution of the experiments, the corresponding analysis of the obtained results was performed in three different scenarios: (1) inaccuracy in declarative knowledge, or imprecision, (2) inaccuracy in procedural knowledge, or uncertainty, and (3) inaccuracy in both declarative and procedural knowledge. This paper, as stated in the conclusions, is intended to pave the way for future quantum implementations of well-established methods for handling inaccurate knowledge.


2021 ◽  
Author(s):  
Dhruv Baronia

Quantum Computing presents an interesting paradigm where it can possibly offer certain improvements and additions to a classical network while training. This method is particularly prevalent in the current Noisy Intermediate-Scale Quantum era, where we can test these theories using libraries such as Pennylane in conjunction with robust ML frameworks such as TensorFlow. This paper presents a proof-of-concept for the same, using a hybrid quantum-classical model to solve a text classification problem on the IMDB Movie Sentiment Dataset. These hybrid models utilize precalculated embeddings and dense layers alongside a variational quantum circuit layer. We created 4 such models, utilizing various kinds of embeddings, namely NNLM-128, NNLM-50, Swivel and USE, using TFHub and Pennylane. We also trained classical versions of these models, without the variational quantum layer to evaluate the performances. All models were trained on the same data, keeping the parameters constant.


2021 ◽  
Author(s):  
Dhruv Baronia

Quantum Computing presents an interesting paradigm where it can possibly offer certain improvements and additions to a classical network while training. This method is particularly prevalent in the current Noisy Intermediate-Scale Quantum era, where we can test these theories using libraries such as Pennylane in conjunction with robust ML frameworks such as TensorFlow. This paper presents a proof-of-concept for the same, using a hybrid quantum-classical model to solve a text classification problem on the IMDB Movie Sentiment Dataset. These hybrid models utilize precalculated embeddings and dense layers alongside a variational quantum circuit layer. We created 4 such models, utilizing various kinds of embeddings, namely NNLM-128, NNLM-50, Swivel and USE, using TFHub and Pennylane. We also trained classical versions of these models, without the variational quantum layer to evaluate the performances. All models were trained on the same data, keeping the parameters constant.


2021 ◽  
Vol 3 (1) ◽  
pp. 153-165
Author(s):  
Torsten Asselmeyer-Maluga

In this paper, we will present some ideas to use 3D topology for quantum computing. Topological quantum computing in the usual sense works with an encoding of information as knotted quantum states of topological phases of matter, thus being locked into topology to prevent decay. Today, the basic structure is a 2D system to realize anyons with braiding operations. From the topological point of view, we have to deal with surface topology. However, usual materials are 3D objects. Possible topologies for these objects can be more complex than surfaces. From the topological point of view, Thurston’s geometrization theorem gives the main description of 3-dimensional manifolds. Here, complements of knots do play a prominent role and are in principle the main parts to understand 3-manifold topology. For that purpose, we will construct a quantum system on the complements of a knot in the 3-sphere. The whole system depends strongly on the topology of this complement, which is determined by non-contractible, closed curves. Every curve gives a contribution to the quantum states by a phase (Berry phase). Therefore, the quantum states can be manipulated by using the knot group (fundamental group of the knot complement). The universality of these operations was already showed by M. Planat et al.


2019 ◽  
pp. 87-96
Author(s):  
А. Л. Свящук

In the time when the basic formulas and approaches of the aircraft industry are based on the principles of classical science, the nature of the observed phenomena seems non-linear. Such phenomena as turbulence, flutter, buffering, disruption of the air flow can be explained by means of synergetics and system theory in the context of the post-non-classical paradigm. However, a certain contradiction can be observed: non-linear phenomena are explained by linear traditional science. That is why many formulas of aerodynamics and strength have a large empirical part. Therefore, it becomes necessary to revise the philosophical foundations of most approaches and the overall picture of the world as a whole. The use of the concepts of synergetics and system theory allows us to describe more accurately certain phenomena in aviation, which ultimately will lead to the creation of more efficient and safer aircraft. For example, we can design our aircraft not only as a complex system, but also as part of other complex systems, evaluating its effectiveness from the point of view of more ambitious and higher levels, predicting its operation and modernization in the changing conditions of the socio-political system. Moreover, the very nature of engineering creativity based on synergistic approaches will become more efficient and effective by increasing the intensity of aviation thought. Therefore, understanding the role of chance, the effect of emergence will allow us to be prepared for many surprises and black swans and also be wary about our knowledge, assessing their probabilistic nature.


2021 ◽  
pp. 80-94
Author(s):  
Khadija Ouazzani-Touhami ◽  
◽  
Mohammed EL Arass ◽  
Nissrine Souissi

This paper investigates the potential of discrete event simulation for the analysis and evaluation of public strategies and policies and discusses the opportunities offered by the use of a simulation project lifecycle. Following this cycle, we evaluate a public policy use case, the voluntary departure operation initiated in Morocco in 2005, and analyses the success rate of this operation, as well as its impact on the Moroccan pension fund, and this for the period from 2005 to 2025. The results of this simulation highlighted, as already indicated in the Court of Auditors' reports, the irrelevance of this operation, particularly from a financial point of view.


2021 ◽  
Vol 3 ◽  
Author(s):  
Lee John Florea ◽  
Adam J Kuban

Water Quality Indiana is a learning platform that leverages collaborations, community partnerships, and active mentorship of transdisciplinary student cohorts. Since 2013, this platform has engaged teams of science, technology, engineering, and mathematics (STEM) and communication and media students to investigate water quality in east central Indiana (since expanded to other domestic and international locations) in an experiential problem-based learning environment. For community partners, Water Quality Indiana provides scientific data, analysis, and multimedia deliverables about water quality, and it has a successful record of finding solutions to real-world problems. From the point of view of faculty, project deliverables enhance several aspects of a faculty portfolio. For student participants, the goal is to increase metacognition, civic engagement, and confidence in processes associated with STEM and media studies, and, therefore, the transdisciplinary skills required in an increasingly competitive workforce. Assessing learning artifacts (e.g., assignment, quizzes, or other evaluative metrics) reveals a cognitive dissonance between metacognition and accuracy in declarative knowledge related to topics in water quality—student scores did not increase in posttest data despite an increased confidence in selected answers. In contrast, pretest and posttest results, synthesis reports, and focus group data suggest that confidence in procedural knowledge in both water quality and media production significantly increased by the end of the course. Students cited time constraints imposed by academic calendars and project deadlines as a limitation of the learning environment. Course data reveal differences based on academic background and gender: 1) media studies majors became more confident in their multimedia skills, while STEM majors became less confident; 2) note-taking style and detail is more organized and meticulous for female and STEM students compared to male and media studies counterparts.


2013 ◽  
Vol 30 ◽  
pp. 89-101 ◽  
Author(s):  
Ferdy Hubers ◽  
Helen de Hoop

Dutch prescriptive grammar rules dictate that the complementizer dan ‘than’ should be used in comparative constructions of inequality. This has been an issue for grammarians from the sixteenth century onwards when als ‘as’ started to be used as an alternative form in this type of context. In order to find out why and when people choose one comparative marker over the other, we examined the use of these markers in the Spoken Dutch Corpus (CGN). We found that the use of dan is overall more common than als in comparative constructions of inequality, even though from a linguistic point of view als might be favoured. The choice between als and dan turns out to be strongly correlated with the level of education. Although this factor has been assumed to be of influence for a long time, as far as we know it has never been quantitatively tested before. We conclude that the effect of the level of education we found reflects the strong influence of the prescriptive rule taught in schools, repressing the use of als in comparatives of inequality.


Author(s):  
Chao Lu ◽  
Zhao Hu ◽  
Bei Xie ◽  
Ning Zhang

Abstract In this paper, computational heat transfer (CHT) equations were solved using the state-of-art quantum computing (QC) technology. The CHT equations can be discretized into a linear equation set, which can be possibly solved by a QC system. The linear system can be characterized by Ax = b. The A matrix in this linear system is a Hermitian matrix. The linear system is then solved by using the HHL algorithm, which is a quantum algorithm to solve a linear system. The quantum circuit requires an Ancilla qubit, clock qubits, qubits for b and a classical bit to record the result. The process of the HHL algorithm can be described as follows. Firstly, the qubit for b is initialized into the phase as desire. Secondly, the quantum phase estimation (QPE) is used to determine the eigenvalues of A and the eigenvalues are stored in clock qubits. Thirdly, a Rotation gate is used to rotate the inversion of eigenvalues and information is passed to the Ancilla bit to do Pauli Y-rotation operation. Fourthly, revert the whole processes to untangle qubits and measure all of the qubits to output the final results for x. From the existing literature, a few 2 × 2 matrices were successfully solved with QC technology, proving the possibility of QC on linear systems [1]. In this paper, a quantum circuit is designed to solve a CHT problem. A simple 2 by 2 linear equation is modeled for the CHT problem and is solved by using the quantum computing. The result is compared with the analytical result. This result could initiate future studies on determining the quantum phase parameters for more complicated QC linear systems for CHT applications.


2020 ◽  
Vol 34 (35) ◽  
pp. 2050401
Author(s):  
Mohammed Zidan

This paper shows a novel quantum computing model that solves quantum computing problems based on the degree of entanglement. We show two main theorems: the first theorem shows the quantum circuit that can be used to quantify the concurrence value between two adjacent qubits. The second theorem shows the quantum circuit of a proposed operator, called [Formula: see text] operator, which can be used to differentiate between the non-orthogonal states in the form [Formula: see text], with arbitrary accuracy, using the concurrence value. Then, the mathematical machinery for implementing the proposed model and its techniques using the circuit model is investigated extensively.


Sign in / Sign up

Export Citation Format

Share Document