| Autor: |
Ribeiro, Jandson S., Thimm, Matthias |
| Předmět: |
|
| Zdroj: |
Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Nov2023, Vol. 10 Issue 5, p643-691, 49p |
| Abstrakt: |
We introduce a novel approach to measure inconsistency in knowledge bases that is based on the Tableau Method and derivations of contradictions from a knowledge base. This approach is purely syntactic and differs from previous approaches by neither taking minimal inconsistent sets nor non-classical semantics into account. We develop three concrete measures that take derivations of contradictions into account and investigate their compliance w. r. t. rationality postulates, expressivity, and computational complexity. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
