scholarly journals Properties of Constrained Generalization Algorithms

10.29007/xtb8 ◽  
2018 ◽  
Author(s):  
Thierry Boy de La Tour

Two non deterministic algorithms for generalizing a solution of a constraint expressed in second order typed lambda-calculus are presented. One algorithm derives from the proof of completeness of the higher order unification rules by D. C. Jensen and T. Pietrzykowski, the other is abstracted from an algorithm by N. Peltier and the author for generalizing proofs. A framework is developed in which such constrained generalization algorithms can be designed, allowing a uniform presentation for the two algorithms. Their relative strength at generalization is then analyzed through some properties of interest: their behaviour on valid and first order constraints, or whether they may be iterated or composed.

2019 ◽  
Vol 53 (3-4) ◽  
pp. 153-206
Author(s):  
Xian Xu

Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). As is well-known, this extension is strict, meaning that higher-order processes equipped with parameterization are strictly more expressive than those without parameterization. This paper studies strictly higher-order processes (i.e., no name-passing) with two kinds of parameterization: one on names and the other on processes themselves. We present two main results. One is that in presence of parameterization, higher-order processes can interpret first-order (name-passing) processes in a quite elegant fashion, in contrast to the fact that higher-order processes without parameterization cannot encode first-order processes at all. We present two such encodings and analyze their properties in depth, particularly full abstraction. In the other result, we provide a simpler characterization of the standard context bisimilarity for higher-order processes with parameterization, in terms of the normal bisimilarity that stems from the well-known normal characterization for higher-order calculus. As a spinoff, we show that the bisimulation up-to context technique is sound in the higher-order setting with parameterization.


1995 ◽  
Vol 74 (6) ◽  
pp. 2665-2684 ◽  
Author(s):  
Y. Kondoh ◽  
Y. Hasegawa ◽  
J. Okuma ◽  
F. Takahashi

1. A computational model accounting for motion detection in the fly was examined by comparing responses in motion-sensitive horizontal system (HS) and centrifugal horizontal (CH) cells in the fly's lobula plate with a computer simulation implemented on a motion detector of the correlation type, the Reichardt detector. First-order (linear) and second-order (quadratic nonlinear) Wiener kernels from intracellularly recorded responses to moving patterns were computed by cross correlating with the time-dependent position of the stimulus, and were used to characterize response to motion in those cells. 2. When the fly was stimulated with moving vertical stripes with a spatial wavelength of 5-40 degrees, the HS and CH cells showed basically a biphasic first-order kernel, having an initial depolarization that was followed by hyperpolarization. The linear model matched well with the actual response, with a mean square error of 27% at best, indicating that the linear component comprises a major part of responses in these cells. The second-order nonlinearity was insignificant. When stimulated at a spatial wavelength of 2.5 degrees, the first-order kernel showed a significant decrease in amplitude, and was initially hyperpolarized; the second-order kernel was, on the other hand, well defined, having two hyperpolarizing valleys on the diagonal with two off-diagonal peaks. 3. The blockage of inhibitory interactions in the visual system by application of 10-4 M picrotoxin, however, evoked a nonlinear response that could be decomposed into the sum of the first-order (linear) and second-order (quadratic nonlinear) terms with a mean square error of 30-50%. The first-order term, comprising 10-20% of the picrotoxin-evoked response, is characterized by a differentiating first-order kernel. It thus codes the velocity of motion. The second-order term, comprising 30-40% of the response, is defined by a second-order kernel with two depolarizing peaks on the diagonal and two off-diagonal hyperpolarizing valleys, suggesting that the nonlinear component represents the power of motion. 4. Responses in the Reichardt detector, consisting of two mirror-image subunits with spatiotemporal low-pass filters followed by a multiplication stage, were computer simulated and then analyzed by the Wiener kernel method. The simulated responses were linearly related to the pattern velocity (with a mean square error of 13% for the linear model) and matched well with the observed responses in the HS and CH cells. After the multiplication stage, the linear component comprised 15-25% and the quadratic nonlinear component comprised 60-70% of the simulated response, which was similar to the picrotoxin-induced response in the HS cells. The quadratic nonlinear components were balanced between the right and left sides, and could be eliminated completely by their contralateral counterpart via a subtraction process. On the other hand, the linear component on one side was the mirror image of that on the other side, as expected from the kernel configurations. 5. These results suggest that responses to motion in the HS and CH cells depend on the multiplication process in which both the velocity and power components of motion are computed, and that a putative subtraction process selectively eliminates the nonlinear components but amplifies the linear component. The nonlinear component is directionally insensitive because of its quadratic non-linearity. Therefore the subtraction process allows the subsequent cells integrating motion (such as the HS cells) to tune the direction of motion more sharply.


2013 ◽  
Vol 78 (3) ◽  
pp. 837-872 ◽  
Author(s):  
Łukasz Czajka

AbstractWe show a model construction for a system of higher-order illative combinatory logic thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.


1994 ◽  
Vol 116 (4) ◽  
pp. 741-750 ◽  
Author(s):  
C. H. Venner

