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

03/08/2023
by   Mario Alviano, et al.
0

Weighted knowledge bases for description logics with typicality under a "concept-wise” multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In this context, Answer Set Programming (ASP) has been shown to be suitable for addressing defeasible reasoning in the finitely many-valued case, providing a Π^p_2 upper bound on the complexity of the problem, nonetheless leaving unknown the exact complexity and only providing a proof-of-concept implementation. This paper fulfils the lack by providing a P^NP[log]-completeness result and new ASP encodings that deal with weighted knowledge bases with large search spaces.

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
09/17/2021

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

Weighted knowledge bases for description logics with typicality have bee...
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
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
06/08/2020

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

In this paper we develop a concept aware multi-preferential semantics fo...
research
06/19/2013

Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information

The broader goal of our research is to formulate answers to why and how ...
research
02/11/2022

On the computation of Gröbner bases for matrix-weighted homogeneous systems

In this paper, we examine the structure of systems that are weighted hom...

Please sign up or login with your details

Forgot password? Click here to reset