Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach
| Autor: | Daniele Theseider Dupré, Laura Giordano |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Theoretical computer science I.2.4 Basis (linear algebra) Semantics (computer science) Computer science Computer Science - Artificial Intelligence Perceptron Logical consequence Fuzzy logic Logic in Computer Science (cs.LO) Artificial Intelligence (cs.AI) Description logic Encoding (memory) Integer (computer science) |
| Popis: | 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. In Proceedings ICLP 2021, arXiv:2109.07914. arXiv admin note: text overlap with arXiv:2012.13421 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|