Combinatory Logic and the Semantics of Substructural Logics

The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms to the basic positive relevant logic B∘T, then LX is sound and complete with respect to the class of frames in the Routley-Meyer relational semantics for relevant and substructural logics that meet a first-order condition that corresponds in a very direct way to the structure of the combinator X itself. Presented by Rob Goldblatt     

The Wind Chilled the Spectators, but the Wine Just Chilled: Sense, Structure, and Sentence Comprehension

Anticipation plays a role in language comprehension. In this article, we explore the extent to which verb sense influences expectations about upcoming structure. We focus on change of state verbs like shatter , which have different senses that are expressed in either transitive or intransitive structures, depending on the sense that is used. In two experiments we influence the interpretation of verb sense by manipulating the thematic fit of the grammatical subject as cause or affected entity for the verb, and test whether readers' expectations for a transitive or intransitive structure change as a result. This sense-biasing context influenced reading times in the postverbal regions. Reading times for transitive sentences were faster following good-cause than good-theme subjects, but the opposite pattern was found for intransitive sentences. We conclude that readers use sense-contingent subcategorization preferences during on-line comprehension.     

Symptom patterns in late luteal-phase dysphoric disorder

The symptom patterns of 180 women with prospectively confirmed late luteal-phase dysphoric disorder (LLPDD) were examined using a careful application of factor and cluster analytic techniques. Factor analysis of premenstrual change scores on 33 common premenstrual syndrome symptoms yielded four orthogonal factors that were consistent across two sets of menstrual cycle data. These were a negative affect dimension with concomitant behavioral changes, physical symptoms, agitation, and positive arousal. Cluster analysis of factor scores grouped patients into one of five symptom patterns, the most common of which is a general distress cluster, characterized by symptoms across all dimensions. The LLPDD symptom groups identified are remarkably consistent with those of earlier studies using both normative and clinic samples, and consideration of symptom pattern differences in future research may greatly increase our understanding of this disorder.     

基于语义的词汇判断的计算模型

词汇判断是一种在字词认知研究中广泛使用的实验范式。本文提出了一个基于分布式语义表征的计算模型,用来解释某些在词汇判断作业中出现的实验现象。模型是一个包括词形层、隐层、语义层、词典层和判断层的前传网络。词形层、隐层和语义层之间的连接权重在学习过程中被不断调整,使用反传算法进行学习。语义层、词典层和判断层之间的连接权重在学习前就已被固定,在学习过程中不进行调整。模型模拟了在词汇判断作业中出现的四种实验现象：（１）频率效应;（２）语义启动效应;（３）频率与语境的交互作用;（４）重复启动效应。模型所表现出的行为特性由模型的框架和学习算法所决定。     

Conceptual Factors Influence Children's Distributivity Bias

Sentences such as “The girls read a book” can lead to multiple interpretations: They could be reading the same book (collective) or they could each be reading their own book (distributive). In ambiguous contexts, adults prefer the collective interpretation, and preschool children show a slight bias for a distributive interpretation. The current research investigated whether conceptual factors (number of actors) influences interpretations of these kinds of predicates. The data with children show a stronger collective bias when there are four actors compared to two actors. This may be because children are more likely to conceptualize groups of four (vs. two) as sets rather than collections of individuals. These data are discussed with reference to research on visual and conceptual integration abilities, showing that children lag behind in their ability to combine components into a whole in comparison to parsing objects into their component parts.     

Proto-Semantics for Positive Free Logic

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of non-existing objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non unlike the notion of truth at world found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization).     

Coordination tending towards an anti-phase relationship determines greater sway reduction during entrainment with a simulated partner

The increased risk of falls in the older aged population demands the development of assistive robotic devices capable of effective balance support. For the development and increased user acceptance of such devices, which provide balance support in a human-like way, it is important to understand the simultaneous occurrence of entrainment and sway reduction in human-human interaction. However, sway reduction has not been observed yet during a human touching an external, continuously moving reference, which rather increased human body sway. Therefore, we investigated in 15 healthy young adults (27.20±3.55 years, 6 females) how different simulated sway-responsive interaction partners with different coupling modes affect sway entrainment, sway reduction and relative interpersonal coordination, as well as how these human behaviours differ depending on the individual body schema accuracy. For this, participants were lightly touching a haptic device that either played back an average pre-recorded sway trajectory (“Playback”) or moved based on the sway trajectory simulated by a single-inverted pendulum model with either a positive (Attractor) or negative (Repulsor) coupling to participant's body sway. We found that body sway reduced not only during the Repulsor-interaction, but also during the Playback-interaction. These interactions also showed a relative interpersonal coordination tending more towards an anti-phase relationship, especially the Repulsor. Moreover, the Repulsor led to the strongest sway entrainment. Finally, a better body schema contributed to a reduced body sway in both the “reliable” Repulsor and the “less reliable” Attractor mode. Consequently, a relative interpersonal coordination tending more towards an anti-phase relationship and an accurate body schema are important to facilitate sway reduction.     

On Intermediate Predicate Logics of some Finite Kripke Frames,I. Levelwise Uniform Trees

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.     

元音和复合声识别中噪声分离机制的实验研究

该文用配对比较方法,从夫调谐波的数量对谐波筛的影响（实验一）、失调谐波的位置（实验二）以及谐波相位与其失调幅度之间的相互作用（实验三）等三个方面对失调谐波的分离机制进行探讨。研究结果表明：（1）多个谐波同时失调时其失调效应要比单个谐波强,即谐波失调存在累积效应;（2）谐波次数不同,其失调效应也存在差异,这种差异与谐波和共振峰之间的距离有关,谐波越靠近共振峰,其失调效应越明显,但对由等振幅的谐波系列构成的复合声而言,高次谐波的失调效应比低次谐波弱;（3）谐波相位对其失调效应产生间接影响,这种影响与谐波的起始振幅有关,当相位为π／2和3π／2时,失调效应更加明显。