An implementation of nonmonotonic reasoning with system W

DOI10.1007/978-3-031-15791-2_1MaRDI QIDQ6045090zbMATH OpenOpenAlexFDO

Authors C. Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer

Publication date 26 May 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15791-2_1

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Nonmonotonic reasoning from conditional knowledge bases with system W
• scientific article; zbMATH DE number 4101149
• scientific article; zbMATH DE number 4047198
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• A theory of nonmonotonic rule systems I

Cites work

• A thorough axiomatization of a principle of conditional preservation in belief revision
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• scientific article; zbMATH DE number 3026923 (Why is no real title available?)
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Nonmonotonic reasoning, preferential models and cumulative logics
• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Properties of system W and its relationships to other inductive inference operators
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• What does a conditional knowledge base entail?

Cited in

(8)

• Nonmonotonic reasoning from conditional knowledge bases with system W
• From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming
• Characterizing multipreference closure with system W
• Approximations of system W between c-inference, system Z, and lexicographic inference
• The InfOCF library for reasoning with conditional belief bases
• Reasoning with System W and infeasible worlds
• Scaling up reasoning from conditional belief bases
• Approximations of system W for inference from strongly and weakly consistent belief bases

This page was built for publication: An implementation of nonmonotonic reasoning with system W

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