Visual target detection is impaired at event boundaries

Boundaries between meaningful events are key moments in comprehending human action. At these points, viewers may focus on the event's contents at the expense of other information. We tested whether visual detection was impaired at those moments perceivers judged to be boundaries between events. Short animated football clips were used as stimulus material, and event boundaries were imposed by having the ball change possession. In a first experiment, we found that possession changes were perceived to be event boundaries. In a second experiment, participants were asked to keep track of 4 of 10 players and to watch for 120 ms probes appearing either at an event boundary or a nonboundary. Probe detection was less accurate at event boundaries. This result suggests that the segmentation of ongoing activity into events corresponds with the regulation of attention over time.     

At the Frontiers of Modeling Intensive Longitudinal Data: Dynamic Structural Equation Models for the Affective Measurements from the COGITO Study

With the growing popularity of intensive longitudinal research, the modeling techniques and software options for such data are also expanding rapidly. Here we use dynamic multilevel modeling, as it is incorporated in the new dynamic structural equation modeling (DSEM) toolbox in Mplus, to analyze the affective data from the COGITO study. These data consist of two samples of over 100 individuals each who were measured for about 100 days. We use composite scores of positive and negative affect and apply a multilevel vector autoregressive model to allow for individual differences in means, autoregressions, and cross-lagged effects. Then we extend the model to include random residual variances and covariance, and finally we investigate whether prior depression affects later depression scores through the random effects of the daily diary measures. We end with discussing several urgent—but mostly unresolved—issues in the area of dynamic multilevel modeling.     

Assessing and Facilitating School Readiness for Microcomputers

Microcomputers represent a complex educational innovation requiring a planned change approach to program implementation. In this paper, the AVICTORY approach, a framework for assessing organizational readiness for microcomputers, is delineated. A case illustration is presented to demonstrate the relevance of the approach and a strategy for operationalizing and measuring organizational readiness is provided. Activities which may facilitate school readiness for microcomputers are also discussed.     

Dynamic binding of identity and location information: a serial model of multiple identity tracking

Tracking of multiple moving objects is commonly assumed to be carried out by a fixed-capacity parallel mechanism. The present study proposes a serial model (MOMIT) to explain performance accuracy in the maintenance of multiple moving objects with distinct identities. A serial refresh mechanism is postulated, which makes recourse to continuous attention switching, a capacity-limited episodic buffer for identity-location bindings, indexed location information stored in the visuospatial short-term memory, and an active role of long-term memory. As identity-location bindings are refreshed serially, a location error is inherent for all other targets except the focally attended one. The magnitude of this location error is a key factor in predicting tracking accuracy. MOMIT’s predictions were supported by the data of five experiments: performance accuracy decreased as a function of target set-size, speed, and familiarity. A mathematical version of MOMIT fitted nicely to the observed data with plausible parameter estimates for the binding capacity and refresh time.     

A Dynamic-Logical Perspective on Quantum Behavior

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.     

Public and private communication are different: results on relative expressivity

Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable for the class of all pointed Kripke models, which provides a formal proof that public and private communication are fundamentally different in the presence of common knowledge. It is also shown that single-recipient private communication does not add expressive power to the language of modal logic with common knowledge for any class of transitive pointed Kripke models. The latter result provides a sense in which positive introspection—believing our own beliefs—induces a kind of self-dialog.     

Koopmans’ constant discounting for intertemporal choice: A simplification and a generalization

Koopmans provided a well-known preference axiomatization for discounted utility, the most widely used model for maximizing intertemporal choice. There were, however, some technical problems in his analysis. For example, there was an unforeseen implication of bounded utility. Some partial solutions have been advanced in various fields in the literature. The technical problems in Koopmans’ analysis obscure the appeal of his intuitive axioms. This paper completely resolves Koopmans’ technical problems. In particular, it obtains complete flexibility concerning the utility functions that can be used. This paper, thus, provides a clean and complete preference axiomatization of discounted utility, clarifying the appeal of Koopmans’ intuitive axioms.     

Action negation and alternative reductions for dynamic deontic logics

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and (2) does not impose restrictions on the use of other relevant action combinators such as sequence and iteration, and (3) has a meaningful interpretation in the normative context. The second problem we address concerns the reduction from deontic assertions to dynamic logic assertions. Our first point is that we want this reduction to obey the free-choice semantics for norms. For ought-to-be deontic logics it is generally accepted that the free-choice semantics is counter-intuitive. But for dynamic deontic logics we actually consider it a viable, if not, the better alternative. Our second concern with the reduction is that we want it to be more liberal than the ones that were proposed before in the literature. For instance, Meyer's reduction does not leave room for action whose normative status is neither permitted nor forbidden. We test the logics we define in this paper against a set of minimal logic requirements.     

Model checking propositional dynamic logic with all extras

This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context-free programs. The algorithm shows that the model checking problem for PDL remains PTIME-complete in the presence of all these operators, in contrast to the high increase in complexity that they cause for the satisfiability problem.     

Contribution of upper trunk rotation to hand forward-backward movement and propulsion in front crawl strokes

The study aims to test three hypotheses: (a) the rotation of the upper trunk consists of roll, pitch and yaw of frequencies harmonic to the stroke frequency of the front crawl stroke, (b) the rotation of the upper trunk generates back-and-forth movements of the shoulders, which enhances the movements of the stroking arms, and (c) the angular velocities of roll, pitch and yaw are associated with hand propulsion (HP). Front crawl strokes performed by twenty male swimmers were measured with a motion capture system. The roll, pitch and yaw angles about the three orthogonal axes embedded in the upper trunk were determined as three sequential Cardan angles and their angular velocities were determined as the three respective components of the angular velocity. HP and the drag and lift components of HP (HP_D and HP_L) were estimated by the hand positions and the data from twelve pressure sensors attached on hands. The roll, pitch, and yaw angles were altered in frequencies harmonic to the stroke frequency during the front crawl stroke. Shoulders alternately moved back and forth due to the upper trunk rotation. In the pull phase the angular velocity of roll was correlated with HP_L (r = −0.62, p = 0.004). Based on the back-and-forth movements of the shoulders and roll motion relative to a hand movement, the arm-stroke technique of the front crawl swimming was discussed in terms of increasing the hand velocity and HP.