Mechanisms underlying Down syndrome (DS)-related mental retardation (MR) remain poorly understood. In trisomic offspring, non-disjunction may result in the reduction to homozygosity of a susceptibility allele inherited from a heterozygous parent. Accordingly, we sought evidence for allelic non-disjunction in the GluK1 gene that encodes the critical kainite-binding glutamate receptor subunit-5, ...

Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge representation and reasoning. However, disjunction is often not really needed, in that an equivalent program without disjunction can be given. In this paper, we consider the question, given a disjunctive logic program, P ,...

In this paper we consider a logical treatment for the ordered disjunction operator × introduced by Brewka, Niemelä and Syrjänen in their Logic Programs with Ordered Disjunctions (LPOD). LPODs are used to represent preferences in logic programming under the answer set semantics. Their semantics is defined by first translating the LPOD into a set of normal programs (called split programs) and the...

We elaborate a theory for the modeling of concepts using the mathematical structure of quantum mechanics. Items and concepts are represented by vectors in the complex Hilbert space of quantum mechanics and membership weights of items are modeled by quantum weights calculated following the quantum rules. We apply this theory to model the disjunction of concepts and show that the predictions of o...

We investigate intermediate logics between the bunched logics Boolean BI and Classical BI, obtained by combining classical propositional logic with various flavours of Hyland and De Paiva’s full intuitionistic linear logic. Thus, in addition to the usual multiplicative conjunction (with its adjoint implication and unit), our logics also feature a multiplicative disjunction (with its adjoint co-...

The sure thing principle and the law of total probability are basic laws in classic probability theory. A disjunction fallacy leads to the violation of these two classical laws. In this paper, an Evidential Markov (EM) decision making model based on Dempster-Shafer (D-S) evidence theory and Markov modelling is proposed to address this issue and model the real human decision-making process. In a...

BACKGROUND In humans, little is known about the mechanisms of non-disjunction working in male meiosis, although considerable attention has been given to these mechanisms in female meiosis. The present study explores the origin of meiotic non-disjunction during human spermatogenesis and the chromosomes most commonly involved in this process. METHODS We used Multiplex fluorescence in situ hybri...

We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on n conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms:...

In this paper we consider a logical treatment for the ordered disjunction operator × introduced by Brewka, Niemelä and Syrjänen in their Logic Programs with Ordered Disjunctions (LPOD). LPODs are used to represent preferences in logic programming under the answer set semantics. Their semantics is defined by first translating the LPOD into a set of normal programs (called split programs) and the...

We describe the isolation and characterization of Aberrant X segregation (Axs), a dominant female-specific meiotic mutation. Although Axs has little or no effect on the frequency or distribution of exchange, or on the disjunction of exchange bivalents, nonexchange X chromosomes undergo nondisjunction at high frequencies in Axs/+ and Axs/Axs females. This increased X chromosome nondisjunction is...