PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES

DOI10.1017/S1755020322000235MaRDI QIDQ6041340zbMATH OpenOpenAlexFDO

Authors Soroush Rafiee Rad

Publication date 26 May 2023

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020322000235

zbMATH Keywords

belief changeprobabilistic reasoninginconsistencyrevision

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• Information from inconsistent knowledge: a probability logic approach
• Inconsistency as qualified truth: a probability logic approach
• Probabilistic reasoning with incomplete and inconsistent beliefs
• scientific article; zbMATH DE number 4181307

Cites work

• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2096990 (Why is no real title available?)
• A survey of non-prioritized belief revision
• Bayesian epistemology.
• Concerning measures in first order calculi
• Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for
• Handbook of philosophical logic. Vol. 6
• Inconsistency as qualified truth: a probability logic approach
• Inconsistency measures for probabilistic logics
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• Intuitive semantics for first-degree entailments and `coupled trees'
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Measuring inconsistency
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• On inference from inconsistent premisses
• On the logic of theory change: Partial meet contraction and revision functions
• On the theory of inconsistent formal systems
• Probabilistic Entailment and a Non-Probabilistic Logic
• Propositional calculus for contradictory deductive systems
• The Uncertain Reasoner's Companion
• The logic of paradox

Cited in

(7)

• Inconsistency as qualified truth: a probability logic approach
• Probabilistic reasoning with incomplete and inconsistent beliefs
• Information from inconsistent knowledge: a probability logic approach
• Partial inconsistency of probability envelopes
• Consolidation of probabilistic knowledge bases by inconsistency minimization
• Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases

This page was built for publication: PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES

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