Believing in default rules: inclusive default reasoning

DOI10.1007/S11229-025-04950-7MaRDI QIDQ7229162zbMATH OpenFDO

Authors Rasmus K. Rendsvig

Publication date 15 April 2026

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11229-025-04950-7

zbMATH Keywords

default logicdefault reasoningnon-monotonic reasoningPackard's lexicographic lifting ruleprioritized default logicrational beliefs

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites work

• A logic for default reasoning
• A logical framework for default reasoning
• A uniqueness result for extending orders; with application to collective choice as inconsistency resolution
• Circumscription - a form of non-monotonic reasoning
• Constraints for input/output logics
• Defaulting on Reasons
• Defaults with priorities
• Expressing preferences in default logic
• scientific article; zbMATH DE number 5161842 (Why is no real title available?)
• scientific article; zbMATH DE number 3930376 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 408775 (Why is no real title available?)
• scientific article; zbMATH DE number 1333625 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• scientific article; zbMATH DE number 611091 (Why is no real title available?)
• scientific article; zbMATH DE number 1748571 (Why is no real title available?)
• scientific article; zbMATH DE number 1761422 (Why is no real title available?)
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• scientific article; zbMATH DE number 3087284 (Why is no real title available?)
• Input/output logics
• Lexicographic priorities in default logic
• Modeling deep disagreement in default logic
• More about plausibility orderings
• Non-monotonic logic. I
• Plausibility orderings and social choice
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Semantical considerations on nonmonotonic logic
• Skepticism and floating conclusions
• The role of default logic in knowledge representation
• Variable priorities and exclusionary reasons in input/output logic

This page was built for publication: Believing in default rules: inclusive default reasoning

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