An approach to default reasoning based on a first-order conditional logic: Revised report

DOI10.1016/0004-3702(88)90079-3zbMATH Open0646.03015OpenAlexW2062539190MaRDI QIDQ1103607FDOQ1103607

Authors: James Delgrande 

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

Recommendations

• First-order conditional logic for default reasoning revisited
• On first-order conditional logics
• Conditional logics of normality: A modal approach
• scientific article; zbMATH DE number 140378
• A first-order conditional logic for prototypical properties

zbMATH Keywords

default reasoningpossible worlds semanticscommon-sense intuition and information

Mathematics Subject Classification ID

Artificial intelligence (68T99) Modal logic (including the logic of norms) (03B45)

Cites Work

• Title not available (Why is that?)
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logic for default reasoning
• Non-monotonic logic. I
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Circumscription - a form of non-monotonic reasoning
• The logic of conditional obligation. Comments by Harry Beatty
• Basic conditional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• The mathematics of non-monotonic reasoning
• A first-order conditional logic for prototypical properties

Cited In (61)

• Probabilistic Modeling of Default Reasoning
• More on bounding introspection in modal nonmonotonic logics
• Inconsistency in Ceteris Paribus Imagination
• From KLM-style conditionals to defeasible modalities, and back
• A first-order conditional logic for prototypical properties
• Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
• First-order conditional logic for default reasoning revisited
• A theory of nonmonotonic inheritance based on annotated logic
• An information-based theory of conditionals
• Five faces of minimality
• Towards a formal theory of defeasible deontic conditionals
• Compiling specificity into approaches to nonmonotonic reasoning
• Embedding Logics in the Local Computation Framework
• Reward versus risk in uncertain inference: theorems and simulations
• Nonmonotonic reasoning, preferential models and cumulative logics
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Title not available (Why is that?)
• The expressive power of circumscription
• What does a conditional knowledge base entail?
• Plausible reasoning: a first-order approach
• Adaptively applying modus ponens in conditional logics of normality
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Reasoning with vague default
• Deontic logic as founded on nonmonotonic logic
• Credulous reasoning about defaults
• Impossible worlds and the logic of imagination
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Unifying default reasoning and belief revision in a modal framework
• Belief revision, conditional logic and nonmonotonic reasoning
• Making the right exceptions
• Abduction as belief revision
• A mathematical treatment of defeasible reasoning and its implementation.
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
• On the consistency of defeasible databases
• What's in a default? Thoughts on the nature and role of defaults in nonmonotonic reasoning
• From ordering-based nonmonotonic reasoning to conditional logics
• Experience based nonmonotonic reasoning
• An approach to default reasoning based on a first-order conditional logic: Revised report
• Title not available (Why is that?)
• In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Modelling default and likelihood reasoning as probabilistic reasoning.
• Conditional logics of normality: A modal approach
• Active logic semantics for a single agent in a static world
• Title not available (Why is that?)
• A three-valued approach to default logic
• An argumentation framework in default logic
• A system Z-like approach for first-order default reasoning
• Do \textit{ceteris paribus} laws exist? A regularity-based best system analysis
• Counterfactual reasoning by (means of) defaults
• Connexive conditional logic. I
• Choosing reference classes and building provisional models
• Violation games: a new foundation for deontic logic
• Revision algebra semantics for conditional logic
• Title not available (Why is that?)
• From statistical knowledge bases to degrees of belief
• A nonmonotonic observation logic
• On a rule-based interpretation of default conditionals
• Graded hypothesis theories
• A modal logic for subjective default reasoning
• Title not available (Why is that?)

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)