Sequent Calculi and Decision Procedures for Weak Modal Systems

We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability of Löb rules are given.     

关于高级内隐认知研究方法的一点浅见

本文对加工分离程序应用于高级内隐认知加工的可能性作了论证,并以内隐学习研究为例,进行了实验检验,证明其切实可行.     

再探外显学习指导语的作用

本研究采用加工分离程序,对外显学习指导语的作用重新加以探讨.结果发现在外显学习指导语条件下,被试的作业成绩虽然较差,但并非由于外显指导语干扰了被试对规则的掌握.事实上,外显指导语促进了被试对规则的掌握.以往有关研究之所以出现不一致的结果,是由于它们采用任务分离范式,未能有效分离外显与内隐加工,以及记忆等因素的影响.     

A molecular analysis of choice on concurrent-chains schedules.

Six pigeons responded on concurrent-chains schedules with either independent or interdependent equal variable-interval schedules in the initial links and unequal variable-interval schedules, always in a 2:1 ratio, in the terminal links. Relative response rates in the initial links increased across conditions as initial-link duration was shortened and decreased across conditions as terminal-link duration was shortened, replicating previous findings. Responses in the initial links were recorded in 5-s bins, and local or molecular relative response rates were calculated in order to ascertain how relative response rate varied as a function of time since the onset of the initial links. Two distinct molecular patterns were found. With interdependent initial links, relative response rates for the preferred key were elevated for the first 10 or 20 s of the initial links and then declined to an asymptotic value. With independent initial links, a negative recency effect was found similar to that reported by Killeen (1970). These two molecular patterns were related to the different momentary reinforcement probabilities resulting from independent and interdependent scheduling.     

Choice between single and multiple delayed reinforcers.

Pigeons chose between alternatives that differed in the number of reinforcers and in the delay to each reinforcer. A peck on a red key produced the same consequences on every trial within a condition, but between conditions the number of reinforcers varied from one to three and the reinforcer delays varied between 5 s and 30 s. A peck on a green key produced a delay of adjustable duration and then a single reinforcer. The green-key delay was increased or decreased many times per session, depending on a subject's previous choices, which permitted estimation of an indifference point, or a delay at which a subject chose each alternative about equally often. The indifference points decreased systematically with more red-key reinforcers and with shorter red-key delays. The results did not support the suggestion of Moore (1979) that multiple delayed reinforcers have no effect on preference unless they are closely grouped. The results were well described in quantitative detail by a simple model stating that each of a series of reinforcers increases preference, but that a reinforcer's effect is inversely related to its delay. The success of this model, which considers only delay of reinforcement, suggested that the overall rate of reinforcement for each alternative had no effect on choice between those alternatives.     

Color preference in pigeons: stimulus intensity and reinforcement contingency effects in the avoidance of blue stimuli.

In a procedure intended to determine color preference in pigeons (which partially replicated Catania, Owens, & von Lossberg, 1983), two keys were illuminated by different colors drawn from a set of amber, red, green, or blue stimuli; this was followed by the presentation of grain when either of the two colors was pecked. The grain was illuminated alternately across trials with the colors presented on the keys. In Experiment 1 the intensity of the color stimuli used was not equalized, whereas in Experiment 2 the intensity of the colors was equalized. The low preference for blue found in Experiment 1, as measured by differential key pecking, was not found in Experiment 2. The discriminability of the intensity-equalized colors was confirmed in Experiment 2a, in which equal-intensity color discrimination problems were presented. In Experiment 3, as in Catania et al. (1983), a response-independent reinforcement schedule was used, but with intensity-equalized colors. In contrast to Experiment 2, very low preference for blue was found here and in Experiment 4, which used a within-subject procedure. These findings suggest that pigeon color preference may be a function of intensity, but all controlling variables have not as yet been identified.     

Maximizing present value: A model to explain why moderate response rates obtain on variable-interval schedules

