A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

10/21/2019
by   Francesco Calimeri, et al.
0

Deductive formalisms have been strongly developed in recent years; among them, Answer Set Programming (ASP) gained some momentum, and has been lately fruitfully employed in many real-world scenarios. Nonetheless, in spite of a large number of success stories in relevant application areas, and even in industrial contexts, deductive reasoning cannot be considered the ultimate, comprehensive solution to AI; indeed, in several contexts, other approaches result to be more useful. Typical Bioinformatics tasks, for instance classification, are currently carried out mostly by Machine Learning (ML) based solutions. In this paper, we focus on the relatively new problem of analyzing the evolution of neurological disorders. In this context, ML approaches already demonstrated to be a viable solution for classification tasks; here, we show how ASP can play a relevant role in the brain evolution simulation task. In particular, we propose a general and extensible framework to support physicians and researchers at understanding the complex mechanisms underlying neurological disorders. The framework relies on a combined use of ML and ASP, and is general enough to be applied in several other application scenarios, which are outlined in the paper.

READ FULL TEXT

page 35

page 36

research
07/21/2017

A Framework for Easing the Development of Applications Embedding Answer Set Programming

Answer Set Programming (ASP) is a well-established declarative problem s...
research
08/30/2023

Explainable Answer-set Programming

The interest in explainability in artificial intelligence (AI) is growin...
research
12/22/2016

Counting Answer Sets via Dynamic Programming

While the solution counting problem for propositional satisfiability (#S...
research
08/06/2021

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Dealing with context dependent knowledge has led to different formalizat...
research
01/08/2013

Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new chal...
research
12/18/2013

Generative NeuroEvolution for Deep Learning

An important goal for the machine learning (ML) community is to create a...
research
04/26/2018

Experimenting with robotic intra-logistics domains

We introduce the asprilo [1] framework to facilitate experimental studie...

Please sign up or login with your details

Forgot password? Click here to reset