An approach to default reasoning based on a first-order conditional logic: Revised report
From MaRDI portal
A logic N for default reasoning, based on an extension of classical first order logic with an operator ``if... then normally... and with possible worlds semantics is presented. N is more appropriate for representing common-sense intuition and information about defauls than other approaches. Two formulations of default inference relying on explicitly made assumptions of normality and relevance are shown to be equivalent with respect to their set of default inferences.
Recommendations
Cites work
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- A skeptical theory of inheritance in nonmonotonic semantic networks
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Basic conditional logic
- Circumscription - a form of non-monotonic reasoning
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- scientific article; zbMATH DE number 3708349 (Why is no real title available?)
- scientific article; zbMATH DE number 3325547 (Why is no real title available?)
- Non-monotonic logic. I
- The logic of conditional obligation. Comments by Harry Beatty
- The mathematics of non-monotonic reasoning
Cited in
(64)- An approach to default reasoning based on a first-order conditional logic: Revised report
- A first-order conditional logic for prototypical properties
- Nonmonotonic reasoning, preferential models and cumulative logics
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
- On the consistency of defeasible databases
- What does a conditional knowledge base entail?
- Revision algebra semantics for conditional logic
- Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
- On first-order conditional logics
- The expressive power of circumscription
- Reasoning with vague default
- Five faces of minimality
- 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
- 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
- Compiling specificity into approaches to nonmonotonic reasoning
- Impossible worlds and the logic of imagination
- Abduction as belief revision
- An information-based theory of conditionals
- Belief revision, conditional logic and nonmonotonic reasoning
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- A modal logic for subjective default reasoning
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- 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
- On a rule-based interpretation of default conditionals
- From statistical knowledge bases to degrees of belief
- Credulous reasoning about defaults
- Experience based nonmonotonic reasoning
- Violation games: a new foundation for deontic logic
- Making the right exceptions
- scientific article; zbMATH DE number 994065 (Why is no real title available?)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- Connexive conditional logic. I
- In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- scientific article; zbMATH DE number 4166901 (Why is no real title available?)
- scientific article; zbMATH DE number 1269577 (Why is no real title available?)
- scientific article; zbMATH DE number 517030 (Why is no real title available?)
- Embedding Logics in the Local Computation Framework
- Adaptively applying modus ponens in conditional logics of normality
- scientific article; zbMATH DE number 194964 (Why is no real title available?)
- scientific article; zbMATH DE number 770147 (Why is no real title available?)
- A three-valued approach to default logic
- Plausible reasoning: a first-order approach
- Reward versus risk in uncertain inference: theorems and simulations
- What's in a default? Thoughts on the nature and role of defaults in nonmonotonic reasoning
- scientific article; zbMATH DE number 1390359 (Why is no real title available?)
- Probabilistic Modeling of Default Reasoning
- A system Z-like approach for first-order default reasoning
- Inconsistency in Ceteris Paribus Imagination
- From KLM-style conditionals to defeasible modalities, and back
- First-order conditional logic for default reasoning revisited
- More on bounding introspection in modal nonmonotonic logics
- Graded hypothesis theories
- A theory of nonmonotonic inheritance based on annotated logic
- A nonmonotonic observation logic
- Do \textit{ceteris paribus} laws exist? A regularity-based best system analysis
- A mathematical treatment of defeasible reasoning and its implementation.
This page was built for publication: An approach to default reasoning based on a first-order conditional logic: Revised report
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103607)
