Independence - revision and defaults

We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning

From ab initio quantum chemistry to molecular dynamics: The delicate case of hydrogen bonding in ammonia

The ammonia dimer (NH3)2 has been investigated using high--level ab initio quantum chemistry methods and density functional theory (DFT). The structure and energetics of important isomers is obtained to unprecedented accuracy without resorting to experiment. The global minimum of eclipsed C_s symmetry is characterized by a significantly bent hydrogen bond which deviates from linearity by about 20 degrees. In addition, the so-called cyclic C_{2h} structure is extremely close in energy on an overall flat potential energy surface. It is demonstrated that none of the currently available (GGA, meta--GGA, and hybrid) density functionals satisfactorily describe the structure and relative energies of this nonlinear hydrogen bond. We present a novel density functional, HCTH/407+, designed to describe this sort of hydrogen bond quantitatively on the level of the dimer, contrary to e.g. the widely used BLYP functional. This improved functional is employed in Car-Parrinello ab initio molecular dynamics simulations of liquid ammonia to judge its performance in describing the associated liquid. Both the HCTH/407+ and BLYP functionals describe the properties of the liquid well as judged by analysis of radial distribution functions, hydrogen bonding structure and dynamics, translational diffusion, and orientational relaxation processes. It is demonstrated that the solvation shell of the ammonia molecule in the liquid phase is dominated by steric packing effects and not so much by directional hydrogen bonding interactions. In addition, the propensity of ammonia molecules to form bifurcated and multifurcated hydrogen bonds in the liquid phase is found to be negligibly small.Comment: Journal of Chemical Physics, in press (305335JCP

Conditionals and modularity in general logics

In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics

Modeling Belief in Dynamic Systems, Part II: Revision and Update

The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper (Friedman & Halpern, 1997), we introduce a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to examine the change of beliefs over time. In this paper, we show how belief revision and belief update can be captured in our framework. This allows us to compare the assumptions made by each method, and to better understand the principles underlying them. In particular, it shows that Katsuno and Mendelzon's notion of belief update (Katsuno & Mendelzon, 1991a) depends on several strong assumptions that may limit its applicability in artificial intelligence. Finally, our analysis allow us to identify a notion of minimal change that underlies a broad range of belief change operations including revision and update.Comment: See http://www.jair.org/ for other files accompanying this articl

Space station automation of common module power management and distribution, volume 2

The new Space Station Module Power Management and Distribution System (SSM/PMAD) testbed automation system is described. The subjects discussed include testbed 120 volt dc star bus configuration and operation, SSM/PMAD automation system architecture, fault recovery and management expert system (FRAMES) rules english representation, the SSM/PMAD user interface, and the SSM/PMAD future direction. Several appendices are presented and include the following: SSM/PMAD interface user manual version 1.0, SSM/PMAD lowest level processor (LLP) reference, SSM/PMAD technical reference version 1.0, SSM/PMAD LLP visual control logic representation's (VCLR's), SSM/PMAD LLP/FRAMES interface control document (ICD) , and SSM/PMAD LLP switchgear interface controller (SIC) ICD

Direct Observation of Early-stage Quantum Dot Growth Mechanisms with High-temperature Ab Initio Molecular Dynamics

Colloidal quantum dots (QDs) exhibit highly desirable size- and shape-dependent properties for applications from electronic devices to imaging. Indium phosphide QDs have emerged as a primary candidate to replace the more toxic CdSe QDs, but production of InP QDs with the desired properties lags behind other QD materials due to a poor understanding of how to tune the growth process. Using high-temperature ab initio molecular dynamics (AIMD) simulations, we report the first direct observation of the early stage intermediates and subsequent formation of an InP cluster from separated indium and phosphorus precursors. In our simulations, indium agglomeration precedes formation of In-P bonds. We observe a predominantly intercomplex pathway in which In-P bonds form between one set of precursor copies while the carboxylate ligand of a second indium precursor in the agglomerated indium abstracts a ligand from the phosphorus precursor. This process produces an indium-rich cluster with structural properties comparable to those in bulk zinc-blende InP crystals. Minimum energy pathway characterization of the AIMD-sampled reaction events confirms these observations and identifies that In-carboxylate dissociation energetics solely determine the barrier along the In-P bond formation pathway, which is lower for intercomplex (13 kcal/mol) than intracomplex (21 kcal/mol) mechanisms. The phosphorus precursor chemistry, on the other hand, controls the thermodynamics of the reaction. Our observations of the differing roles of precursors in controlling QD formation strongly suggests that the challenges thus far encountered in InP QD synthesis optimization may be attributed to an overlooked need for a cooperative tuning strategy that simultaneously addresses the chemistry of both indium and phosphorus precursors.Comment: 40 pages, 9 figures, submitted for publicatio

Superprotonic phase transition of CsHSO4: A molecular dynamics simulation study

The superprotonic phase transition (phase II --> phase I; 414 K) of cesium hydrogen sulfate, CsHSO4, was simulated using molecular dynamics with the "first principles" MSXX force field (FF). The structure, binding energy, and vibrational frequencies of the CsHSO4 monomer, the binding energy of the (H2SO4)2 dimer, and the torsion barrier of the HSO4- ion were determined from quantum mechanical calculations, and the parameters of the Dreiding FF for Cs, S, O, and H adjusted to reproduce these quantities. Each hydrogen atom was treated as bonded exclusively to a single oxygen atom (proton donor), but allowed to form hydrogen bonds to various second nearest oxygen atoms (proton acceptors). Fixed temperature-pressure (NPT) dynamics were employed to study the structure as a function of temperature from 298 to 723 K. In addition, the influence of several force field parameters, including the hydrogen torsional barrier height, hydrogen bond strength, and oxygen charge distribution, on the structural behavior of CsHSO4 was probed. Although the FF does not allow proton migration (i.e., proton jumps) between oxygen atoms, a clear phase transition occurred as demonstrated by a discrete change of unit cell symmetry (monoclinic to tetragonal), cell volume, and molar enthalpy. The dynamics of the HSO4- group reorientational motion also changed dramatically at the transition. The observation of a transition to the expected tetragonal phase using a FF in which protons cannot migrate indicates that proton diffusion does not drive the transition to the superprotonic phase. Rather, high conductivity is a consequence of the rapid reorientations that occur in the high temperature phase. Furthermore, because no input from the superprotonic phase was employed in these simulations, it may be possible to employ MD to hypothesize superprotonic materials