Artificial Intelligence
On the Linear Structure of Betting Criterion and the Checking of Coherence
Annals of Mathematics and Artificial Intelligence
Locally Strong Coherence in Inference Processes
Annals of Mathematics and Artificial Intelligence
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
On the checking of G-coherence of conditional probability bounds
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Probabilistic abduction without priors
International Journal of Approximate Reasoning
The inferential complexity of Bayesian and credal networks
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Quasi conjunction and inclusion relation in probabilistic default reasoning
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Generalizing inference rules in a coherence-based probabilistic default reasoning
International Journal of Approximate Reasoning
Incoherence correction strategies in statistical matching
International Journal of Approximate Reasoning
Conglomerable natural extension
International Journal of Approximate Reasoning
International Journal of Approximate Reasoning
Inferential processes leading to possibility and necessity
Information Sciences: an International Journal
Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects
Information Sciences: an International Journal
Hi-index | 0.00 |
We consider conditional random quantities (c.r.q.'s) in the setting of coherence. Given a numerical r.q. X and a non impossible event H, based on betting scheme we represent the c.r.q. X|H as the unconditional r.q. XH+μHc, where μ is the prevision assessed for X|H. We develop some elements for an algebra of c.r.q.'s, by giving a condition under which two c.r.q.'s X|H and Y|K coincide. We show that X|HK coincides with a suitable c.r.q. Y|K and we apply this representation to Bayesian updating of probabilities, by also deepening some aspects of Bayes' formula. Then, we introduce a notion of iterated c.r.q. (X|H)|K, by analyzing its relationship with X|HK. Our notion of iterated conditional cannot formalize Bayesian updating but has an economic rationale. Finally, we define the coherence for prevision assessments on iterated c.r.q.'s and we give an illustrative example.