36 resultados para mu-calculus
Resumo:
The synthesis of [Rh-2(COD)(2)(dppm)(mu(2)-Cl)] BF4 (1) (COD) 1,5-cyclooctadiene, dppm) bis(diphenylphosphino) methane) from simple precursors is reported. This is a rare example of a dirhodium complex with an open [Rh-2(mu(2)-dppm)(mu(2)-Cl)] core. The complex has been used to affect the hydrogenation of styrene and benzo[b] thiophene with total selectivity and competitive rates of reaction. The recycling of the catalyst has been achieved by the entrapment of 1 in silica by a sol-gel method to produce a recyclable solid catalyst.
Resumo:
The properties of the 1-butyl-3-methylimidazolium salt of the dinuclear mu(4)-(O,O,O',O'-ethane-1,2-dioato)bis[bis-(nitrato-O,O)dioxouranate(VI)] anion have been investigated using electrochemistry, single-crystal X-ray crystallography, and extended X-ray absorbance fine structure spectroscopy: the anion structures from these last two techniques are in excellent agreement with each other. Electrochemical reduction of the complex leads to the a two-electron metal-centered reduction of U(VI) to U(IV), and the production Of UO2, or a complex containing UO2. Under normal conditions, this leads to the coating of the electrode with a passivating film. The presence of volatile organic compounds in the ionic liquids 1-alkyl-3-methylimidazolium nitrate (where the 1-alkyl chain was methyl, ethyl, propyl, butyl, pentyl, hexyl, dodecyl, hexadecyl, or octadecyl) during the oxidative dissolution of uranium(IV) oxide led to the formation of a yellow precipitate. To understand the effect of the cation upon the composition and structure of the precipitates, 1-alkyl-3-methylimidazolium salts of a number of nitratodioxouranate(VI) complexes were synthesized and then analyzed using X-ray crystallography. It was demonstrated that the length of the 1-alkyl chain played an important role, not only in the composition of the complex salt, but also in the synthesis of dinuclear anions containing the bridging mu(4)-(O,O,O',O'-ethane-1,2-dioato), or oxalato, ligand, by protecting it from further oxidation.
Resumo:
The structure of the 1-alkyl-3-methylimidazolium salts of the dinuclear mu(4)-(O,O,O',O'-ethane-1,2-dioato)-bis[bis(nitrato-O,O)dioxouranate(VI)] anion have been investigated using single crystal X-ray crystallography. In addition, EXAFS and electrochemical studies have been performed on the [C(4)mim](+) salt which is formed following the oxidative dissolution of uranium(IV) oxide in [C(4)mim][NO3]. EXAFS analysis of the solution following UO2 dissolution indicates a mixture of uranyl nitrate and mu(4)-(O,O,O',O'-ethane-1,2-dioato)-bis[bis(nitrato-O,O)dioxouranate(VI)] anions are formed.
Resumo:
Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms, and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidence of formulae which are not axioms, and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given, and it is then necessary to find an assignment of incidence which will reproduce these probabilities. We show that this task of assigning incidences can be viewed as a tree searching problem, and two techniques for performing this research are discussed. One of these is a new proposal involving a depth first search, while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficiency and the significance of their results are discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus.
Resumo:
Dealing with uncertainty problems in intelligent systems has attracted a lot of attention in the AI community. Quite a few techniques have been proposed. Among them, the Dempster-Shafer theory of evidence (DS theory) has been widely appreciated. In DS theory, Dempster's combination rule plays a major role. However, it has been pointed out that the application domains of the rule are rather limited and the application of the theory sometimes gives unexpected results. We have previously explored the problem with Dempster's combination rule and proposed an alternative combination mechanism in generalized incidence calculus. In this paper we give a comprehensive comparison between generalized incidence calculus and the Dempster-Shafer theory of evidence. We first prove that these two theories have the same ability in representing evidence and combining DS-independent evidence. We then show that the new approach can deal with some dependent situations while Dempster's combination rule cannot. Various examples in the paper show the ways of using generalized incidence calculus in expert systems.
Resumo:
This paper discusses the relations between extended incidence calculus and assumption-based truth maintenance systems (ATMSs). We first prove that managing labels for statements (nodes) in an ATMS is equivalent to producing incidence sets of these statements in extended incidence calculus. We then demonstrate that the justification set for a node is functionally equivalent to the implication relation set for the same node in extended incidence calculus. As a consequence, extended incidence calculus can provide justifications for an ATMS, because implication relation sets are discovered by the system automatically. We also show that extended incidence calculus provides a theoretical basis for constructing a probabilistic ATMS by associating proper probability distributions on assumptions. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any of such nodes in it. The nogood environments can also be obtained automatically. Therefore, extended incidence calculus and the ATMS are equivalent in carrying out inferences at both the symbolic level and the numerical level. This extends a result due to Laskey and Lehner.
Resumo:
Rh-2(cod)(2)(mu(2)-dppm)(mu(2)-Cl)]BF4 (1) rearranges under carbon monoxide to give [Rh-3(mu(2)-dppm)(2)-(mu(2)-CO)(3)(K-1-CO)(3)]BF4 (2). Complex 2 has been structurally characterized by single crystal X-ray crystallography. The hydroformylation activities of 1 and 2 were compared for substrates styrene and 1-hexene and the activity of 2 found to be unexpectedly high.
Resumo:
The crystal structure of [HgBr2(Pyp)(2)](n) (Pyp = pyrazine, C4H4N2) consists of almost linear HgBr2 molecules which are linked by pyrazine molecules to form double strands of a coordination polymer in the [010] direction. The Hg and Br atoms lie on mirror planes.