0000000000373717

AUTHOR

Veronica Biazzo

showing 8 related works from this author

Some results on generalized coherence of conditional probability bounds

2003

Based on the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence), we adopt a probabilistic approach to uncertainty based on conditional probability bounds. Our notion of g-coherence is equivalent to the 'avoiding uniform loss' property for lower and upper probabilities (a la Walley). Moreover, given a g-coherent imprecise assessment by our algorithms we can correct it obtaining the associated coherent assessment (in the sense of Walley and Williams). As is well known, the problems of checking g-coherence and propagating tight g-coherent intervals are NP and FP^NP complete, respectively, and thus NP-hard. Two notions which may be helpful to reduce co…

g-coherenceUncertain knowledge; coherence; g-coherence; imprecise probabilities; conditional probability bounds; lower and upper probabilities; non relevant gains; basic sets.Settore MAT/06 - Probabilita' E Statistica Matematicanon relevant gainsUncertain knowledgeconditional probability boundslower and upper probabilitiesbasic setsimprecise probabilitiesUncertain knowledge coherence g-coherence imprecise probabilities conditional probability bounds lower and upper probabilities non relevant gains basic setscoherence
researchProduct

Coherence Checking and Propagation of Lower Probability Bounds

2003

In this paper we use imprecise probabilities, based on a concept of generalized coherence (g-coherence), for the management of uncertain knowledge and vague information. We face the problem of reducing the computational difficulties in g-coherence checking and propagation of lower conditional probability bounds. We examine a procedure, based on linear systems with a reduced number of unknowns, for the checking of g-coherence. We propose an iterative algorithm to determine the reduced linear systems. Based on the same ideas, we give an algorithm for the propagation of lower probability bounds. We also give some theoretical results that allow, by suitably modifying our algorithms, the g-coher…

Probability boxMathematical optimizationSettore MAT/06 - Probabilita' E Statistica MatematicaPosterior probabilitynon relevant gainLaw of total probabilityConditional probabilitybasic setsbasic sets; basic sets.; g-coherence checking; lower conditional probability bounds; non relevant gains; propagationCoherence (statistics)Conditional probability distributiong-coherence checking; lower conditional probability bounds; non relevant gainsImprecise probabilityTheoretical Computer Sciencelower conditional probability boundRegular conditional probabilitynon relevant gainspropagationlower conditional probability boundsGeometry and Topologyg-coherence checkingSoftwareMathematics
researchProduct

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…

conditional probability assessmentSettore MAT/06 - Probabilita' E Statistica MatematicaDivergence-from-randomness modelalgorithmsprobabilistic logicConditional probability assessments; probabilistic logic; g-coherence; g-coherent entailment; complexity and algorithms.Artificial IntelligenceProbabilistic logic networkprobabilistic logic under coherenceConditional probability assessmentsProbabilistic analysis of algorithmsNon-monotonic logicconditional constraintMathematicsg-coherent entailmentConditional probability assessments probabilistic logic g-coherence g-coherent entailment complexity and algorithms.Reasoning systemcomputational complexitymodel-theoretic probabilistic logicApplied Mathematicscomplexity and algorithmsProbabilistic logiclogical constraintProbabilistic argumentationg-coherenceconditional probability assessment logical constraint conditional constraint probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment computational complexity algorithmsProbabilistic CTLalgorithms; computational complexity; conditional constraint; conditional probability assessment; g-coherence; g-coherent entailment; logical constraint; model-theoretic probabilistic logic; probabilistic logic under coherenceAlgorithmAnnals of Mathematics and Artificial Intelligence
researchProduct

On the checking of g-coherence of conditional probability bounds

2003

We illustrate an approach to uncertain knowledge based on lower conditional probability bounds. We exploit the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence), which is equivalent to the "avoiding uniform loss" property introduced by Walley for lower and upper probabilities. Based on the additive structure of random gains, we define suitable notions of non relevant gains and of basic sets of variables. Exploiting them, the linear systems in our algorithms can work with reduced sets of variables and/or constraints. In this paper, we illustrate the notions of non relevant gain and of basic set by examining several cases of imprecise assessments d…

