We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.PR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Probability

Title: Generalized Logical Operations among Conditional Events

Abstract: We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan's Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular we examine the Fr\'echet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal{C}_{n+1}$ of $n+1$ conditional events to the family $\{\mathcal{C}_{n},E_{n+1}|H_{n+1}\}$. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid.
Subjects: Probability (math.PR); Artificial Intelligence (cs.AI); Commutative Algebra (math.AC); Logic (math.LO)
Journal reference: Applied Intelligent 2018
DOI: 10.1007/s10489-018-1229-8
Cite as: arXiv:1804.10447 [math.PR]
  (or arXiv:1804.10447v1 [math.PR] for this version)

Submission history

From: Giuseppe Sanfilippo [view email]
[v1] Fri, 27 Apr 2018 11:32:49 GMT (111kb,D)

Link back to: arXiv, form interface, contact.