运动空间定向判断中的方向偏差及飞行惯性

模拟客体起飞和降落运动,探讨飞行场景中不同运动位置、不同意义客体和运动方向下个体运动空间定向判断能力。结果表明：(1)对降落运动轨迹的判断正确率显著低于起飞运动;(2)无意义客体偏高轨迹的判断正确率显著小于偏低轨迹,表现出方向偏差;(3)飞行场景影响方向偏差的表现形式,当飞机降落运动时,易将偏低路径判断为与预设轨迹相同,而飞机起飞运动时,易将偏高路径判断为相同,表明降落时飞机被知觉为会向斜下方越飞越低,而起飞时飞机会向斜上方越飞越高,表现出飞行惯性。结论：运动空间定向判断受到重力表征及个体知识经验等共同影响,具有认知可渗透性。     

Equality and Monodic First-Order Temporal Logic

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.     

Infinitary Belief Revision

This paper extends the AGM theory of belief revision to accommodate infinitary belief change. We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGM belief change operations are preserved by the generalized operations whereas the infinitary belief change operations have their special properties. We prove that the extended axiomatic system for the generalized belief change operators with a Limit Postulate properly specifies infinite belief change. This framework provides a basis for first-order belief revision and the theory of revising a belief state by a belief state.     

Tableaux and Dual Tableaux: Transformation of Proofs

We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems are dual to each other. The duality is expressed in a formal way which enables us to define a transformation of proofs in one of the systems into the proofs of the other. Presented by Wojciech Buszkowski     

An Institution-Independent Proof of the Robinson Consistency Theorem

We prove an institutional version of A. Robinson’s Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson consistency and Craig interpolation properties. Presented by Robert Goldblatt     

Has the World Changed? My Neighbor Might Know: Effects of Social Context on Routine Deviation

Routines help individuals save decision effort and protect them from overreacting to volatile environments. Yet routines become dysfunctional if the environment changes fundamentally. Whether the environment has truly changed is often not easy to tell. We experimentally study adaptation to a change in a previously stable environment. Participants have to choose between one of the four decks of cards. Each deck represents a lottery, with a distribution of gains and losses initially unknown to participants. In the learning phase of the experiment, participants acquire the routine to choose the most attractive deck. Unbeknownst to participants, after an interruption, the lotteries represented by the competing decks are changed. We study how participants react to this change. We manipulate whether participants have access to choices by a confederate who most of the time makes the normative choice. In baseline condition, they never do. In the treatments, access is provided either during the learning phase, during the test phase, or during both phases. Participants are most likely to realize that the world has changed if they had access to the confederate's choices in both phases. Copyright © 2014 John Wiley & Sons, Ltd.     

A model of curved saccade trajectories: Spike rate adaptation in the brainstem as the cause of deviation away

The trajectory of saccades to a target is often affected whenever there is a distractor in the visual field. Distractors can cause a saccade to deviate towards their location or away from it. The oculomotor mechanisms that produce deviation towards distractors have been thoroughly explored in behavioral, neurophysiological and computational studies. The mechanisms underlying deviation away, on the other hand, remain unclear. Behavioral findings suggest a mechanism of spatially focused, top-down inhibition in a saccade map, and deviation away has become a tool to investigate such inhibition. However, this inhibition hypothesis has little neuroanatomical or neurophysiological support, and recent findings go against it. Here, we propose that deviation away results from an unbalanced saccade drive from the brainstem, caused by spike rate adaptation in brainstem long-lead burst neurons. Adaptation to stimulation in the direction of the distractor results in an unbalanced drive away from it. An existing model of the saccade system was extended with this theory. The resulting model simulates a wide range of findings on saccade trajectories, including findings that have classically been interpreted to support inhibition views. Furthermore, the model replicated the effect of saccade latency on deviation away, but predicted this effect would be absent with large (400 ms) distractor-target onset asynchrony. This prediction was confirmed in an experiment, which demonstrates that the theory both explains classical findings on saccade trajectories and predicts new findings.     

When movement patterns turn into events: Implications for the recognition of spatial configurations from different viewpoints

In the present paper, we examine the spatial representation of dynamic scenes. Particularly, we focus on the question whether recognition performance is viewpoint dependent or viewpoint invariant. In two experiments, the processing of events with regard to their spatial dimension was investigated. Dynamic scenes were varied in a manner that either retained or suppressed their event characteristics. It could be shown that the meaningful variant of the scene led to a viewpoint independent recognition performance, whereas the meaningless variant led to a viewpoint dependent recognition performance. Taken together, the experiments demonstrate that the event character of dynamic scenes enables viewers to encode the scene in a highly economic way and, therefore, has profound implications for the quality of spatial representation in terms of its abstract, viewpoint independent character.