Multi-ionization of helium and lithium using the independent electron and independent event models with intrinsic CDW

Cross sections for the multi-ionization of He and Li are presented for impact energies in the range of 50 to 1000 keV/amu. These are calculated using the eikonal initial state approximation to represent the input and exit channels of the active electrons. The ionization process is simulated in a variety of ways, most notably an attempt to account for the effects of electron correlation via the inclusion of a continuum density of states (CDS) term. Inadequacies, of the CDW formulation at small impact parameters, and of the models themselves, are discussed and conclusions are drawn on what repercussions this has for the cross sections calculated.

Problems with identifying the '8200-year cold event' in terrestrial records of the Atlantic seaboard: a case study from Dooagh, Achill Island, Ireland.

The Northern Hemisphere cooling event 8200 years ago is believed to represent the last known major freshwater pulse into the North Atlantic as a result of the final collapse of the North American Laurentide ice sheet. This pulse of water is generally believed to have occurred independently of orbital variations and provides an analogue for predicted increases in high-latitude precipitation and ice melt as a result of anthropogenically driven future climate change. The precise timing, duration and magnitude of this event, however, are uncertain, with suggestions that the 100-yr meltwater cooling formed part of a longer-term cold period in the early Holocene. Here we undertook a multiproxy, high-resolution investigation of a peat sequence at Dooagh, Achill Island, on the west coast of Ireland, to determine whether the 8200-year cold event impacted upon the terrestrial vegetation immediately downwind of the proposed changes in the North Atlantic. We find clear evidence for an oscillation in the early Holocene using various measures of pollen, indicating a disruption in the vegetation leading to a grassland-dominated landscape, most probably driven by changes in precipitation rather than temperature. Radiocarbon dating was extremely problematic, however, with bulk peat samples systematically too young for the North Atlantic event, suggesting significant contamination from downward root penetration. The sustained disruption to vegetation over hundreds of years at Dooagh indicates the landscape was impacted by a long-term cooling event in the early Holocene, and not the single century length 8200-year meltwater event proposed in many other records in the North Atlantic region.

Assignment methods for incidence calculus

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.

A comprehensive comparison between generalized incidence calculus and Dempster-Shafer theory of evidence.

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.

Constructing probabilistic ATMS using extended incidence calculus

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.

The relationship between counterfactual thinking and emotional reactions to event outcomes: Does one account fit all?

By enabling a comparison between what is and what might have been, counterfactual thoughts amplify our emotional responses to bad outcomes. Well-known demonstrations such as the action effect (the tendency to attribute most regret to a character whose actions brought about a bad outcome) and the temporal order effect (the tendency to undo the last in a series of events leading up to a bad outcome) are often explained in this way. An important difference between these effects is that outcomes are due to decisions in the action effect, whereas in the temporal order effect outcomes are achieved by chance. In Experiment 1, we showed that imposing time pressure leads to a significant reduction in the action but not in the temporal order effect. In Experiment 2, we found that asking participants to evaluate the protagonists (

Searching and planning: Young children's reasoning about past and future event sequences

Six experiments examined children's ability to make inferences using temporal order information. Children completed versions of a task involving a toy zoo; one version required reasoning about past events (search task) and the other required reasoning about future events (planning task). Children younger than 5 years failed both the search and the planning tasks, whereas 5-year-olds passed both (Experiments 1 and 2). However, when the number of events in the sequence was reduced (Experiment 3), 4-year-olds were successful on the search task but not the planning task. Planning difficulties persisted even when relevant cues were provided (Experiments 4 and 5). Experiment 6 showed that improved performance on the search task found in Experiment 3 was not due to the removal of response ambiguity.