Design patterns for modeling first-order expressive Bayesian networks

2020 ◽  
Vol 35 ◽  
Author(s):  
Mark Locher ◽  
Kathryn B. Laskey ◽  
Paulo C. G. Costa
Keyword(s):  
Bayesian Networks ◽  
Design Patterns ◽  
Significant Contribution ◽  
Model Problem ◽  
Modeling Framework ◽  
First Order ◽  
Functional Relationships ◽  
Binary Predicate ◽  
Local Probability ◽  
Insight Into

Abstract First-order expressive capabilities allow Bayesian networks (BNs) to model problem domains where the number of entities, their attributes, and their relationships can vary significantly between model instantiations. First-order BNs are well-suited for capturing knowledge representation dependencies, but literature on design patterns specific to first-order BNs is few and scattered. To identify useful patterns, we investigated the range of dependency models between combinations of random variables (RVs) that represent unary attributes, functional relationships, and binary predicate relationships. We found eight major patterns, grouped into three categories, that cover a significant number of first-order BN situations. Selection behavior occurs in six patterns, where a relationship/attribute identifies which entities in a second relationship/attribute are applicable. In other cases, certain kinds of embedded dependencies based on semantic meaning are exploited. A significant contribution of our patterns is that they describe various behaviors used to establish the RV’s local probability distribution. Taken together, the patterns form a modeling framework that provides significant insight into first-order expressive BNs and can reduce efforts in developing such models. To the best of our knowledge, there are no comprehensive published accounts of such patterns.

Stochasting modeling of planetary ring systems

1984 ◽  
Vol 75 ◽  
pp. 461-469 ◽  
Author(s):  
Robert W. Hart
Keyword(s):  
Maximum Entropy ◽  
Ring System ◽  
The Sun ◽  
Ultimate State ◽  
Interparticle Interactions ◽  
Ring Systems ◽  
First Order ◽  
Planetary Ring ◽  
Insight Into

ABSTRACTThis paper models maximum entropy configurations of idealized gravitational ring systems. Such configurations are of interest because systems generally evolve toward an ultimate state of maximum randomness. For simplicity, attention is confined to ultimate states for which interparticle interactions are no longer of first order importance. The planets, in their orbits about the sun, are one example of such a ring system. The extent to which the present approximation yields insight into ring systems such as Saturn's is explored briefly.

Relational Chase Procedures Interpreted as Resolution with Paramodulation1

1991 ◽  
Vol 15 (2) ◽  
pp. 123-138
Author(s):  
Joachim Biskup ◽  
Bernhard Convent
Keyword(s):  
Alternative Interpretation ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Problem ◽  
First Order ◽  
Inference Problems ◽  
The One ◽  
The Relationship ◽  
Theoretical Foundations ◽  
Insight Into

In this paper the relationship between dependency theory and first-order logic is explored in order to show how relational chase procedures (i.e., algorithms to decide inference problems for dependencies) can be interpreted as clever implementations of well known refutation procedures of first-order logic with resolution and paramodulation. On the one hand this alternative interpretation provides a deeper insight into the theoretical foundations of chase procedures, whereas on the other hand it makes available an already well established theory with a great amount of known results and techniques to be used for further investigations of the inference problem for dependencies. Our presentation is a detailed and careful elaboration of an idea formerly outlined by Grant and Jacobs which up to now seems to be disregarded by the database community although it definitely deserves more attention.

scholarly journals Conjugative plasmids: vessels of the communal gene pool

2009 ◽  
Vol 364 (1527) ◽  
pp. 2275-2289 ◽  
Author(s):  
Anders Norman ◽  
Lars H. Hansen ◽  
Søren J. Sørensen
Keyword(s):  
Gene Transfer ◽  
Horizontal Gene Transfer ◽  
Significant Contribution ◽  
Prokaryotic Genome ◽  
Whole Genome ◽  
Adaptive Traits ◽  
Conjugative Plasmids ◽  
Environmental Setting ◽  
Genome Analyses ◽  
Insight Into

Comparative whole-genome analyses have demonstrated that horizontal gene transfer (HGT) provides a significant contribution to prokaryotic genome innovation. The evolution of specific prokaryotes is therefore tightly linked to the environment in which they live and the communal pool of genes available within that environment. Here we use the term supergenome to describe the set of all genes that a prokaryotic ‘individual’ can draw on within a particular environmental setting. Conjugative plasmids can be considered particularly successful entities within the communal pool, which have enabled HGT over large taxonomic distances. These plasmids are collections of discrete regions of genes that function as ‘backbone modules’ to undertake different aspects of overall plasmid maintenance and propagation. Conjugative plasmids often carry suites of ‘accessory elements’ that contribute adaptive traits to the hosts and, potentially, other resident prokaryotes within specific environmental niches. Insight into the evolution of plasmid modules therefore contributes to our knowledge of gene dissemination and evolution within prokaryotic communities. This communal pool provides the prokaryotes with an important mechanistic framework for obtaining adaptability and functional diversity that alleviates the need for large genomes of specialized ‘private genes’.

scholarly journals A Review of Concepts, Benefits, and Challenges for Future Electrical Propulsion-Based Aircraft

