no code implementations • 6 Sep 2024 • Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we propose a many-valued temporal conditional logic.
no code implementations • 29 Apr 2023 • Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model.
1 code implementation • 8 Mar 2023 • Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons.
no code implementations • 14 Dec 2022 • Mario Alviano, Laura Giordano, Daniele Theseider Dupré
In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics.
no code implementations • 2 Feb 2022 • Laura Giordano, Daniele Theseider Dupré
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).
no code implementations • 17 Sep 2021 • Laura Giordano, Daniele Theseider Dupré
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.
no code implementations • 18 Jul 2021 • Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot.
no code implementations • 10 Jul 2021 • Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics.
no code implementations • 11 Mar 2021 • Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based on a concept-wise multipreference semantics, which takes into account preferences with respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics.
no code implementations • 24 Dec 2020 • Laura Giordano, Daniele Theseider Dupré
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model.
no code implementations • 2 Sep 2020 • Laura Giordano, Daniele Theseider Dupré
The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics.
no code implementations • 30 Aug 2020 • Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation.
no code implementations • 8 Jun 2020 • Laura Giordano, Daniele Theseider Dupré
In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions.
no code implementations • 23 Mar 2018 • Laura Giordano, Daniele Theseider Dupré
In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language.
no code implementations • 8 Aug 2016 • Laura Giordano, Daniele Theseider Dupré
In this paper we exploit Answer Set Programming (ASP) for reasoning in a rational extension SROEL-R-T of the low complexity description logic SROEL, which underlies the OWL EL ontology language.