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

default reasoningfirst-order model theorymultiple extension problemsnonmonotonic reasoningsemantics

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

• A first-order conditional logic for prototypical properties
• A logic for default reasoning
• Formalizing nonmonotonic reasoning systems
• 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?)
• Non-monotonic logic. I
• Semantical considerations on nonmonotonic logic

Cited in

(only showing first 100 items - show all)

• Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
• Default logic generalized and simplified
• Default reasoning and possibility theory
• A note on the stable model semantics for logic programs
• Preferential reasoning in the perspective of Poole default logic
• The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Linear resolution for consequence finding
• A logic for reasoning with inconsistent knowledge
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Compositional model-theoretic semantics for logic programs
• On first-order conditional logics
• Prolog technology for default reasoning: proof theory and compilation techniques
• Lexicographic priorities in default logic
• Reasoning with vague default
• Is default logic a reinvention of inductive-statistical reasoning?
• The open logic and its relation to circumscription
• Similarity preservation in default logic
• Probabilistic Horn abduction and Bayesian networks
• Nonmonotonic inference based on expectations
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Unifying default reasoning and belief revision in a modal framework
• Conditional logics of normality: A modal approach
• Grammatically biased learning: Learning logic programs using an explicit antecedent description language
• Operational concepts of nonmonotonic logics. I: Default logic
• Alternative approaches to default logic
• An argumentation framework in default logic
• On rules of abduction.
• Choosing reference classes and building provisional models
• Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions
• Hypothetical reasoning and brainware
• Non-prioritized ranked belief change
• An abstract, argumentation-theoretic approach to default reasoning
• Dynamic reasoning with qualified syllogisms
• Semantics and complexity of abduction from default theories
• Abstract argumentation systems
• Compiling specificity into approaches to nonmonotonic reasoning
• Abductive reasoning through filtering
• Default reasoning and belief revision: A syntax-independent approach
• Expressing preferences in default logic
• Prioritized logic programming and its application to commonsense reasoning
• Computing with default logic
• Obligation as optimal goal satisfaction
• System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
• Restricted semantics for default reasoning
• Semantics for a theory of defeasible reasoning
• Abductive logics in a belief revision framework
• Local logics, non-monotonicity and defeasible argumentation
• On the computational complexity of assumption-based argumentation for default reasoning.
• Nested abnormality theories
• Abduction as belief revision
• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• A comparative study of open default theories
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Default reasoning by deductive planning
• Belief revision, conditional logic and nonmonotonic reasoning
• Minimal model semantics for sorted constraint representation
• Modular specifications with supernormal defaults
• Another perspective on default reasoning
• Connections between default reasoning and partial constraint satisfaction
• A modal logic for subjective default reasoning
• Judgment aggregation in nonmonotonic logic
• Abduction to plausible causes: an event-based model of belief update
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
• The dramatic true story of the frame default
• Nonmonotonic inferences and neural networks
• Active logic semantics for a single agent in a static world
• Redundancy in logic. III: Non-monotonic reasoning
• Combining answer set programming with description logics for the semantic web
• Consistency defaults
• Dialectic proof procedures for assumption-based, admissible argumentation
• Abductive inference in defeasible reasoning: a model for research programmes
• Conflicting imperatives and dyadic deontic logic
• Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations
• scientific article; zbMATH DE number 1696836 (Why is no real title available?)
• Preferential reasoning for modal logics
• scientific article; zbMATH DE number 989172 (Why is no real title available?)
• Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• A methodology for using a default and abductive reasoning system
• Hybrid reasoning on a bipolar argumentation framework
• scientific article; zbMATH DE number 4200176 (Why is no real title available?)
• scientific article; zbMATH DE number 5674843 (Why is no real title available?)
• ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
• scientific article; zbMATH DE number 4166920 (Why is no real title available?)
• Meta Level Reasoning and Default Reasoning
• A Default Logic Patch for Default Logic
• The use of modal default reasoning in information systems
• Completing causal networks by meta-level abduction
• scientific article; zbMATH DE number 140378 (Why is no real title available?)
• scientific article; zbMATH DE number 1292298 (Why is no real title available?)
• scientific article; zbMATH DE number 517030 (Why is no real title available?)
• scientific article; zbMATH DE number 569774 (Why is no real title available?)
• Abnormality and randomness
• Nonmonotonic reasoning based on incomplete logic
• scientific article; zbMATH DE number 1973866 (Why is no real title available?)
• scientific article; zbMATH DE number 2031006 (Why is no real title available?)
• Declarative Representation of Revision Strategies*

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)