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 Yin and Yang of vitamin D receptor (VDR) signaling in neoplastic progression: Operational networks and tissue-specific growth control

Substantive evidence implicates vitamin D receptor (VDR) or its natural ligand 1a,25-(OH)2 D3 in modulation of tumor growth. However, both human and animal studies indicate tissue-specificity of effect. Epidemiological studies show both inverse and direct relationships between serum 25(OH)D levels and common solid cancers. VDR ablation affects carcinogen-induced tumorigenesis in a tissue-specific manner in model systems. Better understanding of the tissue-specificity of vitamin D-dependent molecular networks may provide insight into selective growth control by the seco-steroid, 1a,25-(OH)2 D3. This commentary considers complex factors that may influence the cell- or tissue-specificity of 1a,25-(OH)2 D3/VDR growth effects, including local synthesis, metabolism and transport of vitamin D and its metabolites, vitamin D receptor (VDR) expression and ligand-interactions, 1a,25-(OH)2 D3 genomic and non-genomic actions, Ca2+ flux, kinase activation, VDR interactions with activating and inhibitory vitamin D responsive elements (VDREs) within target gene promoters, VDR coregulator recruitment and differential effects on key downstream growth regulatory genes. We highlight some differences of VDR growth control relevant to colonic, esophageal, prostate, pancreatic and other cancers and assess the potential for development of selective prevention or treatment strategies.

Micro-environmental change as a trigger for granite decay in offshore Irish lighthouses: implications for the long-term preservation of operational historic buildings.

Following automation of lighthouses around the coastline of Ireland, reports of accelerated deterioration of interior granite stonework have increased significantly with an associated deterioration in the historic structure and rise in related maintenance costs. Decay of granite stone- work primarily occurs through granular disintegration with the effective grusification of granite surfaces. A decay gradient exists within the towers whereby the condition of granite in the lower levels is much worse than elsewhere. The lower tower levels are also regions with highest rela- tive humidity values and greatest salt concentrations. Data indicate that post-automation decay may have been trig- gered by a change in micro-environmental conditions within the towers associated with increased episodes of condensation on stone surfaces. This in turn appears to have facilitated deposition and accumulation of hygro- scopic salts (e.g. NaCl) giving rise to widespread evidence of deliquescence in the lower tower levels. Evidence indicates that the main factors contributing to accelerated deterioration of interior granite stonework are changes in micro-environmental conditions, salt weathering, chemical weathering through the corrosive effect of strongly alkaline conditions on alumino-silicate minerals within the granite and finally, the mica-rich characteristics of the granite itself which increases its structural and chemical susceptibility to subaerial weathering processes by creating points of weakness within the granite. This case study demonstrates how seemingly minor changes in micro-environmental conditions can unintentionally trigger the rapid and extensive deterioration of a previously stable rock type and threaten the long-term future of nationally iconic opera- tional historic structures.

Impact of gate-source/drain channel architecture on the performance of an operational transconductance amplifier (OTA)

In this work, we report on the significance of gate-source/drain extension region (also known as underlap design) optimization in double gate (DG) FETs to improve the performance of an operational transconductance amplifier (OTA). It is demonstrated that high values of intrinsic voltage gain (A(VO_OTA)) > 55 dB and unity gain frequency (f(T_OTA)) similar to 57 GHz in a folded cascode OTA can be achieved with gate-underlap channel design in 60 nm DG MOSFETs. These values correspond to 15 dB improvement in A(VO_OTA) and three fold enhancement in f(T_OTA) over a conventional non-underlap design. OTA performance based on underlap single gate SOI MOSFETs realized in ultra-thin body (UTB) and ultra-thin body BOX (UTBB) technologies is also evaluated. A(VO_OTA) values exhibited by a DG MOSFET-based OTA are 1.3-1.6 times higher as compared to a conventional UTB/UTBB single gate OTA. f(T_OTA) values for DG OTA are 10 GHz higher for UTB OTAs whereas a twofold improvement is observed with respect to UTBB OTAs. The simultaneous improvement in A(VO_OTA) and f(T_OTA) highlights the usefulness of underlap channel architecture in improving gain-bandwidth trade-off in analog circuit design. Underlap channel OTAs demonstrate high degree of tolerance to misalignment/oversize between front and back gates without compromising the performance, thus relaxing crucial process/technology-dependent parameters to achieve 'idealized' DG MOSFETs. Results show that underlap OTAs designed with a spacer-to-straggle (s/sigma) ratio of 3.2 and operated below a bias current (IBIAS) of 80 mu A demonstrate optimum performance. The present work provides new opportunities for realizing future ultra-wide band OTA design with underlap DG MOSFETs.