Nonmonotonic reasoning, preferential models and cumulative logics
From MaRDI portal
Publication:1174512
DOI10.1016/0004-3702(90)90101-5zbMATH Open0782.03012arXivcs/0202021OpenAlexW2080142817MaRDI QIDQ1174512
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)
- Preferential reasoning for modal logics
- The co-occurrence test for non-monotonic inference
- Iterated descriptor revision and the logic of Ramsey test conditionals
- Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
- Parallel belief revision: revising by sets of formulas
- Two adaptive logics of norm-propositions
- Two concepts of plausibility in default reasoning
- Five faces of minimality
- On the revision of preferences and rational inference processes
- A logic with approximate conditional probabilities that can model default reasoning
- Qualitative decision theory
- On first-order conditional logics
- Equilibrium logic
- Conditional ranking revision. Iterated revision with sets of conditionals
- Measures of inconsistency and defaults
- Everything else being equal: a modal logic for ceteris paribus preferences
- Hierarchical conceptual spaces for concept combination
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
- Nonmonotonic reasoning, preferential models and cumulative logics
- A Standard Internal Calculus for Lewis’ Counterfactual Logics
- Algebras of measurements: the logical structure of quantum mechanics
- Nonmonotonic inference based on expectations
- Dynamic belief revision operators
- Introduction: Progress in formal commonsense reasoning
- Prolegomena to dynamic logic for belief revision
- What does a conditional knowledge base entail?
- Possibilistic reasoning -- a mini-survey and uniform semantics
- Generalizing inference rules in a coherence-based probabilistic default reasoning
- The logic of risky knowledge, reprised
- Title not available (Why is that?)
- Belief contraction in the context of the general theory of rational choice
- Qualitative choice logic
- The quantitative/qualitative watershed for rules of uncertain inference
- Nonmonotonic conditionals that behave like conditional probabilities above a threshold
- Unifying default reasoning and belief revision in a modal framework
- Belief revision, conditional logic and nonmonotonic reasoning
- Non-prioritized ranked belief change
- Using arguments for making and explaining decisions
- System JLZ -- rational default reasoning by minimal ranking constructions.
- Abduction as belief revision
- Belief functions and default reasoning
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
- Qualitative and quantitative conditions for the transitivity of perceived causation: theoretical and experimental results
- Propositional reasoning that tracks probabilistic reasoning
- A Panorama of Iterated Revision
- Preferences in artificial intelligence
- On the consistency of defeasible databases
- Propositional knowledge base revision and minimal change
- Another perspective on default reasoning
- Robust Bayesian analysis in partially ordered plausibility calculi
- Partial equilibrium logic
- The value of the four values
- O IS NOT ENOUGH
- Qualitative decision theory with preference relations and comparative uncertainty: an axiomatic approach
- PROBABILISTIC CONDITIONALS ARE ALMOST MONOTONIC
- Adaptive logic characterizations of input/output logic
- Conditional entailment: bridging two approaches to default reasoning.
- Conditional logics of normality: A modal approach
- Abductive consequence relations
- A deontic logic framework allowing for factual detachment
- Conditional models: coherence and inference through sequences of joint mass functions
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- Probabilistic description logic programs under inheritance with overriding for the semantic Web
- Conditional \(p\)-adic probability logic
- Expressive probabilistic description logics
- Preference-based belief operators
- Nonmonotonic reasoning, conditional objects and possibility theory
- Framing human inference by coherence based probability logic
- A defeasible reasoning model of inductive concept learning from examples and communication
- Weak nonmonotonic probabilistic logics
- Conditionals and consequences
- Coherence and nonmonotonicity in human reasoning
- Probabilistic logic under coherence, conditional interpretations, and default reasoning
- Two problems of direct inference
- Predicting causality ascriptions from background knowledge: model and experimental validation
- Combining probabilistic logic programming with the power of maximum entropy
- Conditional probability and defeasible inference
- Rational choice and AGM belief revision
- Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
- Computer science and decision theory
- A geo-logical solution to the lottery paradox, with applications to conditional logic
- Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference
- An overview of possibilistic handling of default reasoning, with experimental studies
- From statistical knowledge bases to degrees of belief
- Nonmonotonic reasoning by inhibition nets
- Distance semantics for belief revision
- 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
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)
