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.

翻译：本文研究了知识表示中用于可废止推理的多优先语义与多层神经网络模型之间的关系。在（多值）“概念-wise”多优先语义下，考虑了带有典型性的简单描述逻辑的加权知识库。该语义用于为多层感知机（MLPs）提供一种优先解释。在验证MLPs的条件性质时，采用了基于模型检验和基于蕴涵的方法。