Using temporal logics of knowledge for specification and verification—a case study

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic. We discuss the advantages and disadvantages of using this logic to specify and verify the game Cluedo and describe related implementations.     

对心理学危机论的探析

目前学术界对心理学是否存在危机这个问题,存在很多争议。有的学者认为,心理学的发展存在危机;有的学者认为心理学发展不存在危机,并各自对他们的观点进行了论证。鉴于这个问题,心理学应探索更科学化的出路。     

A taste of words: linguistic context and perceptual simulation predict the modality of words

Previous studies have shown that object properties are processed faster when they follow properties from the same perceptual modality than properties from different modalities. These findings suggest that language activates sensorimotor processes, which, according to those studies, can only be explained by a modal account of cognition. The current paper shows how a statistical linguistic approach of word co-occurrences can also reliably predict the category of perceptual modality a word belongs to (auditory, olfactory-gustatory, visual-haptic), even though the statistical linguistic approach is less precise than the modal approach (auditory, gustatory, haptic, olfactory, visual). Moreover, the statistical linguistic approach is compared with the modal embodied approach in an experiment in which participants verify properties that share or shift modalities. Response times suggest that fast responses can best be explained by the linguistic account, whereas slower responses can best be explained by the embodied account. These results provide further evidence for the theory that conceptual processing is both linguistic and embodied, whereby less precise linguistic processes precede precise simulation processes.     

群体共享情绪的放大效应

相比独自经历情绪事件,在群体中与他人共享情绪事件会放大个体的情绪体验,该效应被称之为群体共享情绪的放大效应。以往研究为群体共享情绪放大效应提供了部分间接的实验证据,但以往的理论,如群体共同关注理论和情绪传染理论,并不能对该效应做出很好的解释。基于社会评估理论和共享现实理论提出的评估–证实–放大模型可较好地解释群体共享情绪的放大效应。未来研究可在真实互动的群体情境中检验群体共享情绪放大效应及评估–证实–放大模型。     

Five Private Language Arguments

This paper distinguishes five key interpretations of the argument presented by Wittgenstein in Philosophical Investigations I, §258. I also argue that on none of these five interpretations is the argument cogent. The paper is primarily concerned with the most popular interpretation of the argument: that which that makes it rest upon the principle that one can be said to follow a rule only if there exists a ‘useable criterion of successful performance’ (Pears) or ‘operational standard of correctness’ (Glock) for its correct application. This principle, I suggest, is untrue. The private language argument upon which it rests therefore fails.     

Synesthesia Affects Verification of Simple Arithmetic Equations

To investigate the effects of color–digit synesthesia on numerical representation, we presented a synesthete, called SE, in the present study, and controls with mathematical equations for verification. In Experiment 1, SE verified addition equations made up of digits that either matched or mismatched her color–digit photisms or were in black. In Experiment 2A, the addends were presented in the different color conditions and the solution was presented in black, whereas in Experiment 2B the addends were presented in black and the solutions were presented in the different color conditions. In Experiment 3, multiplication and division equations were presented in the same color conditions as in Experiment 1. SE responded significantly faster to equations that matched her photisms than to those that did not; controls did not show this effect. These results suggest that photisms influence the processing of digits in arithmetic verification, replicating and extending previous findings.     

The varying effects of age of acquisition

There are a number of theories that suggest that age of acquisition (AoA) effects are not uniform across different tasks. Catling and Johnston (2006a) found greater AoA effects within an object-naming task than in a semantic classification task. They explained these findings by suggesting that AoA effects might accumulate according to how many levels of representation a task necessitates access to. Brysbaert and Ghyselinck (2006) explain the difference in AoA effects by proposing two distinct types of AoA (frequency dependent and frequency independent), the first accounted for by a connectionist-type mechanism and the latter situated at the interface between semantics and word production. Moreover, Moore, Smith-Spark, and Valentine (2004) and Holmes and Ellis (2006) have suggested that there are two loci of AoA effects: at the phonological level and somewhere within the perceptual level of representation. Again, this could account for the varying degrees of AoA effects. This study sets about testing these ideas by assessing the effect size of AoA across a series of different tasks that necessitate access to various levels of representation. Experiments 1–4 demonstrate significant effects of AoA in a novel picture–picture verification task, an object classification task, a picture verification task, and an object-naming task. Experiment 5 showed no effects of initial phoneme on the naming of the critical objects used within Experiments 1–4. The implication of the varying AoA effect sizes found within Experiments 1–4 in relation to explanations of AoA are discussed.     

What's in a name? Typicality and relatedness effects in children

We studied how category typicality and out-of-category relatedness affect speeded category verification (vote "yes" if pictured object is clothing) in typically developing 4- to 14-year-olds and adults. Stimuli were typical and atypical category objects (e.g., pants, glove) and related and unrelated out-of-category objects (e.g., necklace, soup). Typical and unrelated out-of-category objects exhibited preferential processing (faster reaction times and fewer errors). Variations in typicality and relatedness disproportionately influenced children's performance, with developmental improvement associated with both verbal and nonverbal factors. Underextension versus overextension errors seemed to be associated with independent factors, namely multifaceted maturational factors versus receptive vocabulary skill, respectively. Errors were infrequent, suggesting spontaneous taxonomic classification by all participants. An experiment with printed words in adults replicated results, indicating that typicality and relatedness effects reflected organizational principles of the semantic system, not picture-related processes. This research establishes the viability of an online approach to assessing automatic components of semantic organization in children.     

In the Halfway House of Ill Repute: Gender Verification under a Different Name,Still No Contribution to Fair Play

The aftermath of Caster Semenya’s resounding victory in the women’s 800?m at the 2009 Athletics World Championships in Berlin highlighted the ethical and scientific flaws of gender verification in women’s athletics. It has led the governing international body of professional athletics, the International Association of Athletics Federations (IAAF), to adopt new rules regarding athletes with differences of sexual developments (DSDs) in women’s competitions in 2011 (Regulations on Hyperandrogenism). The International Olympic Committee followed suit and adopted a similar set of rules in 2012. Locating the practice of gender verification in a history of sexist stereotyping of women athletes (in Section 1), I argue (in Section 2), following other critics, that the IAAF’s new rules suffer from the same ethical flaws as their predecessors; and specifically that they still invite and rely on qualitative measuring of an athlete’s femininity and masculinity. In the central section of this paper (Section 3), I relate the practice of gender verification to the vexing question of what constitutes an unfair advantage in sports. I suggest, first, that athletes with a DSD should be at liberty to exploit competitive advantages their conditions might confer on them, just as most athletes in most sports are at liberty to exploit their congenital traits (the only irrelevant difference being that DSDs are construed as gendered advantages). In a second step, I argue that gender segregation in sports and gender verification practices cannot both be defended by an appeal to fairness. If we want to preserve gender segregation, then we ought to give up gender verification; and if we are not prepared to give up regulation of gendered congenital advantages, then we ought to give up gender segregation in favor of a classification system that tracks genetic predisposition rather than gender.