Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
From MaRDI portal
Publication:677077
DOI10.1023/A:1004987830832zbMath0867.68100OpenAlexW1602390698MaRDI QIDQ677077
Salem Benferhat, Henri Prade, Dubois, Didier
Publication date: 31 March 1997
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004987830832
Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Other applications of logic (03B80)
Related Items
An adaptive logic based on Jaśkowski's approach to paraconsistency ⋮ A split-combination approach to merging knowledge bases in possibilistic logic ⋮ Active logic semantics for a single agent in a static world ⋮ Qualitative capacities: basic notions and potential applications ⋮ Possibilistic logic: a retrospective and prospective view ⋮ ``Platonic thought experiments: how on earth? ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Logical limits of abstract argumentation frameworks ⋮ The inapplicability of (selected) paraconsistent logics ⋮ Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Simple contrapositive assumption-based argumentation frameworks ⋮ A postulate-driven study of logical argumentation ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ A capacity-based semantics for inconsistency-tolerant inferences ⋮ Assertional Removed Sets Merging of DL-Lite Knowledge Bases ⋮ Lost in translation: language independence in propositional logic -- application to belief change ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Logic based merging ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Disjunctive merging: quota and Gmin merging operators ⋮ Query answering DL-lite knowledge bases from hidden datasets ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Adaptive Proofs for Networks of Partial Structures ⋮ A computationally grounded logic of graded belief ⋮ Majority merging by adaptive counting ⋮ Yes fellows, most human reasoning is complex ⋮ Belief base merging as a game ⋮ Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case ⋮ The theory of the process of explanation generalized to include the inconsistent case ⋮ $$\exists $$ -ASP for Computing Repairs with Existential Ontologies ⋮ Getting the most out of inconsistency ⋮ Policy-based inconsistency management in relational databases ⋮ \(\text{DA}^2\) merging operators