Aerospace ◽  
2020 ◽  
Vol 7 (4) ◽  
pp. 44 ◽  
Author(s):  
Smruti Sahoo ◽  
Xin Zhao ◽  
Konstantinos Kyprianidis
Keyword(s):  
Technological Development ◽  
Propulsion System ◽  
New Paradigm ◽  
Modeling Framework ◽  
Future Technology ◽  
Electric Aircraft ◽  
Electrical Propulsion ◽  
Development Paths ◽  
System Configurations ◽  
Insight Into

Electrification of the propulsion system has opened the door to a new paradigm of propulsion system configurations and novel aircraft designs, which was never envisioned before. Despite lofty promises, the concept must overcome the design and sizing challenges to make it realizable. A suitable modeling framework is desired in order to explore the design space at the conceptual level. A greater investment in enabling technologies, and infrastructural developments, is expected to facilitate its successful application in the market. In this review paper, several scholarly articles were surveyed to get an insight into the current landscape of research endeavors and the formulated derivations related to electric aircraft developments. The barriers and the needed future technological development paths are discussed. The paper also includes detailed assessments of the implications and other needs pertaining to future technology, regulation, certification, and infrastructure developments, in order to make the next generation electric aircraft operation commercially worthy.

On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate

1939 ◽  
Vol 4 (1) ◽  
pp. 1-9 ◽  
Author(s):  
László Kalmár
Keyword(s):  
Decision Problem ◽  
Reduction Process ◽  
The Other ◽  
First Order ◽  
Other Hand ◽  
Special Cases ◽  
Binary Predicate ◽  
Ternary Variables ◽  
Order Predicate Calculus ◽  
Predicate Variable

1. Although the decision problem of the first order predicate calculus has been proved by Church to be unsolvable by any (general) recursive process, perhaps it is not superfluous to investigate the possible reductions of the general problem to simple special cases of it. Indeed, the situation after Church's discovery seems to be analogous to that in algebra after the Ruffini-Abel theorem; and investigations on the reduction of the decision problem might prepare the way for a theory in logic, analogous to that of Galois.It has been proved by Ackermann that any first order formula is equivalent to another having a prefix of the form(1) (Ex1)(x2)(Ex3)(x4)…(xm).On the other hand, I have proved that any first order formula is equivalent to some first order formula containing a single, binary, predicate variable. In the present paper, I shall show that both results can be combined; more explicitly, I shall prove theTheorem. To any given first order formula it is possible to construct an equivalent one with a prefix of the form (1) and a matrix containing no other predicate variable than a single binary one.2. Of course, this theorem cannot be proved by a mere application of the Ackermann reduction method and mine, one after the other. Indeed, Ackermann's method requires the introduction of three auxiliary predicate variables, two of them being ternary variables; on the other hand, my reduction process leads to a more complicated prefix, viz.,(2) (Ex1)…(Exm)(xm+1)(xm+2)(Exm+3)(Exm+4).

First-order-reversal-curve analysis of rare earth permanent magnet nanostructures: insight into the coercivity enhancement mechanism through regulating the Nd-rich phase

2021 ◽  
Author(s):  
Junjie Xu ◽  
Kai Zhu ◽  
Wei Li ◽  
Xiaobai Wang ◽  
Ziyu Yang ◽  
...  
Keyword(s):  
Rare Earth ◽  
Permanent Magnet ◽  
Curve Analysis ◽  
Magnetic Interactions ◽  
Phase Content ◽  
Rich Phase ◽  
Enhancement Mechanism ◽  
First Order ◽  
Insight Into

The coercivity enhancement mechanism of Nd2Fe14B-based nanostructures with Nd-rich phase is revealed by first-order-reversal-curve diagram, which is that increased Nd-rich phase content leads to optimized magnetic interactions and microstructure.

The kinetics of proton and deuteron transfer from 4-nitrophenylnitromethane and l-(4-nitrophenyl)-l-nitroethane to 2,7-dimethoxy-l,8-bis(dimethylamino)naphthalene in acetonitrile solvent

1981 ◽  
Vol 59 (21) ◽  
pp. 3034-3038 ◽  
Author(s):  
Kenneth T. Leffek ◽  
Przemyslaw Pruszynski
Keyword(s):  
Isotope Effect ◽  
Reaction Rate ◽  
Significant Contribution ◽  
Reaction Parameters ◽  
Deuterium Isotope Effect ◽  
First Order ◽  
Enthalpy Of Activation ◽  
Deuteron Transfer ◽  
Slow Dissociation ◽  
Kinetics Of

4-Nitrophenylnitromethane reacts with 2,7-dimethoxy-1,8-bis(dimethylamino)naphthalene in acetonitrile in a bimolecular proton transfer, which shows a primary deuterium isotope effect, kH/kD = 12.2 at 25 °C. The large isotope effect on the enthalpy of activation, (ΔHD≠ – ΔHH≠) = 4.6 ± 0.3 kcal mol−1 is consistent with a significant contribution of proton tunnelling to the reaction rate of the protium substrate.The analogous reaction of 1-(4-nitrophenyl)-1-nitroethane with the same base in acetonitrile gives contrasting kinetics and reaction parameters. The reaction is first order, showing no dependence on base concentration. While the isotope effect kH/kD = 9.3 at 25 °C, the enthalpy of activation difference (ΔHD≠ – ΔHH≠) is only 0.5 ± 0.1 kcal mol−1. It is concluded that the 1-(4-nitrophenyl)-1-nitroethane undergoes a slow dissociation, with a very small dissociation constant, followed by a fast association with the base to yield the carbanion ion-pair.

Sign in / Sign up

Export Citation Format

Share Document