Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group

DOI10.1016/J.IJAR.2024.109206zbMATH Open1543.68363MaRDI QIDQ6577680

Jérôme Mengin, T. Denœux, Christel Vrain, Antoine Cornuéjols, Joao Marques-Silva, Steven Schockaert, Ismaïl Baaj, S. Destercke, Mathieu Serrurier, Didier Dubois, O. Strauss, Marie-Jeanne Lesot, Henri Prade, Zied Bouraoui

Publication date: 24 July 2024

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

uncertaintyaccountabilitybackground knowledgeexplainabilityrule-based modelsneurosymbolic AI

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30)

Cites Work

• MaLeCoP Machine Learning Connection Prover
• ParamILS: An Automatic Algorithm Configuration Framework
• SATenstein: automatically building local search SAT solvers from components
• TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure
• CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
• Fuzzy identification of systems and its applications to modeling and control
• On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
• Learning Certifiably Optimal Rule Lists for Categorical Data
• Building classification trees using the total uncertainty criterion
• Learning the parts of objects by non-negative matrix factorization
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• Nonmonotonic reasoning, preferential models and cumulative logics
• Ignorability and coarse data
• Interdependence and Additivity in Multivariate, Unidimensional Expected Utility Theory
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• Queries and concept learning
• Paraconsistent logic: consistency, contradiction and negation
• On random sets and belief functions
• Conditional independence in valuation-based systems
• Evidential calibration of binary SVM classifiers
• Prediction of future observations using belief functions: a likelihood-based approach
• Algorithm runtime prediction: methods \& evaluation
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• Possibility theory and statistical reasoning
• On the transformation between possibilistic logic bases and possibilistic causal networks
• Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces
• Probabilistic inductive logic programming. Theory and applications
• Fuzzy rough sets and multiple-premise gradual decision rules
• Markov logic networks
• A theory of the learnable
• An experiment in linguistic synthesis with a fuzzy logic controller
• Resolution of composite fuzzy relation equations
• Data Mining and Knowledge Discovery Handbook
• A decade of application of the Choquet and Sugeno integrals in multi-criteria decision aid
• Updating beliefs with incomplete observations
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
• Bridging logic and kernel machines
• Learning from imprecise and fuzzy observations: data disambiguation through generalized loss minimization
• Bayesian Networks with Imprecise Probabilities: Theory and Application to Classification
• Preference Learning
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Constructing optimal binary decision trees is NP-complete
• Possibility theory and formal concept analysis: characterizing independent sub-contexts
• Three approaches to data analysis. Test theory, rough sets and logical analysis of data.
• Open-WBO: A Modular MaxSAT Solver,
• Logical analysis of data: classification with justification
• Credal networks
• Constrained clustering by constraint programming
• Graphical models for imprecise probabilities
• Logical and Relational Learning
• Mechanizing hypothesis formation. Mathematical foundations for a general theory
• Conformal Prediction: A Gentle Introduction
• An approach for on-line extraction of fuzzy rules using a self-organising fuzzy neural network
• Inductive Logic Programming: Theory and methods
• Is combining classifiers with stacking better than selecting the best one?
• Propositionalization-based relational subgroup discovery with RSD
• What are fuzzy rules and how to use them
• On the granularity of summative kernels
• Axiomatic characterization of a general utility function and its particular cases in terms of conjoint measurement and rough-set decision rules
• Upper Probabilities Based Only on the Likelihood Function
• Comparing probability measures using possibility theory: a notion of relative peakedness
• Inductive Logic Programming
• Inference in possibilistic network classifiers under uncertain observations
• Knowledge-based artificial neural networks
• The logical encoding of Sugeno integrals
• An informational distance for estimating the faithfulness of a possibility distribution, viewed as a family of probability distributions, with respect to data
• A general framework for explaining the results of a multi-attribute preference model
• Learning-assisted theorem proving with millions of lemmas
• Evidential reasoning in large partially ordered sets. Application to multi-label classification, ensemble clustering and preference aggregation
• Analogy-based classifiers for nominal or numerical data
• From analogical proportion to logical proportions
• Qualitative methods for reasoning under uncertainty
• Enriching interactive explanations with fuzzy temporal constraint networks
• Semirings for probabilistic and neuro-symbolic logic programming
• A review on declarative approaches for constrained clustering
• Reprint of: Some thoughts about transfer learning. What role for the source domain?
• Quantified neural Markov logic networks
• Explaining answers generated by knowledge graph embeddings
• A statistical approach to learning constraints
• Towards an effective practice of learning from data and knowledge
• Learning decision catalogues for situated decision making: the case of scoring systems
• Revisiting analogical proportions and analogical inference
• MacSum aggregation learning and missing values
• Macsum aggregation learning
• A glance at causality theories for artificial intelligence
• Designing algorithms for machine learning and data mining
• Formal concept analysis: from knowledge discovery to knowledge processing
• An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings
• Mining top-\(k\) motifs with a SAT-based framework
• Constraint acquisition
• Constrained Clustering Using Column Generation
• Core concepts in data analysis. Summarization, correlation and visualization.
• The multilabel naive credal classifier
• Inference in directed evidential networks based on the transferable belief model
• Neural-Symbolic Cognitive Reasoning
• On Tackling Explanation Redundancy in Decision Trees
• Graph-based knowledge representation. Computational foundations of conceptual graphs
• Learning a distance metric from relative comparisons between quadruplets of images
• Analogical proportions: from equality to inequality
• Physics-informed neural networks: a deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations
• Learning Rate Based Branching Heuristic for SAT Solvers
• Ultra-strong machine learning: comprehensibility of programs learned with ILP
• Explanation in artificial intelligence: insights from the social sciences
• The possibilistic handling of irrelevance in exception-tolerant reasoning
• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• A SAT-based approach to learn explainable decision sets
• Statistical Analysis with Missing Data, Third Edition
• Learning and Reasoning with Logic Tensor Networks
• Learning decision trees with flexible constraints and objectives using integer optimization
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Assessing heuristic machine learning explanations with model counting
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
• Deep Network Guided Proof Search
• Formal specification for deep neural networks
• Symbolic knowledge extraction from trained neural networks: A sound approach
• Connectionist modal logic: representing modalities in neural networks
• Reasoning with fuzzy and uncertain evidence using epistemic random fuzzy sets: general framework and practical models
• Representation of explanations of possibilistic inference decisions
• Introducing possibilistic logic in ILP for dealing with exceptions
• A general framework for maximizing likelihood under incomplete data
• Default and Inexact Reasoning with Possibility Degrees
• Symbolic and quantitative approaches to uncertainty. European conference ESQUAU, Marseille, France, October 15-17, 1991. Proceedings
• Belief functions and rough sets: survey and new insights
• Belief functions induced by random fuzzy sets: a general framework for representing uncertain and fuzzy evidence
• Belief Revision and the EM Algorithm
• Causal inference in statistics. A primer
• Machine learning-based restart policy for CDCL SAT solvers
• Introduction to logical information systems
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• Multiple-valued extensions of analogical proportions
• Frequency-calibrated belief functions: review and new insights
• Machine learning models, epistemic set-valued data and generalized loss functions: an encompassing approach
• Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
• Prefix-projection global constraint and top-\(k\) approach for sequential pattern mining
• Three-way granular computing, rough sets, and formal concept analysis
• Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence
• Elicitating Sugeno Integrals: Methodology and a Case Study
• Extract intelligible and concise fuzzy rules from neural networks
• A BIG-STEPPED PROBABILITY APPROACH FOR DISCOVERING DEFAULT RULES
• Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
• Aleatoric and epistemic uncertainty in machine learning: an introduction to concepts and methods
• Learning Explanatory Rules from Noisy Data
• A Survey on the Explainability of Supervised Machine Learning
• Knowledge graphs as tools for explainable machine learning: a survey
• A new evidential \(K\)-nearest neighbor rule based on contextual discounting with partially supervised learning
• A Guided Tour of Artificial Intelligence Research
• Parametric classification with soft labels using the evidential EM algorithm: linear discriminant analysis versus logistic regression
• A taxonomy of weight learning methods for statistical relational learning
• Guiding high-performance SAT solvers with unsat-core predictions
• A Guided Tour of Artificial Intelligence Research
• Explaining robust additive utility models by sequences of preference swaps
• Maximum Likelihood Estimation and Coarse Data
• Some Relationships Between Fuzzy Sets, Mathematical Morphology, Rough Sets, F-Transforms, and Formal Concept Analysis
• Connectionist computations of intuitionistic reasoning
• Realizing RCC8 networks using convex regions
• A framework for deep constrained clustering
• Macsum: a new interval-valued linear operator
• Learning Constraint Satisfaction Problems: An ILP Perspective
• From Possibilistic Rule-Based Systems to Machine Learning - A Discussion Paper
• On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
• Learning constraints through partial queries
• Extracting Decision Rules from Qualitative Data via Sugeno Utility Functionals
• From statistical relational to neurosymbolic artificial intelligence: a survey
• Uncertainty quantification in logistic regression using random fuzzy sets and belief functions
• Representations of uncertainty in artificial intelligence: probability and possibility
• Representations of uncertainty in AI: beyond probability and possibility
• Machine learning and information theory concepts towards an AI mathematician
• Analogy-based classifiers: an improved algorithm exploiting competent data pairs
• Efficient computation of counterfactual bounds
• On the failings of Shapley values for explainability
• \(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements

This page was built for publication: Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6577680)