Conditional entailment: bridging two approaches to default reasoning.
From MaRDI portal
Publication:989161
DOI10.1016/0004-3702(92)90071-5zbMath1193.68235OpenAlexW2035416838MaRDI QIDQ989161
Publication date: 27 August 2010
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(92)90071-5
Related Items (57)
From ordering-based nonmonotonic reasoning to conditional logics ⋮ The epistemic structure of a theory of a game ⋮ Conditional logics of normality: A modal approach ⋮ Preferences in artificial intelligence ⋮ On cautious probabilistic inference and default detachment ⋮ Jumping to Conclusions ⋮ On a rule-based interpretation of default conditionals ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Expressive probabilistic description logics ⋮ Operational characterization of extensions in some logics for default reasoning ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ The W systems: between maximum entropy and minimal ranking… ⋮ Argumentation for Practical Reasoning: An Axiomatic Approach ⋮ A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Preferring diagnoses using a partial order on assumptions ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ From statistical knowledge bases to degrees of belief ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ When is argumentation deductive? ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Fundamental properties of attack relations in structured argumentation with priorities ⋮ Law and logic: a review from an argumentation perspective ⋮ An abstract, argumentation-theoretic approach to default reasoning ⋮ Default extensions: Dealing with computer information ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ Parallel belief revision: revising by sets of formulas ⋮ A deductive probabilistic and fuzzy object-oriented database language. ⋮ Rule Calculus: Semantics, Axioms and Applications ⋮ System JLZ -- rational default reasoning by minimal ranking constructions. ⋮ A formal framework for causal modeling and argumentation ⋮ A system for defeasible argumentation, with defeasible priorities ⋮ System J — Revision entailment ⋮ Weak nonmonotonic probabilistic logics ⋮ Uncertain inheritance and recognition as probabilistic default reasoning ⋮ Two problems of direct inference ⋮ How to revise a total preorder ⋮ Twenty-Five Years of Preferred Subtheories ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ An argument-based approach to reasoning with specificity ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ A reconstruction of multipreference closure ⋮ Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP ⋮ On first-order conditional logics ⋮ Constructing Markov Logic Networks from First-Order Default Rules ⋮ The carneades model of argument and burden of proof ⋮ Lexicographic priorities in default logic ⋮ A framework for group decision support systems: Combining AI tools and OR techniques ⋮ Computer-supported collaborative argumentation and fuzzy similarity measures in multiple criteria decision making ⋮ Abductive inference in defeasible reasoning: a model for research programmes ⋮ Expressing preferences in default logic ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Argument-based extended logic programming with defeasible priorities ⋮ On knowledge evolution: acquisition, revision, contraction ⋮ Probabilistic logic under coherence, conditional interpretations, and default reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some representational issues in default reasoning
- Semantical considerations on nonmonotonic logic
- Negation as failure: careful closure procedure
- A theory of diagnosis from first principles
- A logical framework for default reasoning
- Nonmonotonic logic and temporal projection
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Nonmonotonic reasoning, preferential models and cumulative logics
- Knowledge representation and defeasible reasoning
- On the consistency of defeasible databases
- The logic of conditionals. An application of probability to deductive logic
- Erratum to: ``What does a conditional knowledge base entail?
- Circumscriptive theories: A logic-based framework for knowledge representation
- A note on comparing probabilistic and modal logics of conditionals
This page was built for publication: Conditional entailment: bridging two approaches to default reasoning.
