Search results for "Disjunct"
showing 10 items of 62 documents
Canonical Extensions of Conditional Probabilities and Compound Conditionals
2022
In this paper we show that the probability of conjunctions and disjunctions of conditionals in a recently introduced framework of Boolean algebras of conditionals are in full agreement with the corresponding operations of conditionals as defined in the approach developed by two of the authors to conditionals as three-valued objects, with betting-based semantics, and specified as suitable random quantities. We do this by first proving that the canonical extension of a full conditional probability on a finite algebra of events to the corresponding algebra of conditionals is compatible with taking subalgebras of events.
Algebraic aspects and coherence conditions for conjunctions among conditional events
2018
We deepen the study of a notion of conjunction among conditional events, introduced in previous papers in theframework of coherence. This notion of conjunction, differently from other approaches, is given in the setting ofconditional random quantities. We show that some well known properties which are satisfied by conjunctionsof unconditional events are also satisfied by conjunctions of conditional events. In particular we examine anadditive property and a decomposition formula, by also obtaining a generalized inclusion-exclusion formula. Then,by exploiting the notion of conjunction, we introduce the set of constituents generated bynconditional events.Moreover, under logical independence, w…
Logical Operations among Conditional Events: theoretical aspects and applications
2019
We generalize the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval $[0,1]$. We also define the notion of negation, by verifying De Morgan's Laws. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals and we show that some well known properties which are satisfied by conjunctions and disjunctions of unconditional events are also satisfied by conjunctions and disjunction of conditional events. We also examine in detail the coherence of the prevision a…
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 Fr'echet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $mathc…
Compounds of conditionals and iterated conditioning under coherence
2017
We discuss the problem of defining logical operations among conditional events. Differently from many authors, we define the conjunction and disjunction in the setting of conditional random quantities. In probability theory and in probability logic a relevant problem, largely discussed by many authors, is that of defining logical operations among conditional events. In the many works concerning these operations, the conjunction and disjunction have been usually defined as suitable conditional events. In Kaufmann 2009 it has been proposed a theory for the compounds of conditionals which has been framed in the setting of coherence in (Gilio and Sanfilippo , 2013, 2014) In this framework, whic…
On compound and iterated conditionals
2021
We illustrate the notions of compound and iterated conditionals introduced, in recent papers, as suitable conditional random quantities, in the framework of coherence. We motivate our definitions by examining some concrete examples. Our logical operations among conditional events satisfy the basic probabilistic properties valid for unconditional events. We show that some, intuitively acceptable, compound sentences on conditionals can be analyzed in a rigorous way in terms of suitable iterated conditionals. We discuss the Import-Export principle, which is not valid in our approach, by also examining the inference from a material conditional to the associated conditional event. Then, we illus…
Systematics and population genetics of the coldwater (Etheostoma ditrema) and watercress (Etheostoma nuchale) darters, with comments on the Gulf dart…
2005
Abstract Current taxonomy of the Etheostoma asprigene species group recognizes four species, two of which ( Etheostoma ditrema Ramsey and Suttkus and Etheostoma nuchale Howell and Caldwell) are restricted to isolated springs and spring-fed stream systems above the Fall Line of the Mobile Basin of Alabama, Georgia, and Tennessee. Previous studies of morphological and biochemical variation between disjunct populations of E. ditrema support the presence of multiple independent lineages. Unfortunately, the lack of phylogenetic methodology has made it impossible to distinguish historically differentiated non-sister taxa from currently intergrading sister lineages. The current study examines memb…
Conjunction, Disjunction and Iterated Conditioning of Conditional Events
2013
Starting from 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 coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the…
Extending CSG with projections: Towards formally certified geometric modeling
2015
We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…
Taxonomy and evolution of the Convolvulus sabatius complex (Convolvulaceae)
2010
A revision of the Convolvulus sabatius complex is presented and five taxa are now recognised. Convolvulus valentinus is re-circumscribed to comprise only blue-flowered individuals. Yellow-flowered plants previously referred to this species are transferred to C. supinus where they are recognised as a distinct variety: C. supinus var. melliflorus, comb nov. Variation in intensity of flower colour, pubescence and leaf shape among blue-flowered C. valentinus is highly variable within populations and in contrast to earlier treatments, no infraspecific taxa based on these traits are recognised. Despite suggestions to the contrary, the delimitation of the cultivated ornamental C. sabatius and its …