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

09/17/2021
by   Laura Giordano, et al.
0

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. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/02/2022

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

Weighted knowledge bases for description logics with typicality have bee...
research
03/08/2023

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

Weighted knowledge bases for description logics with typicality under a ...
research
12/24/2020

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

In this paper we investigate the relationships between a multipreferenti...
research
10/07/2021

From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics

A fuzzy multipreference semantics has been recently proposed for weighte...
research
04/29/2023

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

In this paper we investigate the relationships between a multipreferenti...
research
08/08/2016

ASP for Minimal Entailment in a Rational Extension of SROEL

In this paper we exploit Answer Set Programming (ASP) for reasoning in a...
research
07/10/2021

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

In this paper we discuss the relationships between conditional and prefe...

Please sign up or login with your details

Forgot password? Click here to reset