Nonmonotonic inference based on expectations
From MaRDI portal
Publication:1321060
DOI10.1016/0004-3702(94)90017-5zbMath0803.68125OpenAlexW1991508422MaRDI QIDQ1321060
David Makinson, Peter Gaerdenfors
Publication date: 3 May 1994
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(94)90017-5
expectationsbelief revisionnonmonotonic reasoningepistemic entrenchmentexpectation orderingnonmonotonic inferences
Related Items (64)
Two concepts of plausibility in default reasoning ⋮ From ordering-based nonmonotonic reasoning to conditional logics ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Conditional logics of normality: A modal approach ⋮ Nonmonotonic reasoning, expectations orderings, and conceptual spaces ⋮ Handling uncertainty and defeasibility in a possibilistic logic setting ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ PTL: A Propositional Typicality Logic ⋮ On a rule-based interpretation of default conditionals ⋮ Editor's introduction to the special issue on belief revision ⋮ Constructive modelings for theory change ⋮ On compound mixed concepts ⋮ Logical Foundations of Possibilistic Keys ⋮ Preferential reasoning in the perspective of Poole default logic ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ Defaults in domain theory ⋮ A sphere world semantics for default reasoning ⋮ Rules of proof for maximal entropy inference ⋮ On the logic of iterated belief revision ⋮ Abductive consequence relations ⋮ Logical argumentation by dynamic proof systems ⋮ Nonmonotonic reasoning, conditional objects and possibility theory ⋮ Category-based induction in conceptual spaces ⋮ Situated conditional reasoning ⋮ Comparative possibility in set contraction ⋮ Preferential accessibility and preferred worlds ⋮ Applied logic without psychologism ⋮ A foundationalist view of the AGM theory of belief change ⋮ REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ Epistemic entrenchment and arithmetical hierarchy ⋮ Additive Consolidation with Maximal Change ⋮ Notes on the history of ideas behind AGM ⋮ Revising preferences and choices ⋮ Computer science and decision theory ⋮ Some contributions to nonmonotonic consequence ⋮ Query answering DL-lite knowledge bases from hidden datasets ⋮ The lexicographic closure as a revision process ⋮ Declarative Representation of Revision Strategies* ⋮ Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents ⋮ A synthetic view of belief revision with uncertain inputs in the framework of possibility theory ⋮ Severe withdrawal (and recovery) ⋮ Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic ⋮ The expressive power of circumscription ⋮ Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis ⋮ Ordering-based representations of rational inference ⋮ Artificial explanations: The epistemological interpretation of explanation in AI ⋮ To preference via entrenchment ⋮ Belief functions and default reasoning ⋮ The open logic and its relation to circumscription ⋮ Default reasoning and belief revision: A syntax-independent approach ⋮ An overview of possibilistic handling of default reasoning, with experimental studies ⋮ A representation theorem for recovering contraction relations satisfying wci ⋮ Abduction as belief revision ⋮ Belief contraction as nonmonotonic inference ⋮ Modal logics for qualitative possibility theory ⋮ The co-occurrence test for non-monotonic inference ⋮ Dynamic belief revision operators ⋮ Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence ⋮ Fuzzy \(rr\)DFCSP and planning ⋮ Preferences and explanations ⋮ On the revision of preferences and rational inference processes ⋮ Revision by comparison ⋮ Conditional probability and defeasible inference
Cites Work
- Two methods of constructing contractions and revisions of knowledge systems
- On the status of the postulate of recovery in the logic of theory change
- A logical framework for default reasoning
- A logic for default reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- Epistemic entrenchment and possibilistic logic
- Propositional knowledge base revision and minimal change
- Rationality, transitivity, and contraposition
- What does a conditional knowledge base entail?
- Fuzzy sets as a basis for a theory of possibility
- Conditional possibilities independence and noninteraction
- The relationship between KLM and MAK models for nonmonotonic inference operations
- On the logic of theory change: Partial meet contraction and revision functions
- Levels of Belief in Nonmonotonic Reasoning
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Nonmonotonic inference based on expectations