This paper addresses the development of efficient numerical solvers for EHL problems from a rather fundamental point of view. A work-accuracy exchange criterion is derived, that can be interpreted as setting a limit to the price paid in terms of computing time for a solution of a given accuracy. The criterion can serve as a guideline when reviewing or selecting a numerical solver and a discretization. Earlier developed multilevel solvers for the EHL line and circular contact problem are tested against this criterion. This test shows that, to satisfy the criterion a second-order accurate solver is needed for the point contact problem whereas the solver developed earlier used a first-order discretization. This situation arises more often in numerical analysis, i.e., a higher order discretization is desired when a lower order solver already exists. It is explained how in such a case the multigrid methodology provides an easy and straightforward way to obtain the desired higher order of approximation. This higher order is obtained at almost negligible extra work and without loss of stability. The approach was tested out by raising an existing first order multilevel solver for the EHL line contact problem to second order. Subsequently, it was used to obtain a second-order solver for the EHL circular contact problem. Results for both the line and circular contact problem are presented.


1998 ◽  
Vol 5 (3) ◽  
pp. 305-308 ◽  
Author(s):  
Tsuneaki Miyahara

The difference between first-order and second-order coherence of synchrotron radiation is discussed in relation to how they can be measured and how they affect the noise characteristics of future free-electron lasers.


Author(s):  
Mona Simion

According to KK Compatibilism, the unassertability in the high-stakes contextualist cases can be explained in terms of the subjects lack of higher-order knowledge: although, strictly speaking, all that is needed for proper action—assertion included—is first-order knowledge, when the stakes are high, we tend to find people who act without knowing that they meet the condition for proper action blameworthy for so doing. This chapter argues that (1) the view misidentifies the epistemic deficit that is explanatorily salient in contextualist cases, in that the absence of second-order knowledge is not a difference maker, and (2) on closer look, the account requires normative finessing for extensional adequacy.


Author(s):  
Jan De Houwer ◽  
Tom Beckers

Abstract. De Houwer and Beckers (in press , Experiment 1) recently demonstrated that ratings about the relation between a target cue T2 and an outcome are higher when training involves CT1+ and T1T2+ followed by C+ trials than when training involves CT1+ and T1T2+ followed by C- trials. We replicated this study but now explicitly asked participants to rate the causal status of the cues both before and after the C+ or C- trials. Results showed that causal ratings for T2 were significantly higher after C+ trials than before C+ trials and that T2 received significantly lower ratings after C- trials than before C- trials. The results thus provide the first evidence for higher-order unovershadowing and higher-order backward blocking. In addition, the ratings for T1 revealed that first-order backward blocking (i.e., decrease in ratings for T1 as the result of C+ trials) was stronger than first-order unovershadowing (i.e., increase in ratings for T1 as the result of C- trials).


2015 ◽  
Vol 5 (6) ◽  
pp. 115
Author(s):  
Lei Qiu

<p>Along with the general trends of research from traditional Gricean approach to postmodern approach, politeness has been conceptualized as facework, social indexing concept, relational work and interactional work. Based on examination of debates over East group-oriented and Western individual-oriented politeness, first-order and second-order politeness, as well as the universality and relativity of conceptualizations, this paper has roughly demonstrated that the tension between universality and relativity of politeness can help to explain the reason for lack of uniform definition and concept in this field. It is essential for researchers to seek a universal second-order culture-general theoretical construct on one hand, and to look at first-order culture-specific constructs on the other hand.</p>


2018 ◽  
Vol 27 (5) ◽  
pp. 625-638
Author(s):  
Gilda Ferreira ◽  
Vasco T Vasconcelos

AbstractWe show that the number-theoretic functions definable in the atomic polymorphic system (${\mathbf{F}}_{\mathbf{at}}$) are exactly the extended polynomials. Two proofs of the above result are presented: one, reducing the functions’ definability problem in ${\mathbf{F}}_{\mathbf{at}}$ to definability in the simply typed lambda calculus ($\lambda ^{\rightarrow }$) and the other, directly adapting Helmut Schwichtenberg’s strategy for definability in $\lambda ^{\rightarrow }$ to the atomic polymorphic setting. The uniformity granted in the polymorphic system, when compared with the simply typed lambda calculus, is emphasized.


2018 ◽  
Vol 382 ◽  
pp. 80-85 ◽  
Author(s):  
Xin Su ◽  
Shu Qiang Guo ◽  
Meng Ran Qiao ◽  
Hong Yan Zheng ◽  
Li Bin Qin

Based on the predecessors of thermodynamic data, the relationship between aluminum contents and oxygen contents of the aluminum deoxidization reaction was calculated. And the influence of activity coefficient to the reaction equilibrium in bearing-steel is analyzed. First-order and second-order interaction coefficients were used to calculate and draw the equilibrium curves, respectively. The effects of different temperature and different interaction parameters on the deoxidization equilibrium curves were studied. And through the curve the influence of the change of aluminum contents to the activity can be known. The trend of the curve with first-order interaction parameters is consistent with the curve with first-order and second-order interaction parameters at the low Al concentration region. And the oxygen contents of curve with first-order interaction parameters are higher than the other curve at the high Al concentration region


Sign in / Sign up

Export Citation Format

Share Document