What does a conditional knowledge base entail?
From MaRDI portal
Publication:1193479
DOI10.1016/0004-3702(92)90041-UzbMath0762.68057OpenAlexW2167907160MaRDI QIDQ1193479
Menachem Magidor, Daniel J. Lehmann
Publication date: 27 September 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(92)90041-u
nonmonotonic reasoningrational closureconditional knowledge basenonmonotonic consequence relationpreferential consequence relations
Related Items (only showing first 100 items - show all)
Dynamic Reasoning Systems ⋮ An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ Similarity between preferential models ⋮ Valuation structure ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ Transitivity in coherence-based probability logic ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ Handling uncertainty and defeasibility in a possibilistic logic setting ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ A p-adic probability logic ⋮ CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST ⋮ PTL: A Propositional Typicality Logic ⋮ A Minimal Model Semantics for Nonmonotonic Reasoning ⋮ Belief contraction in the context of the general theory of rational choice ⋮ On a rule-based interpretation of default conditionals ⋮ Expressive probabilistic description logics ⋮ 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… ⋮ On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) ⋮ The logic of epistemic justification ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning ⋮ An implementation of nonmonotonic reasoning with system W ⋮ From statistical knowledge bases to degrees of belief ⋮ Local and global metrics for the semantics of counterfactual conditionals ⋮ Rules of proof for maximal entropy inference ⋮ What Does a Concept Entail? ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ On manipulation in merging epistemic states ⋮ On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals ⋮ A postulate-driven study of logical argumentation ⋮ Elementary belief revision operators ⋮ Situated conditional reasoning ⋮ Characterizing multipreference closure with system W ⋮ Reasoning with Uncertainty by Nmatrix–Metric Semantics ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Determining maximal entropy functions for objective Bayesian inductive logic ⋮ Weak Implication in Terms of Conditional Uncertainty Measures ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Recovering Consistency by Forgetting Inconsistency ⋮ Bipolarity in bilattice logics ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART B ⋮ The quantitative/qualitative watershed for rules of uncertain inference ⋮ System J — Revision entailment ⋮ Weak nonmonotonic probabilistic logics ⋮ Beliefs in conditionals vs. conditional beliefs ⋮ The Quest for Uncertainty ⋮ REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS ⋮ Distance semantics for belief revision ⋮ Coherent Conditional Probability, Fuzzy Inclusion and Default Rules ⋮ Probabilistic Approach to Nonmonotonic Consequence Relations ⋮ Nonmonotonic conditionals that behave like conditional probabilities above a threshold ⋮ Conditionals and consequences ⋮ Additive Consolidation with Maximal Change ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ A System Z-like Approach for First-Order Default Reasoning ⋮ A theory of hierarchical consequence and conditionals ⋮ Predicting causality ascriptions from background knowledge: model and experimental validation ⋮ Distance-based paraconsistent logics ⋮ Defeasible RDFS via rational closure ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ A characterization theorem for injective model classes axiomatized by general rules ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On decision-theoretic foundations for defaults ⋮ Quantum logic, Hilbert space, revision theory ⋮ Some contributions to nonmonotonic consequence ⋮ On some weakened forms of transitivity in the logic of conditional obligation ⋮ Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases ⋮ Rational closure extension in SPO-representable inductive inference operators ⋮ From iterated revision to iterated contraction: extending the Harper identity ⋮ On rational entailment for propositional typicality logic ⋮ The lexicographic closure as a revision process ⋮ A framework for iterated revision ⋮ Preferential Reasoning for Modal Logics ⋮ O IS NOT ENOUGH ⋮ Constructing Markov Logic Networks from First-Order Default Rules ⋮ Reasoning with different levels of uncertainty ⋮ Introducing Role Defeasibility in Description Logics ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Ordering-based representations of rational inference ⋮ Strong inconsistency ⋮ Rational closure for all description logics ⋮ Typicalities and probabilities of exceptions in nonmotonic description logics ⋮ How to Restore Compactness into Probabilistic Logics? ⋮ COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F ⋮ ON PROOFS IN SYSTEM P ⋮ An overview of possibilistic handling of default reasoning, with experimental studies ⋮ Lossy Inference Rules and Their Bounds: A Brief Review ⋮ Belief contraction as nonmonotonic inference ⋮ New techniques and completeness results for preferential structures ⋮ Probabilistic Modeling of Default Reasoning ⋮ Applications of Logics About Simple Probabilities ⋮ Two concepts of plausibility in default reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantical considerations on nonmonotonic logic
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Nonmonotonic reasoning, preferential models and cumulative logics
- Impediments to universal preference-based default theories
- Rationality, transitivity, and contraposition
- The logic of conditionals. An application of probability to deductive logic
- Erratum to: ``What does a conditional knowledge base entail?
- Nonstandard Measure Theory and its Applications
- A semantic analysis of conditional logic1
- Counterfactuals
- Non-standard analysis
This page was built for publication: What does a conditional knowledge base entail?
