# An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases

arXiv: https://arxiv.org/abs/2202.01123 · HTML: https://mlsanity.com/paper/2202.01123/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- Builds on 11 of its 54 references that are in the map.
- First posted on arXiv 2 Feb 2022.

## Builds on (most cited first, 11 of 11)

- [Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI](https://mlsanity.com/paper/1910.10045/) (2019)
- [A Survey Of Methods For Explaining Black Box Models](https://mlsanity.com/paper/1802.01933/) (2018)
- [Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective](https://mlsanity.com/paper/2003.00330/) (2020)
- [Interpreting Neural Networks as Gradual Argumentation Frameworks (Including Proof Appendix)](https://mlsanity.com/paper/2012.05738/) (2020)
- [An ASP approach for reasoning in a concept-aware multipreferential lightweight DL](https://mlsanity.com/paper/2006.04387/) (2020)
- [Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model](https://mlsanity.com/paper/2012.13421/) (2020)
- [A conditional, a fuzzy and a probabilistic interpretation of self-organising maps](https://mlsanity.com/paper/2103.06854/) (2021)
- [On the KLM properties of a fuzzy DL with Typicality](https://mlsanity.com/paper/2106.00390/) (2021)
- [On a plausible concept-wise multipreference semantics and its relations with self-organising maps](https://mlsanity.com/paper/2008.13278/) (2020)
- [Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach](https://mlsanity.com/paper/2109.08286/) (2021)
- [From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back](https://mlsanity.com/paper/2110.03643/) (2021)

## Built on by (most cited first, 4 of 4)

- [Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality](https://mlsanity.com/paper/2303.04534/) (2023)
- [Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation](https://mlsanity.com/paper/2212.07523/) (2022)
- [A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality](https://mlsanity.com/paper/2305.00304/) (2023)
- [Improving ASP-based ORS Schedules through Machine Learning Predictions](https://mlsanity.com/paper/2507.16454/) (2025)

## Abstract (arXiv)

Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of MultiLayer Perceptrons (MLPs). In this paper we consider weighted conditional ALC knowledge bases with typicality in the finitely many-valued case, through three different semantic constructions. For the boolean fragment LC of ALC we exploit ASP and "asprin" for reasoning with the concept-wise multipreference entailment under a phi-coherent semantics, suitable to characterize the stationary states of MLPs. As a proof of concept, we experiment the proposed approach for checking properties of trained MLPs. The paper is under consideration for acceptance in TPLP.