Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back
A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after trainin…
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 been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics …
A Regression Tsetlin Machine with Integer Weighted Clauses for Compact Pattern Representation
The Regression Tsetlin Machine (RTM) addresses the lack of interpretability impeding state-of-the-art nonlinear regression models. It does this by using conjunctive clauses in propositional logic to capture the underlyin…
regressionUnityCost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
In this paper, we explore a quantitative approach to querying inconsistent description logic knowledge bases. We consider weighted knowledge bases in which both axioms and assertions have (possibly infinite) weights, whi…
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
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 descr…