A mathematical treatment of defeasible reasoning and its implementation.

DOI10.1016/0004-3702(92)90069-AzbMATH Open1193.68238MaRDI QIDQ989158FDOQ989158

Authors: Guillermo R. Simari, Ronald P. Loui 

Publication date: 27 August 2010

Published in: Artificial Intelligence (Search for Journal in Brave)

Recommendations

• Methods and Applications of Artificial Intelligence
• Defeasible reasoning: A discussion of some intuitions
• A modal logic of defeasible reasoning
• scientific article; zbMATH DE number 1301973
• scientific article; zbMATH DE number 1269578
• Representation results for defeasible logic
• An argumentation system for defeasible reasoning
• scientific article; zbMATH DE number 1292296

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• A mathematical treatment of defeasible reasoning and its implementation.
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logic for default reasoning
• A skeptical theory of inheritance in nonmonotonic semantic networks
• The logical foundations of statistical inference
• Knowledge representation and defeasible reasoning
• A logical framework for default reasoning
• Title not available (Why is that?)
• Nonmonotonic logic and temporal projection
• Title not available (Why is that?)

Cited In (99)

• Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
• Two roles of preferences in argumentation frameworks
• Argument-based extended logic programming with defeasible priorities
• On the equivalence between logic programming semantics and argumentation semantics
• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• Prioritized and non-prioritized multiple change on belief bases
• Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack
• Argumentation in artificial intelligence
• The Logical Handling of Threats, Rewards, Tips, and Warnings
• The foundations of DeLP: Defeating relations, games and truth values
• The inapplicability of (selected) paraconsistent logics
• SCC-recursiveness: a general schema for argumentation semantics
• A quantitative approach to belief revision in structured probabilistic argumentation
• Abstract argumentation systems
• An abstract, argumentation-theoretic approach to default reasoning
• Relating defeasible and normal logic programming through transformation properties.
• Semantics for a theory of defeasible reasoning
• Generating possible intentions with constrained argumentation systems
• A framework for group decision support systems: Combining AI tools and OR techniques
• A system for defeasible argumentation, with defeasible priorities
• A series of revisions of David Poole's specificity
• Belief revision in structured probabilistic argumentation, model and application to cyber security
• Stratified belief bases revision with argumentative inference
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• A logic-based theory of deductive arguments
• A logic programming framework for possibilistic argumentation: Formalization and logical properties
• Using arguments for making and explaining decisions
• Skepticism relations for comparing argumentation semantics
• A mathematical treatment of defeasible reasoning and its implementation.
• Argument strength in probabilistic argumentation based on defeasible rules
• Justification and defeat
• Preferences in artificial intelligence
• Dynamic reasoning with qualified syllogisms
• Argumentation through a distributed self-stabilizing approach
• Rich preference-based argumentation frameworks
• An application of formal argumentation: fusing Bayesian networks in multi-agent systems
• Logical limits of abstract argumentation frameworks
• An argument-based approach to reasoning with specificity
• A new approach for preference-based argumentation frameworks
• Explaining Bayesian networks using argumentation
• Postulates for logic-based argumentation systems
• Valued preference-based instantiation of argumentation frameworks with varied strength defeats
• Defeasible inheritance with doubt index and its axiomatic characterization
• Law and logic: a review from an argumentation perspective
• Value-based argumentation framework built from prioritized qualitative choice logic
• Computing generalized specificity
• Extending abstract argumentation systems theory
• On the evaluation of argumentation formalisms
• Explanations, belief revision and defeasible reasoning.
• Reaching agreements through argumentation: a logical model and implementation
• An argumentation framework in default logic
• The carneades model of argument and burden of proof
• Defeasible reasoning + partial models: A formal framework for the methodology of research programs
• Defeasible reasoning with variable degrees of justification
• Arguing and Explaining Classifications
• On the Acceptability of Incompatible Arguments
• Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations
• Evaluating dialectical structures
• The first international competition on computational models of argumentation: results and analysis
• How to reason defeasibly
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• Arguing with valued preference relations
• Modeling time and valuation in structured argumentation frameworks
• Preference-based argumentation: arguments supporting multiple values
• Argumentation theory and decision aiding
• Belief base contraction by belief accrual
• How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
• A logical account of formal argumentation
• A labeled argumentation framework
• Policy-based inconsistency management in relational databases
• Abductive inference in defeasible reasoning: a model for research programmes
• On the equivalence between abstract dialectical frameworks and logic programs
• Explaining black-box classifiers: properties and functions
• Cost-bounded argumentation
• A comparative study of some central notions of \(\mathit{ASPIC}^+\) and \textit{DeLP}
• Constrained Value-Based Argumentation Framework
• Determining preferences over extensions: a cautious approach to preference-based argumentation frameworks
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• A formal account of Socratic-style argumentation
• Minimal model semantics for sorted constraint representation
• Logical argumentation by dynamic proof systems
• A structured bipolar argumentation theory for providing explanations in practical reasoning
• A review of the relations between logical argumentation and reasoning with maximal consistency
• Nonmonotonic inheritance, argumentation and logic programming
• Argument strength in probabilistic argumentation using confirmation theory
• Belief revision and computational argumentation: a critical comparison
• Local logics, non-monotonicity and defeasible argumentation
• DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION
• Evaluation of argument strength in attack graphs: foundations and semantics
• On three-valued acceptance conditions of abstract dialectical frameworks
• Deductive belief change
• A two-phase method for extracting explanatory arguments from Bayesian networks
• Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
• Handling controversial arguments
• Computer-supported collaborative argumentation and fuzzy similarity measures in multiple criteria decision making
• Towards Context Sensitive Defeasible Rules
• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• Building an epistemic logic for argumentation
• On a rule-based interpretation of default conditionals

This page was built for publication: A mathematical treatment of defeasible reasoning and its implementation.

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