Nonmonotonic reasoning, preferential models and cumulative logics
From MaRDI portal
Publication:1174512
DOI10.1016/0004-3702(90)90101-5zbMATH Open0782.03012arXivcs/0202021OpenAlexW2080142817MaRDI QIDQ1174512FDOQ1174512
Sarit Kraus, Menachem Magidor, Daniel Lehmann
Publication date: 25 June 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Abstract: Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of nonmonotonic reasoning and try to isolate properties that could help us map the field of nonmonotonic reasoning by reference to positive properties. We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen. Both proof-theoretic and semantic points of view are developed in parallel. The former point of view was pioneered by D. Gabbay, while the latter has been advocated by Y. Shoham in. Five such families are defined and characterized by representation theorems, relating the two points of view. One of the families of interest, that of preferential relations, turns out to have been studied by E. Adams. The "preferential" models proposed here are a much stronger tool than Adams' probabilistic semantics. The basic language used in this paper is that of propositional logic. The extension of our results to first order predicate calculi and the study of the computational complexity of the decision problems described in this paper will be treated in another paper.
Full work available at URL: https://arxiv.org/abs/cs/0202021
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Intensional logics without iterative axioms
- An axiomatic basis for computer programming
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A logic for default reasoning
- Non-monotonic logic. I
- Simple consequence relations
- Circumscription - a form of non-monotonic reasoning
- Quick completeness proofs for some logics of conditionals
- On the satisfiability of circumscription
- Completeness and decidability of three logics of counterfactual conditionals1
- Counterfactuals
- Erratum to: ``What does a conditional knowledge base entail?
- Foundations of conditional logic
- A first-order conditional logic for prototypical properties
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (only showing first 100 items - show all)
- A representation theorem for recovering contraction relations satisfying wci
- Reasoning with power defaults
- Some contributions to nonmonotonic consequence
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- A foundationalist view of the AGM theory of belief change
- An information-based theory of conditionals
- On rational entailment for propositional typicality logic
- New foundations for counterfactuals
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Nested Sequent Calculi for Conditional Logics
- Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Choice revision
- Nonmonotonicity in the framework of parametric logic
- A BIG-STEPPED PROBABILITY APPROACH FOR DISCOVERING DEFAULT RULES
- Logic, topology, and integration
- Defaults as restrictions on classical Hilbert-style proofs
- A formal framework for causal modeling and argumentation
- Situated conditional reasoning
- Logical argumentation by dynamic proof systems
- \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Nonmonotonic theories and their axiomatic varieties
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
- Automated non-monotonic reasoning in System \textbf{P}
- A reconstruction of multipreference closure
- Valuation structure
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Rational closure for all description logics
- Human rationality challenges universal logic
- Simple hyperintensional belief revision
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
- Boolean algebras of conditionals, probability and logic
- Constrained consequence
- Handling uncertainty and defeasibility in a possibilistic logic setting
- Logic of convex order
- Beliefs in conditionals vs. conditional beliefs
- Connectives in Cumulative Logics
- Reasoning with different levels of uncertainty
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
- FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Dealing Automatically with Exceptions by Introducing Specificity in ASP
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Belief base change as priority change: a study based on dynamic epistemic logic
- Rules of proof for maximal entropy inference
- CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS
- Reasoning about general preference relations
- Theorem proving for conditional logics: CondLean and GOALDUCK
- Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs
- On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
- Characterizing the principle of minimum cross-entropy within a conditional-logical framework
- Preferential reasoning in the perspective of Poole default logic
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Semantic characterization of rational closure: from propositional logic to description logics
- On the relation between default and modal nonmonotonic reasoning
- Proof Complexity of Non-classical Logics
- Representation theorems for explanatory reasoning based on cumulative models
- Formal similarities and differences among qualitative conditional semantics
- Predicate change. A study on the conservativity of conceptual change
- On the notion of concept. II
- Note about cardinality-based circumscription
- Recovery of (non)monotonic theories
- Semantics for dual preferential entailment
- Intuitionistic conditional logics
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS
- Rationality, transitivity, and contraposition
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Reasoning with conditionals
- Abductive logics in a belief revision framework
- Rational acceptance and conjunctive/disjunctive absorption
- A logic programming system for nonmonotonic reasoning
- Normal conditions for inference relations and injective models
- A new default theories compilation for MSP-entailment
- Preference fusion for default reasoning beyond system Z
- Similarity between preferential models
- Simple contrapositive assumption-based argumentation frameworks
- From input/output logics to conditional logics via sequents -- with provers
- Reasoning by cases in Default Logic
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- A characterization theorem for injective model classes axiomatized by general rules
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- A test battery for rational database updating
- An argument-based approach to reasoning with specificity
- Possibilistic reasoning with partially ordered beliefs
- An axiomatic analysis of structured argumentation with priorities
- Iterated Belief Revision in the Face of Uncertain Communication
- The lexicographic closure as a revision process
- Roadmap for preferential logics
- Indicative conditionals and graded information
- A comparative survey of default logic variants
- What is a (non-constructive) non-monotone logical system?
- Belief Contraction in the Context of the General Theory of Rational Choice
- Specification of nonmonotonic reasoning
Recommendations
- Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms 👍 👎
- Preferential reasoning for modal logics 👍 👎
- Cumulative default logic: In defense of nonmonotonic inference rules 👍 👎
- Modal logic based theory for non-monotonic reasoning 👍 👎
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning 👍 👎
- A non-preferential semantics of non-monotonic modal logic 👍 👎
- Cumulativity Tailored for Nonmonotonic Reasoning 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Nonmonotonic reasoning, preferential models and cumulative logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1174512)
