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

ArgumentationNonmonotonic reasoningUncertain informationNon-classical logicsAcceptability of inferencesDefeasible informationInconsistent informationParaconsistent logics

Mathematics Subject Classification ID

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

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

(23)

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

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)