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     

假言推理中的概率效应

近来Oaksford等人的研究表明,概率信息对假言推理的认知过程有着显著的影响,在一定程度上可以用它来解释和预测个体在推理中的行为反应。该文针对这种新的观点,就假言推理中所涉及的前后件概率信息、条件概率信息、连接概率信息、因果概率信息以及额外前提条件等对假言推理的影响分别做了简要的阐述,并介绍了一些相关的实验研究,最后作了总结和展望。     

Preferred Difficulty and Subjective Probability in Different Action Phases

Drawing on Gollwitzer's deliberative–implemental mindset distinction (P. M. Gollwitzer, 1990), it was predicted that people who are deliberating on different actions or goals would be more cautious or more realistic in their expectation of success in subsequent tasks than people who are going to implement a chosen action or goal. Participants were given a choice between different test-materials. They were interrupted before (deliberative) or immediately after decision-making (implemental). They then either had to choose between various levels of difficulty within one type of task (Experiment 1) or they had to predict their own future performance (Experiment 2). The results showed that deliberative participants preferred less difficult tasks and overestimated their probability of success less than implemental participants. In addition, deliberative participants referred more than implemental participants to their past performance when selecting levels of difficulty or predicting future performance; however, the two groups did not differ in actual performance. Taken together, the findings suggest that people are more realistic in a deliberative than in an implemental state of mind. The present studies extend prior research because for the first time they document mindset effects on peoples' estimates concerning their future performance in the achievement domain.     

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.     

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

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

Choice and foraging: the effects of accessibility on acceptability.

Pigeons responded in a successive-encounters choice procedure in which accessibility of the less profitable of two outcomes varied either in terms of probability of encounter or search time to encounter (keeping search time to the more profitable outcome constant). When the less profitable outcome was made more probable its acceptance became more likely. However, when search time to encounter the less profitable outcome was shortened, its acceptance became less likely. Both results are consistent with the delay-reduction hypothesis and with an optimality model developed for application to the successive-encounters choice procedure.     

Comparing item characteristic curves

Test items are often evaluated and compared by contrasting the shapes of their item characteristics curves (ICC's) or surfaces. The current paper develops and applies three general (i.e., nonparametric) comparisons of the shapes of two item characteristic surfaces: (i) proportional latent odds, (ii) uniform relative difficulty, and (iii) item sensitivity. Two items may be compared in these ways while making no assumption about the shapes of item characteristic surfaces for other items, and no assumption about the dimensionality of the latent variable. Also studied is a method for comparing the relative shapes of two item characteristic curves in two examinee populations.The author is grateful to Paul Holland, Robert Mislevy, Tue Tjur, Rebecca Zwick, the editor and reviewers for valuable comments on the subject of this paper, to Mari A. Pearlman for advice on the pairing of items in the examples, and to Dorothy Thayer for assistance with computing.     

The role of contingencies and "principles of behavioral variation" in pigeons' pecking

Staddon and Simmelhag's proposal that behavior is produced by “principles of behavioral variation” instead of contingencies of reinforcement was tested in two experiments. In the first experiment pigeons were exposed to either a fixed-interval schedule of response-contingent reinforcement, an autoshaping schedule of stimulus-contingent reinforcement, or a fixed-time schedule of noncontingent reinforcement. Pigeons exposed to contingent reinforcement came to peck more rapidly than those exposed to noncontingent reinforcement. Staddon and Simmelhag's “principles of behavioral variation” included the proposal that patterns (interim and terminal) were a function of momentary probability of reinforcement. In the second experiment pigeons were exposed to either a fixed-time or a random-time schedule of noncontingent reinforcement. Pecking showed a constant frequency of occurrence over postfood time on the random-time schedule. Most behavior showed patterns on the fixed-time schedule that differed in overall shape (i.e., interim versus terminal) from those shown on the random-time schedule. It was concluded that both the momentary probability of reinforcement and postfood time can affect patterning.     

涵义语义与关于概称句推理的词项逻辑

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用A一表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义语义的基本观点是：语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念。概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa。在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统。