不同认知成分在图形推理测验项目难度预测中的作用

理解项目难度变异的来源是实现计算机自动化项目生成的第一步。通过文献综述, 总结出影响图形推理测验项目难度的四个方面的因素, 再通过操控构图元素熟悉性、属性的抽象性、知觉组织的和谐性以及规则类型与数目这些因素, 编制8套图形推理测验, 共包含112个与高级瑞文推理类似的项目。采用铆测验等值设计, 在每套测验中嵌入10个高级瑞文推理测验项目为铆题, 通过网络施测于6323名被试。使用BILOG MG估算项目参数, 并使用IRTEQ进行测验等值, 将后七套测验上所有项目的项目参数都转换到第一套测验的单位系统上。以项目难度为因变量, 项目题干特征变量为预测变量进行回归分析, 结果发现这四个因素均对项目难度有显著预测作用。优势分析的结果显示记忆负荷(即规则类型与数目的组合)是项目难度的最重要的预测变量, 其他依次为属性的抽象性、知觉组织的和谐性和构图元素熟悉性。     

Mood effects on dominated choices: Positive mood induces departures from logical rules

In two studies, we investigated the role of mood states in dominated behavioral choices. Past research has shown that mood effects on judgment and decision‐making can be pervasive. Yet, the role of mood in dominated choices has so far been neglected. The present research represents a first empirical examination of mood effects on dominated choices. We measured (Study 1) or manipulated (Study 2) mood states in participants who made a series of choices in a gambling game. In this choice task without trade‐offs, participants were provided with information about the outcomes and probabilities associated with each choice option. The strategy to maximize the expected mean outcome implied the application of a straightforward and logical rule: Always choose the dominant option with the highest expected value. It has been argued in the literature that mood should have little or no impact when preferences are clear or strong. Still, we expected that mood states would affect even these dominated choices, building on previous work that showed that positive mood states enhance flexibility, creativity, and explorative behavior. The results showed that decisions made in a happier mood were less often in accordance with the logical rule than decisions made in a sadder mood. To conclude, happier mood states are associated to a lesser extent with decisions in accordance with a rule‐based strategy that maximizes expected mean outcomes in dominated choices. Copyright © 2010 John Wiley & Sons, Ltd.     

Pure Extensions, Proof Rules, and Hybrid Axiomatics

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic.A preliminary version of this paper was presented at the fifth conference on Advances in Modal Logic (AiML 2004) in Manchester. We would like to thank Maarten Marx for his comments on an early draft and Agnieszka Kisielewska for help with the proof reading.Special Issue Ways of Worlds II. On Possible Worlds and Related Notions Edited by Vincent F. Hendricks and Stig Andur Pedersen     

Cut-Elimination and Quantification in Canonical Systems

Canonical Propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the sub-formula property, in which exactly one occurrence of a connective is introduced in the conclusion, and no other occurrence of any connective is mentioned anywhere else. In this paper we considerably generalize the notion of a “canonical system” to first-order languages and beyond. We extend the Propositional coherence criterion for the non-triviality of such systems to rules with unary quantifiers and show that it remains constructive. Then we provide semantics for such canonical systems using 2-valued non-deterministic matrices extended to languages with quantifiers, and prove that the following properties are equivalent for a canonical system G: (1) G admits Cut-Elimination, (2) G is coherent, and (3) G has a characteristic 2-valued non-deterministic matrix.     

Modeling human dialogue with computers

