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

Mario Alviano,Francesco Bartoli,Marco Botta,Roberto Esposito,Laura Giordano,Daniele Theseider Dupré
2023-09-20
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.
Artificial Intelligence,Logic in Computer Science,Neural and Evolutionary Computing
What problem does this paper attempt to address?