Search results for "Prevision"

showing 10 items of 39 documents

Probabilities of conditionals and previsions of iterated conditionals

2019

Abstract We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability to be the conditional probability. In our approach, however, we avoid triviality because the import-export principle is invalid. We then analyze an example of reasoning under partial knowledge where, given a conditional if A then C as information, the probability of A should intuitively increase. We explain this intuition by making some implicit background information explicit. We consider several (generalized) iterated conditionals, which allow…

Background informationSettore MAT/06 - Probabilita' E Statistica MatematicaInference02 engineering and technologyConditional probabilities and previsionTheoretical Computer ScienceConditional random quantitieAffirmation of the ConsequentArtificial Intelligence020204 information systemsFOS: Mathematics0202 electrical engineering electronic engineering information engineeringConjoined and iterated conditionalMathematicsIndependence and uncorrelation.Applied MathematicsProbability (math.PR)Conditional probabilityMathematics - LogicTrivialityIterated function020201 artificial intelligence & image processingLogic (math.LO)Mathematical economicsCoherenceSoftwareMathematics - ProbabilityIntuition
researchProduct

Iterated Conditionals and Characterization of P-Entailment

2021

In this paper we deepen, in the setting of coherence, some results obtained in recent papers on the notion of p-entailment of Adams and its relationship with conjoined and iterated conditionals. We recall that conjoined and iterated conditionals are suitably defined in the framework of conditional random quantities. Given a family \(\mathcal {F}\) of n conditional events \(\{E_{1}|H_{1},\ldots , E_{n}|H_{n}\}\) we denote by \(\mathcal {C}(\mathcal {F})=(E_{1}|H_{1})\wedge \cdots \wedge (E_{n}|H_{n})\) the conjunction of the conditional events in \(\mathcal F\). We introduce the iterated conditional \(\mathcal {C}(\mathcal {F}_{2})|\mathcal {C}(\mathcal {F}_{1})\), where \(\mathcal {F}_{1}\)…

CombinatoricsPhysicsSettore MAT/06 - Probabilita' E Statistica MatematicaCoherence Conditional events Conditional random quantitiesConditional previsions Conjoined conditionals Iterated conditionalsProbabilistic entailment.Iterated functionProduct (mathematics)Characterization (mathematics)
researchProduct

On general conditional prevision assessments

2009

In this paper we consider general conditional random quantities of the kind $X|Y$, where $X$ and $Y$ are finite discrete random quantities. Then, we introduce the notion of coherence for conditional prevision assessments on finite families of general conditional random quantities. Moreover, we give a compound prevision theorem and we examine the relation between the previsions of $X|Y$ and $Y|X$. Then, we give some results on random gains and, by a suitable alternative theorem, we obtain a characterization of coherence. We also propose an algorithm for the checking of coherence. Finally, we briefly examine the case of imprecise conditional prevision assessments by introducing the notions of…

Conditional random quantities; coherence; conditional prevision assessments; random gain; alternative theorems; algorithms; imprecise assessments; generalized and total coherence.Settore MAT/06 - Probabilita' E Statistica Matematicarandom gainConditional events general conditional random quantitiesgeneral conditional prevision assessments generalized compound prevision theorem generalized Bayes TheoremConditional random quantitiesalgorithmsimprecise assessmentsalternative theoremsgeneralized and total coherencecoherenceconditional prevision assessments
researchProduct

Analisi del processo di consumo istantaneo di singole utenze residenziali con il modello di Poisson ad impulsi rettangolari

2008

Consumi idrici modelli previsionali
researchProduct

Conditional Random Quantities and Compounds of Conditionals

2013

In this paper we consider finite conditional random quantities and conditional previsions assessments in the setting of coherence. We use a suitable representation for conditional random quantities; in particular the indicator of a conditional event $E|H$ is looked at as a three-valued quantity with values 1, or 0, or $p$, where $p$ is the probability of $E|H$. We introduce a notion of iterated conditional random quantity of the form $(X|H)|K$ defined as a suitable conditional random quantity, which coincides with $X|HK$ when $H \subseteq K$. Based on a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of cohere…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaLogicImport–Export principleProbability (math.PR)Probabilistic logicConjunctionOf the formSettore M-FIL/02 - Logica E Filosofia Della ScienzaCoherence (philosophical gambling strategy)Conditional random quantitieConjunction (grammar)Lower/upper prevision boundsHistory and Philosophy of ScienceNegationIterated functionIterated conditioningFOS: MathematicsConditional eventRepresentation (mathematics)CoherenceDisjunctionMathematics - ProbabilityMathematicsEvent (probability theory)
researchProduct

