A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

• URL: http://arxiv.org/abs/2305.00304v3
• Date: Tue, 19 Sep 2023 16:45:36 GMT
• Title: A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
• Authors: Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupr\'e
• Abstract summary: 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 ofLayers.
• Score: 2.3103579794296736
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: 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.

Related papers

• P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains [97.25943550933829]
  We present P-FOLIO, a human-annotated dataset consisting of diverse and complex reasoning chains. We use P-FOLIO to evaluate and improve large-language-model (LLM) reasoning capabilities.
  arXiv  Detail & Related papers  (2024-10-11T19:22:57Z)
• A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
  'Inferentialism' is the view that meaning is given in terms of inferential behaviour. This paper shows how 'inferentialism' enables a versatile and expressive framework for resource semantics.
  arXiv  Detail & Related papers  (2024-05-10T14:13:21Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  This approach allows for the computer-assisted analysis of abstract dialectical frameworks. Exemplary applications include the formal analysis and verification of meta-theoretical properties.
  arXiv  Detail & Related papers  (2023-12-08T09:32:26Z)
• Synergies between Disentanglement and Sparsity: Generalization and Identifiability in Multi-Task Learning [79.83792914684985]
  We prove a new identifiability result that provides conditions under which maximally sparse base-predictors yield disentangled representations. Motivated by this theoretical result, we propose a practical approach to learn disentangled representations based on a sparsity-promoting bi-level optimization problem.
  arXiv  Detail & Related papers  (2022-11-26T21:02:09Z)
• Guiding the PLMs with Semantic Anchors as Intermediate Supervision: Towards Interpretable Semantic Parsing [57.11806632758607]
  We propose to incorporate the current pretrained language models with a hierarchical decoder network. By taking the first-principle structures as the semantic anchors, we propose two novel intermediate supervision tasks. We conduct intensive experiments on several semantic parsing benchmarks and demonstrate that our approach can consistently outperform the baselines.
  arXiv  Detail & Related papers  (2022-10-04T07:27:29Z)
• An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases [0.0]
  We consider conditional ALC knowledge bases with typicality in the finitely many-valued case. We exploit ASP and "asprin" for reasoning with the concept-wise multipreferences.
  arXiv  Detail & Related papers  (2022-02-02T16:30:28Z)
• From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics [0.0]
  A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases and used to develop a logical semantics for Multilayer Perceptrons. This semantics suggests some gradual argumentation semantics, which are related to the family of the gradual semantics.
  arXiv  Detail & Related papers  (2021-10-07T17:33:10Z)
• From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview [0.0]
  We discuss the relationships between conditional and preferential logics and neural network models. We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics. The paper describes the general approach, through the cases of Self-Organising Maps and Multilayer Perceptrons.
  arXiv  Detail & Related papers  (2021-07-10T16:25:19Z)
• Intersection Regularization for Extracting Semantic Attributes [72.53481390411173]
  We consider the problem of supervised classification, such that the features that the network extracts match an unseen set of semantic attributes. For example, when learning to classify images of birds into species, we would like to observe the emergence of features that zoologists use to classify birds. We propose training a neural network with discrete top-level activations, which is followed by a multi-layered perceptron (MLP) and a parallel decision tree.
  arXiv  Detail & Related papers  (2021-03-22T14:32:44Z)
• Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model [0.0]
  We investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model. Weighted knowledge bases for description logics are considered under a "concept-wise" multipreference semantics.
  arXiv  Detail & Related papers  (2020-12-24T19:04:51Z)
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL [0.0]
  We develop a concept aware multi-preferential semantics for dealing with typicality in description logics. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences.
  arXiv  Detail & Related papers  (2020-06-08T07:15:38Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.