When two limbs are weaker than one: Sensorimotor syncopation with alternating hands

This study addresses the demands of alternating bimanual syncopation, a coordination mode in which the two hands move in alternation while tapping in antiphase with a metronomic tone sequence. Musically trained participants were required to engage in alternating bimanual syncopation and five other coordination modes: unimanual syncopation where taps are made (with the left or right hand) after every tone; unimanual syncopation where taps are made after every other tone; bimanual synchronization with alternating hands; unimanual synchronized tapping with every tone; and unimanual tapping with every other tone. Variability in tap timing was greatest overall for alternating bimanual syncopation, indicating that it is the most difficult. This appears to be due to instability arising from the simultaneous presence of two levels of antiphase coordination (one between the pacing sequence and the hands, the other between the two hands) rather than factors relating to movement frequency or dexterity limits of the nonpreferred hand.     

Logical Foundations for Belief Representation

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems far natural-language representation and reasoning systems, because—unlike pure indicators—they cannot be replaced by coreferential NPs without changing the meaning of the embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system ore also examined.