In Phases 1 and 3, two Japanese monkeys responded on a multiple variable-ratio 80 variable-interval X schedule, where the value of X was adjusted to ensure equal between-schedule reinforcement rates. Components strictly alternated following the delivery of a food pellet, and each session ended following 50 components. Phase 2 differed from the others only in that the 50 pellets previously earned during the session were delivered together at session's end. Variable-ratio response rates did not decrease across phases, but variable-interval response rates decreased substantially during the Phase 2 procedure. This rate decrease was attributed to the food-at-session's-end manipulation removing the greater immediacy of reinforcement provided by short interresponse times relative to long interresponse times. Without this time preference for short interresponse times, the variable-interval interresponse-time reinforcement feedback function largely controlled response emission, dictating a response-rate reduction. This result was explained in terms of the economic notion of “maximizing present value.”     

REPEATED ACQUISITION OF BEHAVIORAL CHAINS: RESPONSE SEQUENCES OR CONDITIONAL DISCRIMINATIONS?

The purpose of this study was to determine whether pigeons learn a sequence of positional responses or a series of conditional discriminations under a repeated-acquisition-of-behavioral-chains procedure. Three pigeons were trained under a repeated-acquisition procedure in which three different key colors served as stimuli correlated with the three steps in a chain. The order of presentation of the three stimuli was altered during the latter part of each test session after acquisition had occurred. If the pigeons had acquired a response sequence, the pattern of responding should remain the same as in the initial portion of the test session. However, if the pigeons had acquired a conditional discrimination, the response pattern should change in accordance with the changed order of the key colors. Although the results of this study do not rule out the possibility that the subjects acquired, to some degree, a response sequence, the results suggest that the behavior of pigeons under a repeated-acquisition-of-behavioral-chains procedure is controlled primarily by conditional discriminative stimuli.     

Coordination dynamics of rhythmical and discrete prehension movements: Implications of the scanning procedure and individual differences

The aim of this study was to compare the coordination dynamics of discrete and rhythmical reaching and grasping movements from a dynamical systems perspective. Previous research from this theoretical perspective had focused on rhythmical actions and it is unclear to what extent discrete movements are amenable to a similar dynamical systems analysis. Six adult subjects performed prehension in two conditions: a discrete, non-continuous mode and a rhythmical, continuous mode. A `scanning procedure' was implemented between pre- and post-tests in which the required time of final relative hand closure (T_rfc) was systematically varied. It was shown that the error in the reaching and grasping pattern was least at an attractor region and systematically increased with deviation from the attractor. Results also indicated that there were no differences between condition or trial block for the group. However, there were several within-subject effects of interest. The validity of the scanning procedure was found to be questionable in the discrete condition, where four subjects showed differences in T_rfc between pre- or post-test and the predicted T_rfc of the scanning procedure. Four out of six subjects also had different preferred T_rfc values for discrete and rhythmical movement, indicating that individual specific models might need to be constructed for future dynamical modelling of discrete movement.PsycINFO classification: 2330     

汉字内隐记忆的实验研究(Ⅲ):检验加工分离说的修正模型

实验1和实验2依据目标字和非目标字两种条件,比较了再认、整字偏好、包含、排除四类测验。在“过程不纯净”假设的前提下．检验了加工分离说（PDP）的修正模型并得到以下结果：（1）PDP修正馍型的结论与匹配比较法的结果吻合。本实验条件下,偏好测验是“纯净”的．但无意识影响参与了再认测验。（2）PDP修正模型关于R＞R。的理论结果得到了目标字与非目标字两种条件下的实验的证实。另外．关于无意识影响遵循的规律与指导语无关的理论推测也得到了证实。（3）再认与偏好测验出现了功能分离。PDP修正模型可以解释其本质。（4）750ms呈现刺激时,反应倾向的规津是：外显过程比内隐过程严格;两过程均不受注意程度的作用而发生波动。