Conversation, talk, the communicative process, can be compared to the symphonic play of a piece of music. There is an orchestra, the musicians, whose tones and notes must flow, complement and harmonize with one another. There is a main theme. As the music builds variations on the theme are played, and new themes and subthemes are introduced. The basinett responds to the strings, the bass emphasizes the mood of the violin, while the french horn adds a new melody. The subtlety and evenness of flow, the seeming simplicity of the piece, the rich interleaving of subdevelopments, variations, tangents, and recapitulations, are what make a piece of music great.Coherent communication is much the same. It looks easy. It flows. It seems effortless. In reality, of course, it is rich and complex, in both form and content. As in music, conversants may begin a conversation slowly, tentatively, with some simple (or complex) topic in mind. Slowly the momentum builds, the connections surface, and the themes become defined. As in music, these themes are then elaborated upon in various ways. Topic elaborations often spawn their own variations. New themes and subthemes are introduced. All the while, as in music, original themes reappear and are interwoven with the new ones. The twists and turns of the conversation seem to occur effortlessly.In music, there is usually one composer in control of which instrument plays next; one composer who is in charge of what the instrument will say. There is a single coordinator of theme introductions, developments, variations, and interweavings. The composition is done off-line and usually involves editing and re-editing for flaws. In discourse, however, we have on-line development with multiple parties responsible for flow coordination. All parties have to organize their own turns, themes, and variations, in addition to their being able to integrate these items into co-conversants'.In their book, Understanding Computers and Cognition, Winograd and Flores (1987) cite the following from Gadamer (Winograd and Flores, 1987, p. 32):It is not so much our judgments as it is our prejudices that constitute our being ... the historicity of our existence entails that prejudices, in the literal sense of the word, constitute the initial directedness of our whole ability to experience. Prejudices are biases of our openness to the world. They are simply conditions whereby we experience something — whereby what we encounter says something to us. (Gadamer, Philosophical Hermeneutics, 1976, p. 9)     

Responses and pauses: discrimination and a choice catastrophe.

Pigeons produced a stimulus change either by responding or by not responding for a specified time period (by pausing). They then had to choose between two responses to obtain food. One choice was correct if the first component had been completed by a response; the other was correct if the component had been completed by a pause. The pigeons usually chose correctly, thereby indicating that they used their own prior behavior as a discriminative stimulus. Fixed pause requirements did not produce equal first component completions by a response and by a pause. To obtain equality, the pause requirement was titrated as a function of current performance. Titration resulted in equal completions and also produced accurate discrimination. In addition to showing that pigeons discriminated whether they had responded or paused, the data displayed and discontinuous functions predicted by catastrophe theory. Another procedure used forced choice rather than titration to produce equal completions by pausing and responding and also showed accurate discrimination of behavior.     

Time pressure and the application of decision rules: Choices and judgments among multiattribute alternatives

The effects of time pressure on decisions and judgments were studied and related to the use of different decision rules in a multiattribute decision task. The decision alternatives were students described by their high school grades in Swedish, Psychology and Natural Science. The subjects were asked to choose the student they thought would be most able to follow a university program and graduate as a school psychologist. On the basis of earlier findings using the same kind of decision task (Svenson et al., 1990) it was hypothesised that subjects under time pressure would prefer candidates having the maximum grade across all attributes to a greater extent than subjects under no time pressure. Furthermore, it was hypothesised that subjects under time pressure would also focus more on the most important attribute and choose the alternatives being best on that attribute. The results supported these hypotheses.     

问题表征过程的一项研究

问题表征是解决问题时理解问题的方式．本研究选用智力数学题为实验作业,通过详细分析３４名大学生被试的问题表征环节及他们问题解决的结果,探讨问题表征中的信息加工过程及其对问题解决结果的影响．实验结果表明：（１）正确的问题表征是解决问题的必要前提,在错误的或者不完整的问题空间中进行搜索不可能求得问题的正确解．（２）问题表征是对问题信息的提取和理解的过程,问题规则在问题表征中起重要作用．（３）在问题表征过程中,导致建构出错误的或者不完整的问题空间的因素包括：信息遗漏（未能将问题的有关信息全部提取出来）,信息误解（对某些问题信息做了错误的分析和理解）,隐喻干扰（问题信息中潜在的歧义性使被试困惑或误导被试的解题思路）等．     

Das prädiskursive Einverständnis. Wissenschaftlicher Wahrheitsbegriff und prozedurale Rechtfertigung

The pre-discoursive agreement. Theory of scientific truth and procedural justification. — On basis of the constructive philosophy of science, the attention is focussed to the pre-discoursive elements of discoursive theories of truth. By using a pragmatic approach it is shown that foundation of those pre-discoursive elements, like discourse rules or the basic terminology, is possible though the discourse rules are not available at this level. Propositions which can be shown in the presented theory to be true, always describe a know-how instead of a knowledge about the world. As a result, the relevance of the presented analysis for prototheories of scientific disciplines is investigated. This revised version was published online in August 2006 with corrections to the Cover Date.     

Axiomatizations with Context Rules of Inference in Modal Logic

A certain type of inference rules in (multi-) modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.