Compound conditionals, Fr\'echet-Hoeffding bounds, and Frank t-norms

2021

Abstract In this paper we consider compound conditionals, Frechet-Hoeffding bounds and the probabilistic interpretation of Frank t-norms. By studying the solvability of suitable linear systems, we show under logical independence the sharpness of the Frechet-Hoeffding bounds for the prevision of conjunctions and disjunctions of n conditional events. In addition, we illustrate some details in the case of three conditional events. We study the set of all coherent prevision assessments on a family containing n conditional events and their conjunction, by verifying that it is convex. We discuss the case where the prevision of conjunctions is assessed by Lukasiewicz t-norms and we give explicit s…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaLogical independenceFrank t-normsApplied MathematicsLinear systemProbabilistic logicRegular polygon02 engineering and technologyConjunction and disjunctionConditional previsionTheoretical Computer ScienceConvexityFréchet-Hoeffding boundArtificial Intelligence020204 information systems0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingPairwise comparisonCoherenceSoftwareMathematics - ProbabilityCounterexampleMathematicsCorresponding conditional
researchProduct

Generalized probabilistic modus ponens

2017

Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the re…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaProbabilistic logicConjoined conditionalPrevision0102 computer and information sciences02 engineering and technologyCoherence (philosophical gambling strategy)Settore MAT/01 - Logica MatematicaModus ponen01 natural sciencesConditional random quantitieTheoretical Computer ScienceModus ponendo tollens010201 computation theory & mathematicsIterated functionComputer Science0202 electrical engineering electronic engineering information engineeringIterated conditional020201 artificial intelligence & image processingRule of inferenceModus ponensCoherenceEvent (probability theory)Mathematics
researchProduct

Conditional Random Quantities and Iterated Conditioning in the Setting of Coherence

2013

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 + μH c , 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 conditiona…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaSettore INF/01 - Informaticaconditional random quantitiesCoherence (statistics)Bayesian inferencebayesian updatingcoherenceCombinatoricsconditional previsionsBayes' theoremIterated functionbayesian updating; conditional random quantities; betting scheme; conditional previsions; coherence; iterated conditioning; iterated conditioning.Coherence betting scheme conditional random quantities conditional previsions Bayesian updating iterated conditioning.Scheme (mathematics)iterated conditioningConditioningRepresentation (mathematics)betting schemeEvent (probability theory)Mathematics
researchProduct

Generalized Logical Operations among Conditional Events

2018

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 Frechet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal…

FOS: Computer and information sciencesSettore MAT/06 - Probabilita' E Statistica MatematicaComputer Science - Artificial IntelligenceComputer scienceMonotonic functionProbabilistic reasoning02 engineering and technologyCommutative Algebra (math.AC)Conditional random quantitieFréchet-Hoeffding boundCoherent extensionNegationArtificial IntelligenceQuasi conjunction0202 electrical engineering electronic engineering information engineeringFOS: MathematicsCoherent prevision assessmentConditional eventNon-monotonic logicRule of inferenceCommutative propertyAssociative propertyDiscrete mathematicsProbability (math.PR)Probabilistic logicOrder (ring theory)ConjunctionMathematics - LogicCoherence (philosophical gambling strategy)p-entailmentProbabilistic inferenceMathematics - Commutative AlgebraConjunction (grammar)Artificial Intelligence (cs.AI)020201 artificial intelligence & image processingInference ruleNegationLogic (math.LO)Mathematics - ProbabilityDisjunction
researchProduct

Utilizzo di tecniche di machine learning e previsioni stagionali per la stima dei volumi di invaso

Gestione della risorsa idrica in condizioni emergenziali in SiciliaSettore ICAR/02 - Costruzioni Idrauliche E Marittime E IdrologiaTecniche di machine learning per la previsione dei livelli di invaso.Utilizzo di dati di previsione stagionale a medio termine
researchProduct