mlsanityData to 7 Oct 2026

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

arXiv 2202.01123 ↗First posted 2 Feb 2022cs.AIcited by 4

Not on the map. Why?

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.

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

Builds on

11 of 54 references.

References · 11

  1. 2019Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AIcited by 1,543
  2. 2018A Survey Of Methods For Explaining Black Box Modelscited by 970
  3. 2020Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspectivecited by 93
  4. 2020Interpreting Neural Networks as Gradual Argumentation Frameworks (Including Proof Appendix)cited by 38
  5. 2020An ASP approach for reasoning in a concept-aware multipreferential lightweight DLcited by 12
  6. 2020Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network modelcited by 11
  7. 2021A conditional, a fuzzy and a probabilistic interpretation of self-organising mapscited by 6
  8. 2021On the KLM properties of a fuzzy DL with Typicalitycited by 6
  9. 2020On a plausible concept-wise multipreference semantics and its relations with self-organising mapscited by 5
  10. 2021Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approachcited by 2
  11. 2021From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Backcited by 1

Built on by

Cited by year

Citing papers per year: 2022: 1; 2023: 2; 2024: 0; 2025: 1.

4 papers.

  1. 2023Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicalitycited by 2
  2. 2022Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentationcited by 1
  3. 2023A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicalitycited by 1
  4. 2025Improving ASP-based ORS Schedules through Machine Learning Predictionscited by 0