System Z^FO: default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases

DOI10.1016/J.IJAR.2017.07.005MaRDI QIDQ1678418zbMATH OpenOpenAlexFDO

Authors C. Beierle, Tobias Falke, Steven Kutsch, Gabriele Kern-Isberner

Publication date 17 November 2017

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2017.07.005

zbMATH Keywords

conditional logicfirst-order logicnonmonotonic logicranking functionsystem Ztolerance pair

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A system Z-like approach for first-order default reasoning
• A ranking semantics for first-order conditionals
• First-order conditional logic for default reasoning revisited
• System JLZ -- rational default reasoning by minimal ranking constructions.
• Structural inference from conditional knowledge bases

Cites work

• A logical framework for default reasoning
• A non-monotonic description logic for reasoning about typicality
• A ranking semantics for first-order conditionals
• A system Z-like approach for first-order default reasoning
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Algorithms and Data Structures
• Counterfactuals.
• Defeasible inclusions in low-complexity DLs
• scientific article; zbMATH DE number 4104920 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 3321249 (Why is no real title available?)
• Logic programming and knowledge representation---The A-Prolog perspective
• On first-order conditional logics
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• Structural inference from conditional knowledge bases
• System JLZ -- rational default reasoning by minimal ranking constructions.
• What does a conditional knowledge base entail?

Cited in

(5)

• System JLZ -- rational default reasoning by minimal ranking constructions.
• On the KLM properties of a fuzzy DL with typicality
• A ranking semantics for first-order conditionals
• scientific article; zbMATH DE number 1931695 (Why is no real title available?)
• A system Z-like approach for first-order default reasoning

This page was built for publication: System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases

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