Nonmonotonic reasoning from conditional knowledge bases with system W

DOI10.1007/s10472-021-09777-9OpenAlexW4200057034MaRDI QIDQ2075375

Christian Komo, Christoph Beierle

Publication date: 14 February 2022

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-021-09777-9

zbMATH Keywords

conditionalconstraint satisfaction problemnonmonotonic inferencesystem Psystem Zconditional knowledge baseC-inferenceC-representationsystem W

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (3)

An implementation of nonmonotonic reasoning with system W ⋮ Characterizing multipreference closure with system W ⋮ Properties of system W and its relationships to other inductive inference operators

Uses Software

• InfOCF-Web

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural inference from conditional knowledge bases
• Relevance in belief revision
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the consistency of defeasible databases
• 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
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Semantical investigations into nonmonotonic and probabilistic logics
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• The quantitative/qualitative watershed for rules of uncertain inference
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
• Conditional objects as nonmonotonic consequence relationships
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: Nonmonotonic reasoning from conditional knowledge bases with system W