An approach to default reasoning based on a first-order conditional logic: Revised report
From MaRDI portal
Publication:1103607
DOI10.1016/0004-3702(88)90079-3zbMath0646.03015OpenAlexW2062539190MaRDI QIDQ1103607
Publication date: 1988
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(88)90079-3
Related Items (47)
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 ⋮ Violation games: a new foundation for deontic logic ★ ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ Making the right exceptions ⋮ Deontic logic as founded on nonmonotonic logic ⋮ An argumentation framework in default logic ⋮ Towards a formal theory of defeasible deontic conditionals ⋮ Counterfactual reasoning by (means of) defaults ⋮ Modelling default and likelihood reasoning as probabilistic reasoning. ⋮ Choosing reference classes and building provisional models ⋮ An approach to default reasoning based on a first-order conditional logic: Revised report ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Active logic semantics for a single agent in a static world ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ From statistical knowledge bases to degrees of belief ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ Do \textit{ceteris paribus} laws exist? A regularity-based best system analysis ⋮ Impossible worlds and the logic of imagination ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Plausible reasoning: a first-order approach ⋮ The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning ⋮ A modal logic for subjective default reasoning ⋮ REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS ⋮ Graded hypothesis theories ⋮ On the consistency of defeasible databases ⋮ What does a conditional knowledge base entail? ⋮ A theory of nonmonotonic inheritance based on annotated logic ⋮ More on bounding introspection in modal nonmonotonic logics ⋮ Revision algebra semantics for conditional logic ⋮ A mathematical treatment of defeasible reasoning and its implementation. ⋮ Embedding Logics in the Local Computation Framework ⋮ Inconsistency in Ceteris Paribus Imagination ⋮ Connexive Conditional Logic. Part I ⋮ Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic ⋮ The expressive power of circumscription ⋮ Reasoning with vague default ⋮ Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics ⋮ Abduction as belief revision ⋮ Five faces of minimality ⋮ An information-based theory of conditionals ⋮ Probabilistic Modeling of Default Reasoning
Cites Work
- 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
- The mathematics of non-monotonic reasoning
- Basic conditional logic
- The logic of conditional obligation. Comments by Harry Beatty
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: An approach to default reasoning based on a first-order conditional logic: Revised report