A logical framework for default reasoning

DOI10.1016/0004-3702(88)90077-XMaRDI QIDQ1104777zbMATH OpenOpenAlexFDO

Authors S. H. Smith

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)90077-x

zbMATH Keywords

nonmonotonic reasoningsemanticsdefault reasoningfirst-order model theorymultiple extension problems

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1292298
• scientific article; zbMATH DE number 4200176
• scientific article; zbMATH DE number 989172
• An argumentation framework in default logic
• scientific article; zbMATH DE number 1522676
• An abstract, argumentation-theoretic approach to default reasoning
• scientific article; zbMATH DE number 2064305
• scientific article; zbMATH DE number 823628
• Modal logic for default reasoning
• Default reasoning and possibility theory

Cites work

• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• A first-order conditional logic for prototypical properties
• A logic for default reasoning
• Formalizing nonmonotonic reasoning systems
• Non-monotonic logic. I
• Semantical considerations on nonmonotonic logic

Cited in

(only showing first 100 items - show all)

• Operational concepts of nonmonotonic logics. I: Default logic
• Compositional model-theoretic semantics for logic programs
• Compiling a default reasoning system into Prolog
• Constraints for input/output logics
• Defeasible reasoning with variable degrees of justification
• Lexicographic priorities in default logic
• A consistency-based approach for belief change
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Updating knowledge bases
• Abnormality and randomness
• A mathematical treatment of defeasible reasoning and its implementation.
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Nested abnormality theories
• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• Equivalence issues in abduction and induction
• On the computational complexity of assumption-based argumentation for default reasoning.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Linear resolution for consequence finding
• Default reasoning and belief revision: A syntax-independent approach
• Preferential reasoning for modal logics
• Another perspective on default reasoning
• Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
• Semantics and complexity of abduction from default theories
• Reward versus risk in uncertain inference: theorems and simulations
• Dialectic proof procedures for assumption-based, admissible argumentation
• Abduction as belief revision
• Abstract argumentation systems
• An abstract, argumentation-theoretic approach to default reasoning
• Graded hypothesis theories
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• A sphere world semantics for default reasoning
• Judgment aggregation in nonmonotonic logic
• Nonmonotonic inconsistency
• Completing causal networks by meta-level abduction
• Probabilistic Horn abduction and Bayesian networks
• Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
• Grammatically biased learning: Learning logic programs using an explicit antecedent description language
• Logic Programming with Defaults and Argumentation Theories
• Default reasoning and possibility theory
• Unifying default reasoning and belief revision in a modal framework
• A theory of nonmonotonic inheritance based on annotated logic
• On prediction in Theorist
• Incorporating top-down information into bottom-up hypothetical reasoning
• Equality and abductive residua for Horn clauses
• A note on the stable model semantics for logic programs
• Similarity preservation in default logic
• Default theories over monadic languages
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Conditional entailment: bridging two approaches to default reasoning.
• Conditional logics of normality: A modal approach
• Semantics for a theory of defeasible reasoning
• Belief revision, conditional logic and nonmonotonic reasoning
• Redundancy in logic. III: Non-monotonic reasoning
• Conflicting imperatives and dyadic deontic logic
• On first-order conditional logics
• Alternative approaches to default logic
• Preferential reasoning in the perspective of Poole default logic
• Hypothesizing about signaling networks
• An argumentation framework in default logic
• Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations
• Combining answer set programming with description logics for the semantic web
• A modal logic for subjective default reasoning
• The open logic and its relation to circumscription
• Prioritized logic programming and its application to commonsense reasoning
• Abduction to plausible causes: an event-based model of belief update
• Default reasoning by deductive planning
• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• Dynamic reasoning with qualified syllogisms
• Prolog technology for default reasoning: proof theory and compilation techniques
• Reasoning on the web with assumption-based argumentation
• Expressing preferences in default logic
• Cumulative default logic: In defense of nonmonotonic inference rules
• Nonmonotonic inference based on expectations
• Nonmonotonic inferences and neural networks
• Non-prioritized ranked belief change
• scientific article; zbMATH DE number 1292298 (Why is no real title available?)
• A comparative survey of default logic variants
• A comparative study of open default theories
• scientific article; zbMATH DE number 140378 (Why is no real title available?)
• A methodology for using a default and abductive reasoning system
• A logic for reasoning with inconsistent knowledge
• 1998–99 Annual Meeting of the Association for Symbolic Logic
• Nonmonotonic reasoning with multiple belief sets
• Computing with default logic
• Modular specifications with supernormal defaults
• A Default Logic Patch for Default Logic
• Hypothetical reasoning and brainware
• Compiling specificity into approaches to nonmonotonic reasoning
• ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
• Abductive logics in a belief revision framework
• Default consequence relations as a logical framework for logic programs
• Extensions for open default theories via the domain closure assumption
• Hybrid reasoning on a bipolar argumentation framework
• Computing the acceptability semantics
• Logics in Artificial Intelligence
• Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
• Meta Level Reasoning and Default Reasoning
• scientific article; zbMATH DE number 4166920 (Why is no real title available?)
• scientific article; zbMATH DE number 989172 (Why is no real title available?)

This page was built for publication: A logical framework for default reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104777)