Search Results for author: Daniele Theseider Dupré

Found 15 papers, 1 papers with code

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

no code implementations29 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.

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality

1 code implementation8 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.

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation

no code implementations14 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.

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

no code implementations2 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).

Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach

no code implementations17 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.

Reasoning about actions with EL ontologies with temporal answer sets

no code implementations18 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.

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview

no code implementations10 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.

Common Sense Reasoning

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps

no code implementations11 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.

Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

no code implementations24 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.

A framework for a modular multi-concept lexicographic closure semantics

no code implementations2 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.

On a plausible concept-wise multipreference semantics and its relations with self-organising maps

no code implementations30 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.

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

no code implementations8 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.

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

no code implementations23 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.

Negation

ASP for Minimal Entailment in a Rational Extension of SROEL

no code implementations8 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.