Nonmonotonic reasoning from conditional knowledge bases with system W

DOI10.1007/S10472-021-09777-9OpenAlexW4200057034MaRDI QIDQ2075375FDOQ2075375

Authors: Christian Komo, C. 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

Recommendations

• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• What does a conditional knowledge base entail?
• The W systems: between maximum entropy and minimal ranking…
• Structural inference from conditional knowledge bases
• An implementation of nonmonotonic reasoning with system W

zbMATH Keywords

nonmonotonic inferenceconstraint satisfaction problemconditionalsystem Psystem Zconditional knowledge baseC-inferenceC-representationsystem W

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Counterfactuals.
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• The quantitative/qualitative watershed for rules of uncertain inference
• Title not available (Why is that?)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• On the consistency of defeasible databases
• Conditional objects as nonmonotonic consequence relationships
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Structural inference from conditional knowledge bases
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Relevance in belief revision
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• Semantical investigations into nonmonotonic and probabilistic logics
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• 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
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds

Cited In (13)

• Properties of system W and its relationships to other inductive inference operators
• From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming
• Approximations of system W between c-inference, system Z, and lexicographic inference
• Representing nonmonotonic inference based on c-representations as an SMT problem
• An implementation of nonmonotonic reasoning with system W
• Characterizing multipreference closure with system W
• Structural inference from conditional knowledge bases
• Scaling up nonmonotonic c-inference via partial MaxSAT problems
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• The W systems: between maximum entropy and minimal ranking…
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Rational closure extension in SPO-representable inductive inference operators

Uses Software

• InfOCF-Web

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

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