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.

Rational Partial Choice Functions and Their Application to Belief Revision.

Necessary and sufficient conditions for choice functions to be rational have been intensively studied in the past. However, in these attempts, a choice function is completely specified. That is, given any subset of options, called an issue, the best option over that issue is always known, whilst in real-world scenarios, it is very often that only a few choices are known instead of all. In this paper, we study partial choice functions and investigate necessary and sufficient rationality conditions for situations where only a few choices are known. We prove that our necessary and sufficient condition for partial choice functions boils down to the necessary and sufficient conditions for complete choice functions proposed in the literature. Choice functions have been instrumental in belief revision theory. That is, in most approaches to belief revision, the problem studied can simply be described as the choice of possible worlds compatible with the input information, given an agent’s prior belief state. The main effort has been to devise strategies in order to infer the agents revised belief state. Our study considers the converse problem: given a collection of input information items and their corresponding revision results (as provided by an agent), does there exist a rational revision operation used by the agent and a consistent belief state that may explain the observed results?

Mapping worlds? Excavating cartographic encounters in Plantation Ireland through GIS

This paper uses the analytical potential of Geographical Information Systems (GIS) to explore processes of map production and circulation in early-seventeenth century Ireland. The paper focuses on a group of historic maps, attributed to Josias Bodley, which were commissioned in 1609 by the English Crown to assist in the Plantation of Ulster. Through GIS and digitizing map-features, and in particular by quantifying map-distortion, it is possible to examine how these maps were made, and by whom. Statistical analyses of spatial data derived from the GIS are shown to provide a methodological basis for ‘excavating’ historical geographies of Plantation map-making. These techniques, when combined with contemporary written sources, reveal further insight on the ‘cartographic encounters’ taking place between surveyors and map-makers working in Ireland in the early 1600s, opening up the ‘mapping worlds’ which linked Ireland and Britain through the networks and embodied practices of Bodley and his map-makers.

A possible model of benzimidazole binding to beta-tubulin disclosed by invoking an inter-domain movement.

Although it is well established that benzimidazole (BZMs) compounds exert their therapeutic effects through binding to helminth beta-tubulin and thus disrupting microtubule-based processes in the parasites, the precise location of the benzimidazole-binding site on the beta-tubulin molecule has yet to be determined. In the present study, we have used previous experimental data as cues to help identify this site. Firstly, benzimidazole resistance has been correlated with a phenylalanine-to-tyrosine substitution at position 200 of Haemonchus contortus beta-tubulin isotype-I. Secondly, site-directed mutagenesis studies, using fungi, have shown that other residues in this region of the protein can influence the interaction of benzimidazoles with beta-tubulin. However, the atomic structure of the alphabeta-tubulin dimer shows that residue 200 and the other implicated residues are buried within the protein. This poses the question: how might benzimidazoles interact with these apparently inaccessible residues? In the present study, we present a mechanism by which those residues generally believed to interact with benzimidazoles may become accessible to the drugs. Furthermore, by docking albendazole-sulphoxide into a modelled H. contortus beta-tubulin molecule we offer a structural explanation for how the mutation conferring benzimidazole resistance in nematodes may act, as well as a possible explanation for the species-specificity of benzimidazole anthelmintics.