Nonmonotonic reasoning, preferential models and cumulative logics
From MaRDI portal
Publication:1174512
DOI10.1016/0004-3702(90)90101-5zbMath0782.03012arXivcs/0202021OpenAlexW2080142817MaRDI QIDQ1174512
Sarit Kraus, Menachem Magidor, Daniel J. Lehmann
Publication date: 25 June 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0202021
Related Items (only showing first 100 items - show all)
Two concepts of plausibility in default reasoning ⋮ 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 ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ Hierarchical conceptual spaces for concept combination ⋮ On the notion of concept. II ⋮ Using arguments for making and explaining decisions ⋮ Semantics for dual preferential entailment ⋮ Rational choice and AGM belief revision ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Preferences in artificial intelligence ⋮ Robust Bayesian analysis in partially ordered plausibility calculi ⋮ Rational acceptance and conjunctive/disjunctive absorption ⋮ Equilibrium logic ⋮ Possibilistic uncertainty handling for answer set programming ⋮ Adaptive logic characterizations of input/output logic ⋮ A defeasible reasoning model of inductive concept learning from examples and communication ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ Notes on ``Notes on conditional previsions ⋮ Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference ⋮ A geo-logical solution to the lottery paradox, with applications to conditional logic ⋮ Characterizing the principle of minimum cross-entropy within a conditional-logical framework ⋮ Preferential reasoning in the perspective of Poole default logic ⋮ Reasoning by cases in Default Logic ⋮ My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ Possibilistic reasoning with partially ordered beliefs ⋮ Double preference relations for generalised belief change ⋮ Equilibria in social belief removal ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ Parallel belief revision: revising by sets of formulas ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ The logic of risky knowledge, reprised ⋮ Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ Proof complexity of propositional default logic ⋮ 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 ⋮ Solving conflicts in information merging by a flexible interpretation of atomic propositions ⋮ Conditional \(p\)-adic probability logic ⋮ A postulate-based analysis of comparative preference statements ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Applied logic without psychologism ⋮ Preferential semantics using non-smooth preference relations ⋮ Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition ⋮ Graphoids and natural conditional functions ⋮ Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence ⋮ Intricate axioms as interaction axioms ⋮ Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects ⋮ Graded hypothesis theories ⋮ Propositional knowledge base revision and minimal change ⋮ On the consistency of defeasible databases ⋮ Rationality, transitivity, and contraposition ⋮ What does a conditional knowledge base entail? ⋮ Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory ⋮ A game semantics for system P ⋮ Believability relations for select-direct sentential revision ⋮ A logic for reasoning with inconsistent knowledge ⋮ Representation theorems for explanatory reasoning based on cumulative models ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ Netl and subsequent path-based inheritance theories ⋮ A general family of preferential belief removal operators ⋮ Formal similarities and differences among qualitative conditional semantics ⋮ Conditional models: coherence and inference through sequences of joint mass functions ⋮ How to revise a total preorder ⋮ Revision algebra semantics for conditional logic ⋮ Logic in general philosophy of science: Old things and new things ⋮ A comment on work by Booth and co-authors ⋮ John McCarthy's legacy ⋮ A deontic logic framework allowing for factual detachment ⋮ Conditional entailment: bridging two approaches to default reasoning. ⋮ Preference fusion for default reasoning beyond system Z ⋮ A new default theories compilation for MSP-entailment ⋮ Measures of inconsistency and defaults ⋮ A primer on rational consequence relations, Popper functions, and their ranked structures ⋮ Structural inference from conditional knowledge bases ⋮ A utility based evaluation of logico-probabilistic systems ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ Probability propagation in generalized inference forms ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ 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 ⋮ The vulnerability of the transferable belief model to Dutch books ⋮ The expressive power of circumscription ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ Recovery of (non)monotonic theories ⋮ Indicative conditionals and graded information ⋮ The co-occurrence test for non-monotonic inference ⋮ Prolegomena to dynamic logic for belief revision ⋮ Dynamic belief revision operators ⋮ Qualitative decision theory with preference relations and comparative uncertainty: an axiomatic approach ⋮ Preferences and explanations ⋮ Nonmonotonic inconsistency ⋮ On the revision of preferences and rational inference processes ⋮ Introduction: Progress in formal commonsense reasoning ⋮ Combining probabilistic logic programming with the power of maximum entropy ⋮ Qualitative choice logic ⋮ A nonmonotonic observation logic ⋮ A causal approach to nonmonotonic reasoning ⋮ Conditional probability and defeasible inference
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quick completeness proofs for some logics of conditionals
- Foundations of conditional logic
- Simple consequence relations
- On the satisfiability of circumscription
- 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
- Intensional logics without iterative axioms
- Erratum to: ``What does a conditional knowledge base entail?
- An axiomatic basis for computer programming
- Completeness and decidability of three logics of counterfactual conditionals1
- Counterfactuals
This page was built for publication: Nonmonotonic reasoning, preferential models and cumulative logics