What does a conditional knowledge base entail?

DOI10.1016/0004-3702(92)90041-UzbMath0762.68057OpenAlexW2167907160MaRDI QIDQ1193479

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

zbMATH Keywords

nonmonotonic reasoning rational closure conditional knowledge base nonmonotonic consequence relation preferential consequence relations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

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 ⋮ 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 ⋮ 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 ⋮ 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 ⋮ Foundations of probability ⋮ Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs ⋮ Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Default consequence relations from topology and measure theory ⋮ On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics ⋮ Normal conditions for inference relations and injective models ⋮ On the notion of concept. II ⋮ Nonmonotonic reasoning, expectations orderings, and conceptual spaces ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Semantics for dual preferential entailment ⋮ Logic, topology, and integration ⋮ On the transformation between possibilistic logic bases and possibilistic causal networks ⋮ Lexicographic probability, conditional probability, and nonstandard probability ⋮ Preferences in artificial intelligence ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ Adaptive logic characterizations of input/output logic ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ First-order classical modal logic ⋮ Possibilistic logic: a retrospective and prospective view ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ A geo-logical solution to the lottery paradox, with applications to conditional logic ⋮ Another perspective on default reasoning ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Preferential reasoning in the perspective of Poole default logic ⋮ CP- and OCF-networks -- a comparison ⋮ System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic ⋮ Impossibility in belief merging ⋮ Semantical investigations into nonmonotonic and probabilistic logics ⋮ Modeling agents as qualitative decision makers ⋮ Human rationality challenges universal logic ⋮ Possibilistic reasoning with partially ordered beliefs ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Simple contrapositive assumption-based argumentation frameworks ⋮ Abductive consequence relations ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ Nonmonotonic reasoning, conditional objects and possibility theory ⋮ Default extensions: Dealing with computer information ⋮ Parallel belief revision: revising by sets of formulas ⋮ Preferential accessibility and preferred worlds ⋮ Boolean algebras of conditionals, probability and logic ⋮ Qualitative and quantitative conditions for the transitivity of perceived causation: theoretical and experimental results ⋮ Explaining default intuitions using maximum entropy. ⋮ System JLZ -- rational default reasoning by minimal ranking constructions. ⋮ Sum-based weighted belief base merging: from commensurable to incommensurable framework ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ Additive representation of separable preferences over infinite products ⋮ Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition ⋮ Entailment with near surety of scaled assertions of high conditional probability ⋮ A modal logic for subjective default reasoning ⋮ Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations ⋮ Graded hypothesis theories ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ Rationality, transitivity, and contraposition ⋮ Qualitative probabilistic inference under varied entropy levels ⋮ A game semantics for system P ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ A deontic logic framework allowing for factual detachment ⋮ Abductive logics in a belief revision framework ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ A new default theories compilation for MSP-entailment ⋮ Measures of inconsistency and defaults ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ A reconstruction of multipreference closure ⋮ A primer on rational consequence relations, Popper functions, and their ranked structures ⋮ Comparative expectations ⋮ A utility based evaluation of logico-probabilistic systems ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ A logical approach to interpolation based on similarity relations ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Simple contrapositive assumption-based argumentation. II: Reasoning with preferences ⋮ Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic ⋮ The value of the four values ⋮ On first-order conditional logics ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings ⋮ Note about cardinality-based circumscription ⋮ Choice logics and their computational properties ⋮ To preference via entrenchment ⋮ Belief functions and default reasoning ⋮ On rational preferences ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Properties of system W and its relationships to other inductive inference operators ⋮ Five faces of minimality ⋮ An information-based theory of conditionals ⋮ Systematic withdrawal ⋮ Nonmonotonic inference based on expectations ⋮ Three ways of being non-material ⋮ Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence ⋮ Fuzzy \(rr\)DFCSP and planning ⋮ Preferences and explanations ⋮ Revision by comparison ⋮ Combining probabilistic logic programming with the power of maximum entropy ⋮ Qualitative choice logic ⋮ Conditional probability and defeasible inference

Cites Work