A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
Not on the map. Why?
Abstract (arXiv)
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model. Weighted knowledge bases for a simple description logic with typicality are considered under a (many-valued) ``concept-wise" multipreference semantics. The semantics is used to provide a preferential interpretation of MultiLayer Perceptrons (MLPs). A model checking and an entailment based approach are exploited in the verification of conditional properties of MLPs.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 17 of its 112 references that are in the map. First posted on arXiv 29 Apr 2023.
Builds on
17 of 112 references.
References · 17
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
- 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 149
- 2020Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspectivecited by 93
- 2021GLocalX -- From Local to Global Explanations of Black Box AI Modelscited by 48
- 2018Ontology Reasoning with Deep Neural Networkscited by 40
- 2020An ASP approach for reasoning in a concept-aware multipreferential lightweight DLcited by 12
- 2020Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network modelcited by 11
- 2018A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_bot under Rational Closurecited by 8
- 2018On Rational Entailment for Propositional Typicality Logiccited by 7
- 2021A conditional, a fuzzy and a probabilistic interpretation of self-organising mapscited by 6
- 2021On the KLM properties of a fuzzy DL with Typicalitycited by 6
- 2020A framework for a modular multi-concept lexicographic closure semanticscited by 5
5 more
- 2021Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measurescited by 4
- 2022An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge basescited by 4
- 2014The Complexity of Circumscription in DLscited by 3
- 2021Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approachcited by 2
- 2023Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicalitycited by 2
Built on by
Citing papers per year: 2025: 1.
1 paper.