scientific article

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

nonmonotonic logic consequence operation closed world assumption nonmonotonic inference circumscription cumulative inference Reiter's default inference

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99)

Related Items

Conditional logics of normality: A modal approach ⋮ On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics ⋮ Operational concepts of nonmonotonic logics. I: Default logic ⋮ Alternative approaches to default logic ⋮ Preferences in artificial intelligence ⋮ On the KLM properties of a fuzzy DL with typicality ⋮ Representation results for non-cumulative logics ⋮ DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST ⋮ Equilibrium logic ⋮ Belief revision and verisimilitude ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Non-strict interventionism: the case of right-nested counterfactuals ⋮ Redundancy in logic. III: Non-monotonic reasoning ⋮ SPIRIT and Léa Sombé: A study in probabilistic reasoning ⋮ Generalized compactness of nonmonotonic inference operations ⋮ On the logical properties of the nonmonotonic description logic $\mathcal{DL}^{\operatorname{N}}$ ⋮ The relevance of a relevantly assertable disjunction for material implication ⋮ Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning ⋮ Reasoning by cases in Default Logic ⋮ System $\text{Z}^{\text{FO}}$: default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ About boundedness for some datalog and DATALOGneg programs ⋮ From statistical knowledge bases to degrees of belief ⋮ A sphere world semantics for default reasoning ⋮ Nonmonotonicity and answer set inference ⋮ Rules of proof for maximal entropy inference ⋮ Logical argumentation by dynamic proof systems ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ A sequent calculus for skeptical Default Logic ⋮ Proof complexity of propositional default logic ⋮ Explaining default intuitions using maximum entropy. ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ The logic of theory assessment ⋮ A formal framework for causal modeling and argumentation ⋮ Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition ⋮ Partial equilibrium logic ⋮ A modal logic for subjective default reasoning ⋮ Cumulative default logic: In defense of nonmonotonic inference rules ⋮ Relational Probabilistic Conditional Reasoning at Maximum Entropy ⋮ Sequent calculi for default and autoepistemic logics ⋮ What does a conditional knowledge base entail? ⋮ Judgment aggregation in nonmonotonic logic ⋮ The complexity of path-based defeasible inheritance ⋮ CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS ⋮ Conditional entailment: bridging two approaches to default reasoning. ⋮ A note on the cumulativity of justified default logic ⋮ Artificial nonmonotonic neural networks ⋮ Connectives in Cumulative Logics ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Explicating logical independence ⋮ The semantics of incomplete databases as an expression of preferences ⋮ The value of the four values ⋮ Ordering-based representations of rational inference ⋮ A simple signed system for paraconsistent reasoning ⋮ To preference via entrenchment ⋮ Belief functions and default reasoning ⋮ New Horn Rules for Probabilistic Consequence: Is $$\mathrm{O}{+}$$ Enough? ⋮ Probabilistic Modeling of Default Reasoning ⋮ On cumulative default logics ⋮ Nonmonotonic inference based on expectations ⋮ Nonmonotonic inconsistency ⋮ A nonmonotonic observation logic ⋮ Conditional probability and defeasible inference