Search Results for author: Artur d'Avila Garcez

Found 27 papers, 5 papers with code

Modular Neural Networks for Time Series Forecasting: Interpretability and Feature Selection using Attention

no code implementations28 Nov 2023 Qiqi Su, Christos Kloukinas, Artur d'Avila Garcez

A modular deep network is trained from the selected features independently to show the users how features influence outcomes, making the model interpretable.

Additive models feature selection +3

Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI

no code implementations29 Oct 2023 Adam White, Margarita Saranti, Artur d'Avila Garcez, Thomas M. H. Hope, Cathy J. Price, Howard Bowman

The highest classification accuracy 0. 854 was observed when 8 regions-of-interest was extracted from each MRI scan and combined with lesion size, initial severity and recovery time in a 2D Residual Neural Network. Our findings demonstrate how imaging and tabular data can be combined for high post-stroke classification accuracy, even when the dataset is small in machine learning terms.

feature selection Stroke Classification

Proceedings 39th International Conference on Logic Programming

no code implementations28 Aug 2023 Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni

This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023.

Ethics

A Semantic Framework for Neural-Symbolic Computing

no code implementations22 Dec 2022 Simon Odense, Artur d'Avila Garcez

The field of neural-symbolic AI attempts to exploit this asymmetry by combining neural networks and symbolic AI into integrated systems.

Neural-Symbolic Integration for Interactive Learning and Conceptual Grounding

no code implementations22 Dec 2021 Benedikt Wagner, Artur d'Avila Garcez

We propose neural-symbolic integration for abstract concept explanation and interactive learning.

Decision Making

Logical Boltzmann Machines

no code implementations10 Dec 2021 Son N. Tran, Artur d'Avila Garcez

The idea of representing symbolic knowledge in connectionist systems has been a long-standing endeavour which has attracted much attention recently with the objective of combining machine learning and scalable sound reasoning.

Inductive logic programming

Synthetic Data Generation for Fraud Detection using GANs

no code implementations26 Sep 2021 Charitos Charitou, Simo Dragicevic, Artur d'Avila Garcez

Detecting money laundering in gambling is becoming increasingly challenging for the gambling industry as consumers migrate to online channels.

Fraud Detection Synthetic Data Generation

Counterfactual Instances Explain Little

no code implementations20 Sep 2021 Adam White, Artur d'Avila Garcez

We will further illustrate how explainable AI methods that provide both causal equations and counterfactual instances can successfully explain machine learning predictions.

BIG-bench Machine Learning counterfactual +1

Logic Tensor Networks

1 code implementation25 Dec 2020 Samy Badreddine, Artur d'Avila Garcez, Luciano Serafini, Michael Spranger

In this paper, we present Logic Tensor Networks (LTN), a neurosymbolic formalism and computational model that supports learning and reasoning through the introduction of a many-valued, end-to-end differentiable first-order logic called Real Logic as a representation language for deep learning.

Clustering Multi-Label Classification +2

Neurosymbolic AI: The 3rd Wave

no code implementations10 Dec 2020 Artur d'Avila Garcez, Luis C. Lamb

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry.

Logical Reasoning

On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision

no code implementations13 Nov 2020 Harald Strömfelt, Luke Dickens, Artur d'Avila Garcez, Alessandra Russo

We propose a new model for relational VAE semi-supervision capable of balancing disentanglement and low complexity modelling of relations with different symbolic properties.

Disentanglement Transfer Learning

Layerwise Knowledge Extraction from Deep Convolutional Networks

no code implementations19 Mar 2020 Simon Odense, Artur d'Avila Garcez

We apply this method to a variety of deep networks and find that in the internal layers we often cannot find rules with a satisfactory complexity and accuracy, suggesting that rule extraction as a general purpose method for explaining the internal logic of a neural network may be impossible.

Making Good on LSTMs' Unfulfilled Promise

no code implementations11 Nov 2019 Daniel Philps, Artur d'Avila Garcez, Tillman Weyde

We examine an alternative called Continual Learning (CL), a memory-augmented approach, which can provide transparent explanations, i. e. which memory did what and when.

Continual Learning Decision Making +5

Efficient predicate invention using shared "NeMuS"

no code implementations15 Jun 2019 Edjard Mota, Jacob M. Howe, Ana Schramm, Artur d'Avila Garcez

Amao is a cognitive agent framework that tackles the invention of predicates with a different strategy as compared to recent advances in Inductive Logic Programming (ILP) approaches like Meta-Intepretive Learning (MIL) technique.

Inductive logic programming

Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning

no code implementations15 May 2019 Artur d'Avila Garcez, Marco Gori, Luis C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran

In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound and explainable models for such systems.

BIG-bench Machine Learning Explainable Models

Characterizing the Accuracy/Complexity Landscape of Explanations of Deep Networks through Knowledge Extraction

no code implementations ICLR 2019 Simon Odense, Artur d'Avila Garcez

In this paper we examine this question systematically by proposing a knowledge extraction method using \textit{M-of-N} rules which allows us to map the complexity/accuracy landscape of rules describing hidden features in a Convolutional Neural Network (CNN).

Continual Learning Augmented Investment Decisions

no code implementations6 Dec 2018 Daniel Philps, Tillman Weyde, Artur d'Avila Garcez, Roy Batchelor

Investment decisions can benefit from incorporating an accumulated knowledge of the past to drive future decision making.

Continual Learning Decision Making +1

Towards Symbolic Reinforcement Learning with Common Sense

1 code implementation23 Apr 2018 Artur d'Avila Garcez, Aimore Resende Riquetti Dutra, Eduardo Alonso

Deep Reinforcement Learning (deep RL) has made several breakthroughs in recent years in applications ranging from complex control tasks in unmanned vehicles to game playing.

Common Sense Reasoning Q-Learning +3

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation

no code implementations10 Nov 2017 Tarek R. Besold, Artur d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro Domingos, Pascal Hitzler, Kai-Uwe Kuehnberger, Luis C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

Recent studies in cognitive science, artificial intelligence, and psychology have produced a number of cognitive models of reasoning, learning, and language that are underpinned by computation.

Philosophy

Logic Tensor Networks for Semantic Image Interpretation

1 code implementation24 May 2017 Ivan Donadello, Luciano Serafini, Artur d'Avila Garcez

Logic Tensor Networks (LTNs) are an SRL framework which integrates neural networks with first-order fuzzy logic to allow (i) efficient learning from noisy data in the presence of logical constraints, and (ii) reasoning with logical formulas describing general properties of the data.

Relational Reasoning Tensor Networks

Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

no code implementations18 Jan 2017 Tarek R. Besold, Artur d'Avila Garcez, Keith Stenning, Leendert van der Torre, Michiel van Lambalgen

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means); and to provide evidence that logic-based methods can well support reasoning with uncertainty.

Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

2 code implementations14 Jun 2016 Luciano Serafini, Artur d'Avila Garcez

We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning.

Logical Reasoning Tensor Networks

Generalising the Discriminative Restricted Boltzmann Machine

no code implementations6 Apr 2016 Srikanth Cherla, Son N. Tran, Tillman Weyde, Artur d'Avila Garcez

Results show that each of the three compared models outperforms the remaining two in one of the three datasets, thus indicating that the proposed theoretical generalisation of the DRBM may be valuable in practice.

Document Classification General Classification

Adaptive Feature Ranking for Unsupervised Transfer Learning

no code implementations21 Dec 2013 Son N. Tran, Artur d'Avila Garcez

Transfer Learning is concerned with the application of knowledge gained from solving a problem to a different but related problem domain.

Transfer Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.