Argumentative logics: Reasoning with classically inconsistent information

DOI10.1016/0169-023X(95)00013-IMaRDI QIDQ3122520zbMATH OpenOpenAlexFDO

Authors Morten Elvang-Gøransson, Anthony Hunter

Publication date 28 February 1997

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0169-023x(95)00013-i

zbMATH Keywords

Acceptability of inferencesArgumentationDefeasible informationInconsistent informationNon-classical logicsNonmonotonic reasoningParaconsistent logicsUncertain information

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other nonclassical logic (03B60) Other applications of logic (03B80) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Reasoning with contradictory information using quasi-classical logic
• A logic for reasoning with inconsistent knowledge
• An informational view of classical logic
• A logic for reasoning with inconsistency
• scientific article; zbMATH DE number 1852916
• Reasoning with maximal consistency by argumentative approaches
• Argumentation Semantics for Defeasible Logic

Cited in

(26)

• On the merging of Dung's argumentation systems
• An application of formal argumentation: fusing Bayesian networks in multi-agent systems
• Classical logic, argument and dialectic
• Inferring from inconsistency in preference-based argumentation frameworks
• Minimal hypotheses: extension-based semantics to argumentation
• What can argumentation do for inconsistent ontology query answering?
• Paraconsistent inference from data using existential \(\Omega \)-entailment
• Enthymematic classical recapture
• Handling controversial arguments
• scientific article; zbMATH DE number 4137751 (Why is no real title available?)
• An Algorithm for Generating Arguments in Classical Predicate Logic
• scientific article; zbMATH DE number 1269573 (Why is no real title available?)
• scientific article; zbMATH DE number 1269574 (Why is no real title available?)
• Approximate coherence-based reasoning
• A rational account of classical logic argumentation for real-world agents
• Postulates for logic-based argumentation systems
• Sceptical and credulous approach to deductive argumentation
• An argumentation system for reasoning with LPm
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
• Standard and nonstandard logics of argumentation. I
• A logic-based theory of deductive arguments
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• Argumentation and inconsistency-tolerant reasoning
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• An informational view of classical logic
• An argumentation framework for merging conflicting knowledge bases

This page was built for publication: Argumentative logics: Reasoning with classically inconsistent information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3122520)