Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models

DOI10.1016/j.artint.2021.103489OpenAlexW3134062867MaRDI QIDQ2238598

Gabriele Kern-Isberner, Steven Kutsch, Christoph Beierle, Christian Eichhorn

Publication date: 2 November 2021

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2021.103489

zbMATH Keywords

nonmonotonic logicconditional logicranking functionminimal modelc-inferenceinference modeweakly skeptical inference

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (7)

An implementation of nonmonotonic reasoning with system W ⋮ A kinematics principle for iterated revision ⋮ Characterizing multipreference closure with system W ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings ⋮ Properties of system W and its relationships to other inductive inference operators ⋮ Semantic splitting of conditional belief bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural inference from conditional knowledge bases
• Relevance in belief revision
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• A thorough axiomatization of a principle of conditional preservation in belief revision
• A formal analysis of relevance
• The possibilistic handling of irrelevance in exception-tolerant reasoning
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Semantical investigations into nonmonotonic and probabilistic logics
• Normal forms of conditional knowledge bases respecting entailments and renamings
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• The quantitative/qualitative watershed for rules of uncertain inference
• Weak nonmonotonic probabilistic logics
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
• Handling conditionals adequately in uncertain reasoning and belief revision
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models