D6.2 Quantum Rule-Based Systems (QRBS) Models, Architecture and Formal Specification
Creators: name: Moret-Bonillo, Vicente
name: Mosqueira-Rey, Eduardo
name: Magaz-Romero, Samuel
name: Gómez-Tato, Andrés
Publisher: name: Zenodo
Year: 2021
Subjects: subject: Models
subject: Architecture
subject: FOS: Civil engineering
subject: FOS: Civil engineering
subject: Formal specification

description: This report is the first deliverable of UDC-CESGA, related to task 6.2 of Work Package 6 of the NEASQC project, UC6. The document incorporates information on the approach to the work carried out so far, from the project start date to the deadline established for this first deliverable.<br> The report includes a brief description of invasive ductal carcinoma of the breast (IDC), the methodology followed for the modeling of a rule-based system for the diagnosis and treatment of IDC, a preliminary analysis to evaluate the suitability of quantum computing in this domain, a proposal about the quantum approximation that we want to use, and that we will later have to evaluate, and the analysis about the formal requirements of the application that we intend to carry out. We also include a quantum proposal on the uncertainty associated with reasoning in medicine.<br> A brief summary of the IDC is necessary to place the use case in the context of the project. The description will range from the initial symptoms that allow the clinician to consider the possibility of IDC, the diagnostic process, the degree of severity of the IDC, and the possible associated treatments.<br> The methodological description of the knowledge engineering used is necessary to understand the architecture of a classical rule-based system, and to be able to formalize the problem in terms of declarative knowledge, procedural knowledge and inferential circuits.<br> Next, a qualitative analysis of the problem in terms of quantum logical operators is presented to illustrate the possibility of converting a conventional rule-based system into a quantum rule-based system.<br> Finally, the formal requirements of the quantum rule-based system will be mentioned. Also, we will pay special attention to the imprecision of the information and the uncertainty associated with clinical practice.
description: {"references": ["American Cancer Society. (2019). Breast Cancer Facts &amp; Figures 2019-2020. Atlanta: American Cancer Society, Inc.", "Atos. (2016-2020). qat.pylinalg: Python Linear-algebra simulator. Obtenido de https://myqlm.github.io/myqlm_specific/qat-pylinalg.html", "Kendal, S. L., &amp; Creen, M. (2007). An Introduction to Knowledge Engineering. Springer.", "Ledley, R. S., &amp; Lusted, L. B. (1959). Reasoning Foundations of Medial Diagnosis. Science, 9-21.", "Lindley, D. V. (2014). Understanding Uncertainty, Revised Edition. John Wiley &amp; Sons Ltd.", "Moret-Bonillo, V. (2000). Fundamentos de la Inteligencia Artificial. Universidade da Coru\u00f1a.", "Moret-Bonillo, V. (2018). Emerging technologies in artificial intelligence: quantum rule-based systems. Progress in Artificial Intelligence 7, 155-166.", "Nalepa, G. J. (2008). Methodologies and Technologies for Rule-Based Systems Design and Implementation. Towards Hybrid Knowledge Engineering. Springer.", "Pearl, J. (1986). Fusion, propagation, and structuring in belief networks. Artificial Intelligence, Volume 29, Issue 3, 241-288.", "Shaffer, G. (1976). A Mathematical Theory of Evidence. Princeton University Press.", "Shortliffe, E. H., &amp; Buchanan, B. G. (1975). A model of inexact reasoning in medicine. Mathematical biosciences, 351-379.", "Yanofsky, N. S., &amp; Mannucci, M. A. (2008). Quantum Computing for Computer Scientists. Cambridge University Press.", "Zadeh, L. A. (1965). Fuzzy sets. Information and Control, Volume 8, Issue 3, 338-353."]}