A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
From MaRDI portal
Logic programming (68N17) Logic in artificial intelligence (68T27) Computational methods for problems pertaining to biology (92-08) Mathematical modeling or simulation for problems pertaining to biology (92-10) Neural networks for/in biological studies, artificial life and related topics (92B20) Neural biology (92C20) Medical applications (general) (92C50)
Abstract: 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.
Recommendations
- An evolutionary system for neural logic networks using genetic programming and indirect encoding
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
- scientific article; zbMATH DE number 1943844
- The complexity and generality of learning answer set programs
- Learning Boolean logic models of signaling networks with ASP
Cites work
- A model building framework for answer set programming with external computations
- A tutorial on hybrid answer set solving with \textit{clingo}
- Computing minimal models, stable models and answer sets
- Constraint answer set programming without grounding
- Constraint answer set solver EZCSP and why integration schemas matter
- Deep learning
- Detecting inconsistencies in large biological networks with answer set programming
- Evaluation of disjunctive programs in WASP
- Experimenting with recursive queries in database and logic programming systems
- External sources of knowledge and value invention in logic programming
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 25192 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 1392848 (Why is no real title available?)
- Inferring phylogenetic trees using answer set programming
- Integrating answer set programming and constraint logic programming
- Iterative learning of answer set programs from context dependent examples
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Learning weak constraints in answer set programming
- Logic Programming
- Logic programming and knowledge representation---The A-Prolog perspective
- Logic programs with stable model semantics as a constraint programming paradigm
- Logics in Artificial Intelligence
- Multi-shot ASP solving with clingo
- Nonlinear analysis of electroencephalogram and magnetoencephalogram recordings in patients with Alzheimer's disease
- On relation between constraint answer set programming and satisfiability modulo theories
- On structural analysis of non-ground answer-set programs
- Parameterised verification for multi-agent systems
- Satisfiability modulo theories
- Taming primary key violations to query large inconsistent data via ASP
- The 2013 evaluation of SMT-COMP and SMT-LIB
- The design of the Seventh Answer Set Programming Competition
- The Sixth Answer Set Programming Competition
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
Describes a project that uses
Uses Software
This page was built for publication: A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957216)