Mathematical optimizationSettore MAT/06 - Probabilita' E Statistica MatematicaPosterior probabilityConditional probability tablealgorithmslower conditional probability boundRegular conditional probabilityalgorithms; generalized coherence; linear systems; lower conditional probability bounds; probabilistic reasoning; reduced sets of variables and constraints.Artificial Intelligencelinear systemprobabilistic reasoninggeneralized coherenceMathematicsDiscrete mathematicsreduced sets of variables and constraintsalgorithmlinear systemsProbabilistic logicLaw of total probabilityConditional probabilityCoherence (philosophical gambling strategy)Conditional probability distributionControl and Systems Engineeringlower conditional probability boundsSoftwareInformation Systems
researchProduct

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P

2016

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment defaultreasoning from conditional knowledge bases System P conditional objects.conditional constraintsLogicDefault logicStatistics::Other StatisticsProbabilistic logic networkConditional probability assessmentsprobabilistic logic under coherenceNon-monotonic logicSystem PMathematicsg-coherent entailmentHardware_MEMORYSTRUCTURESmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicSystem P; g-coherence; conditional objectsCoherence (statistics)default reasoning from conditional knowledge basesProbabilistic argumentationConditional probability assessments; conditional constraints; probabilistic logic under coherence; model-theoretic probabilistic logic; g-coherence; g-coherent entailment; default reasoning from conditional knowledge bases; System P; conditional objects.Philosophyg-coherenceProbabilistic CTLArtificial intelligencebusinessAlgorithmconditional objectsJournal of Applied Non−Classical Logics
researchProduct

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

2001

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaKnowledge representation and reasoningComputer scienceDefault logicDivergence-from-randomness modelLogic modelcomputer.software_genreLogical consequenceProbabilistic logic networkConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment default reasoning from conditional knowledge bases System P conditional objectsprobabilistic logic under coherenceNon-monotonic logicProbabilistic relevance modeldefault reasoningmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicProbabilistic argumentationExpert systemg-coherencesystem pProbabilistic CTLArtificial intelligencebusinesscomputerdefault reasoning; g-coherence; model-theoretic probabilistic logic; probabilistic logic under coherence; system p
researchProduct

Coherent Conditional Previsions and Proper Scoring Rules

2012

In this paper we study the relationship between the notion of coherence for conditional prevision assessments on a family of finite conditional random quantities and the notion of admissibility with respect to bounded strictly proper scoring rules. Our work extends recent results given by the last two authors of this paper on the equivalence between coherence and admissibility for conditional probability assessments. In order to prove that admissibility implies coherence a key role is played by the notion of Bregman divergence.

Settore MAT/06 - Probabilita' E Statistica Matematicabregman divergenceproper scor- ing rulesConditional prevision assessmentsconditional scoring rulesstrong dominanceConditional probabilityweak dominanceCoherence (statistics)Bregman divergenceConditional prevision assessments coherence proper scoring rules conditional scoring rules weak dominance strong dominance admissibility Bregman divergence.proper scoring rulescoherenceBounded functionKey (cryptography)admissibilityConditional prevision assessments; conditional scoring rules; admissibility; proper scor- ing rules; weak dominance; strong dominanceEquivalence (measure theory)Mathematical economicsconditional prevision assessments; strong dominance; admissibility; proper scoring rules; bregman divergence; weak dominance; conditional scoring rules; coherenceMathematics
researchProduct

Generalized coherence and connection property of imprecise conditional previsions.

2008

In this paper we consider imprecise conditional prevision assessments on random quantities with finite set of possible values. We use a notion of generalized coherence which is based on the coherence principle of de Finetti. We consider the checking of g-coherence, by extending some previous results obtained for imprecise conditional probability assessments. Then, we study a connection property of interval-valued gcoherent prevision assessments, by extending a result given in a previous paper for precise assessments.

Settore MAT/06 - Probabilita' E Statistica MatematicaConditional random quantities; imprecise prevision assessments; generalized coherence; checking of g-coherence; connection property.Conditional random quantitiesimprecise prevision assessmentsconnection propertyConditional random quantities imprecise prevision assessments generalized coherence checking of g-coherence connection property.checking of g-coherencegeneralized coherence
researchProduct