Rule-Based Reasoning
What tasks lie ahead on the return to Westminster?
The summer recess is over and MPs are returning to Westminster with very full inboxes. As Parliament throws its doors open for the new term, what challenges lie ahead for the government in the coming months? The challenges of posed by the coronavirus pandemic will be forefront of ministers' minds: how to encourage a return to something approaching normal while keeping the virus under control. As the holiday season winds up, many in the Conservative party want to see more done to encourage people back to offices in England - and ministers are urging people working from home to speak to their employers about returning to workplaces where it's safe to do so. Health Committee chair Jeremy Hunt has warned that the situation coming into winter is "potentially very perilous".
Machine Reasoning Explainability
Cyras, Kristijonas, Badrinath, Ramamurthy, Mohalik, Swarup Kumar, Mujumdar, Anusha, Nikou, Alexandros, Previti, Alessandro, Sundararajan, Vaishnavi, Feljan, Aneta Vulgarakis
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainable AI (XAI) -- arguably one of the biggest concerns today for the AI community. Work on explainable MR as well as on MR approaches to explainability in other areas of AI has continued ever since. It is especially potent in modern MR branches, such as argumentation, constraint and logic programming, planning. We hereby aim to provide a selective overview of MR explainability techniques and studies in hopes that insights from this long track of research will complement well the current XAI landscape. This document reports our work in-progress on MR explainability.
Evaluation of machine learning algorithms for Health and Wellness applications: a tutorial
As the name says, these approaches rely on the availability of data to extract knowledge and train algorithms. This is opposed to, e.g., modeling approaches in which physiological, physics-based, mathematical, and other equations form the basis of algorithms, or, rule-based systems in which reasoning processes are obtained by translating domain-experts' knowledge into computer-based rules. Focusing on data-driven systems, the data plays a role in several components during the development and actual usage phases. First, we need data to extract knowledge from, i.e., to develop and train algorithms so that they learn-by-example the properties of the problem at hand and get better at solving the problem by repeatedly providing example data. Second, we need to monitor during the development phase how promising the algorithms are and make choices, e.g., concerning optimisation of parameters or choosing different MLparadigms. Methods that don't perform well at all can be discarded, and ones that seem promising can be further optimised. To assess how promising a specific method is, we need to examine how it performs on data that was not used during training. Finally, to objectively assess how well the final'best' system performs, we need to apply completely new data to it that has not been used at all thusfar during the research and development process. Thus, there are at least three stakeholders that have the interest to get as large part of the data pie as possible.
Regulation of Artificial Intelligence in Europe and Japan
Enterprises around the world are rapidly incorporating artificial intelligence (AI) into existing and new products and processes. This effort is not just to improve such offerings and services, but to achieve a qualitatively higher level of capability not possible before. It is clear that AI carries the potential for many new opportunities, across all industries, but it is also already recognized that it brings numerous risks as well. As with any technology, senior management and board directors need to be aware of both the opportunity and the risk in order to successfully and responsibly manage the enterprise. The opportunities are great--AI can assist in robotic process automation (RPA), machine learning, natural language processing, finding new drugs and therapies, and will be essential for driverless transportation--but if the risks are downplayed or overlooked, there can be serious reputational and/or legal consequences.
Does AI, biometrics hold the key to better "Know Your Customer" (KYC)?
With so much reliance on digital payments and other financial technology (fintech), going through some form of purportedly secure, digital verification process (often referred to as'know your customer', or KYC, processes) is often par for the course these days. But with pervasive cyber threats like data breaches and identity theft delivering blows to what the end-user hopes is an un-breach-able system, "taking a single selfie just isn't enough to ensure your customer's identity [anymore]," laments Philipp Pointner, chief product officer at digital security specialist Jumio. "It leaves banks and financial institutions vulnerable to spoofing attacks as a fraudster can easily find a picture of someone else online and pass that off as genuine." "But using solutions that employ biometrics, and specifically 3D face maps and certified liveness detection, ensures the [people] behind a transaction [are] who they say they are," Pointner recently told PYMNTS. Biometrics โ working in concert with a combination of artificial intelligence (AI) and machine learning (ML) to scan, analyze and then to create what could be a varied biometric identity database capable of verifying and storing fingerprints, facial features, even voice and device data โ could allow for not only tougher, more meticulous identity security, but also a deeper understanding of a financial institute's customer profile โ giving banks and other fintech a truer way to "know your customer".
Focus: Orange Group explains its AI and data strategy
Orange launched its strategic plan for the next five years, Engage 2025, last December and AI-enabled innovation was one of the four pillars of the group's future success. This breaks into four parts, as shown below. The 2025 strategy states, "Our ambition is as strong as our social commitments are firm. And we will never think of one without the other" (see last section of article on inclusivity). Lugagne-Delpon said at the online briefing, "We believe that AI can bring value to almost every phase of the network lifecycle โ so network planning and design to optimise the efficiency of investment, operations for advanced monitoring, smarter maintenance and better security, and also optimisation to populate a number of operation processes and also optimise the performance and the use of resources." He went on to describe a number of use cases.
Regulation of Artificial Intelligence in Europe and Japan
Enterprises around the world are rapidly incorporating artificial intelligence (AI) into existing and new products and processes. This effort is not just to improve such offerings and services, but to achieve a qualitatively higher level of capability not possible before. It is clear that AI carries the potential for many new opportunities, across all industries, but it is also already recognized that it brings numerous risks as well. As with any technology, senior management and board directors need to be aware of both the opportunity and the risk in order to successfully and responsibly manage the enterprise. The opportunities are great--AI can assist in robotic process automation (RPA), machine learning, natural language processing, finding new drugs and therapies, and will be essential for driverless transportation--but if the risks are downplayed or overlooked, there can be serious reputational and/or legal consequences.
SOAR: Simultaneous Or of And Rules for Classification of Positive & Negative Classes
Khusainova, Elena, Dodwell, Emily, Mitra, Ritwik
Algorithmic decision making has proliferated and now impacts our daily lives in both mundane and consequential ways. Machine learning practitioners make use of a myriad of algorithms for predictive models in applications as diverse as movie recommendations, medical diagnoses, and parole recommendations without delving into the reasons driving specific predictive decisions. Machine learning algorithms in such applications are often chosen for their superior performance, however popular choices such as random forest and deep neural networks fail to provide an interpretable understanding of the predictive model. In recent years, rule-based algorithms have been used to address this issue. Wang et al. (2017) presented an or-of-and (disjunctive normal form) based classification technique that allows for classification rule mining of a single class in a binary classification; this method is also shown to perform comparably to other modern algorithms. In this work, we extend this idea to provide classification rules for both classes simultaneously. That is, we provide a distinct set of rules for both positive and negative classes. In describing this approach, we also present a novel and complete taxonomy of classifications that clearly capture and quantify the inherent ambiguity in noisy binary classifications in the real world. We show that this approach leads to a more granular formulation of the likelihood model and a simulated-annealing based optimization achieves classification performance competitive with comparable techniques. We apply our method to synthetic as well as real world data sets to compare with other related methods that demonstrate the utility of our proposal.
Learning Reasoning Strategies in End-to-End Differentiable Proving
Minervini, Pasquale, Riedel, Sebastian, Stenetorp, Pontus, Grefenstette, Edward, Rocktรคschel, Tim
Attempts to render deep learning models interpretable, data-efficient, and robust have seen some success through hybridisation with rule-based systems, for example, in Neural Theorem Provers (NTPs). These neuro-symbolic models can induce interpretable rules and learn representations from data via back-propagation, while providing logical explanations for their predictions. However, they are restricted by their computational complexity, as they need to consider all possible proof paths for explaining a goal, thus rendering them unfit for large-scale applications. We present Conditional Theorem Provers (CTPs), an extension to NTPs that learns an optimal rule selection strategy via gradient-based optimisation. We show that CTPs are scalable and yield state-of-the-art results on the CLUTRR dataset, which tests systematic generalisation of neural models by learning to reason over smaller graphs and evaluating on larger ones. Finally, CTPs show better link prediction results on standard benchmarks in comparison with other neural-symbolic models, while being explainable. All source code and datasets are available online, at https://github.com/uclnlp/ctp.
Handling of uncertainty in medical data using machine learning and probability theory techniques: A review of 30 years (1991-2020)
Alizadehsani, Roohallah, Roshanzamir, Mohamad, Hussain, Sadiq, Khosravi, Abbas, Koohestani, Afsaneh, Zangooei, Mohammad Hossein, Abdar, Moloud, Beykikhoshk, Adham, Shoeibi, Afshin, Zare, Assef, Panahiazar, Maryam, Nahavandi, Saeid, Srinivasan, Dipti, Atiya, Amir F., Acharya, U. Rajendra
Understanding data and reaching valid conclusions are of paramount importance in the present era of big data. Machine learning and probability theory methods have widespread application for this purpose in different fields. One critically important yet less explored aspect is how data and model uncertainties are captured and analyzed. Proper quantification of uncertainty provides valuable information for optimal decision making. This paper reviewed related studies conducted in the last 30 years (from 1991 to 2020) in handling uncertainties in medical data using probability theory and machine learning techniques. Medical data is more prone to uncertainty due to the presence of noise in the data. So, it is very important to have clean medical data without any noise to get accurate diagnosis. The sources of noise in the medical data need to be known to address this issue. Based on the medical data obtained by the physician, diagnosis of disease, and treatment plan are prescribed. Hence, the uncertainty is growing in healthcare and there is limited knowledge to address these problems. We have little knowledge about the optimal treatment methods as there are many sources of uncertainty in medical science. Our findings indicate that there are few challenges to be addressed in handling the uncertainty in medical raw data and new models. In this work, we have summarized various methods employed to overcome this problem. Nowadays, application of novel deep learning techniques to deal such uncertainties have significantly increased.