Hyperformulas and Solid Algebraic Systems

Defining a composition operation on sets of formulas one obtains a many-sorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of the given type. The interpretations of formulas on an algebraic system of the same type form a many-sorted algebra with similar properties. The satisfaction of a formula by an algebraic system defines a Galois connection between classes of algebraic systems of the same type and collections of formulas. Hypersubstitutions are mappings sending pairs of operation symbols to pairs of terms of the corresponding arities and relation symbols to formulas of the same arities. Using hypersubstitutions we define hyperformulas. Satisfaction of a hyperformula by an algebraic system defines a second Galois connection between classes of algebraic systems of the same type and collections of formulas. A class of algebraic systems is said to be solid if every formula which is satisfied is also satisfied as a hyperformula. On the basis of these two Galois connections we construct a conjugate pair of additive closure operators and are able to characterize solid classes of algebraic systems. Presented by Wojciech Buszkowski     

AUGMENTED REALITY,ARTIFICIAL INTELLIGENCE,AND THE RE‐ENCHANTMENT OF THE WORLD

There has recently been a surge of development in augmented reality (AR) technologies that has led to an ecosystem of hardware and software for AR, including tools for artists and designers to accelerate the design of AR content and experiences without requiring complex programming. AR is viewed as a key “disruptive technology” and future display technologies (such as digital eyewear) will provide seamless continuity between reality and the digitally augmented. This article will argue that the technologization of human perception and experience of reality, coupled with the development of artificial intelligence (AI)–based natural language assistants, may lead to a secular re‐enchantment of the world, in the sense outlined by Charles Taylor, where human existence is shaped through AR inhabited by advanced personal and social AI agents in the form of digital avatars and daemons, and that enchantment has been persistent throughout the formation of modernity and is being rekindled by the integration of AI in the plane of AR.     

Terminal Feedback Outperforms Concurrent Visual,Auditory, and Haptic Feedback in Learning a Complex Rowing-Type Task

Augmented feedback, provided by coaches or displays, is a well-established strategy to accelerate motor learning. Frequent terminal feedback and concurrent feedback have been shown to be detrimental for simple motor task learning but supportive for complex motor task learning. However, conclusions on optimal feedback strategies have been mainly drawn from studies on artificial laboratory tasks with visual feedback only. Therefore, the authors compared the effectiveness of learning a complex, 3-dimensional rowing-type task with either concurrent visual, auditory, or haptic feedback to self-controlled terminal visual feedback. Results revealed that terminal visual feedback was most effective because it emphasized the internalization of task-relevant aspects. In contrast, concurrent feedback fostered the correction of task-irrelevant errors, which hindered learning. The concurrent visual and haptic feedback group performed much better during training with the feedback than in nonfeedback trials. Auditory feedback based on sonification of the movement error was not practical for training the 3-dimensional movement for most participants. Concurrent multimodal feedback in combination with terminal feedback may be most effective, especially if the feedback strategy is adapted to individual preferences and skill level.     

Challenge Point: A Framework for Conceptualizing the Effects of Various Practice Conditions in Motor Learning

The authors describe the effects of practice conditions in motor learning (e.g., contextual interference, knowledge of results) within the constraints of 2 experimental variables: skill level and task difficulty. They use a research framework to conceptualize the interaction of those variables on the basis of concepts from information theory and information processing. The fundamental idea is that motor tasks represent different challenges for performers of different abilities. The authors propose that learning is related to the information arising from performance, which should be optimized along functions relating the difficulty of the task to the skill level of the performer. Specific testable hypotheses arising from the framework are also described.     

Kant's Universal Law Formula Revisited

Kantians are increasingly deserting the universal law formula in favor of the humanity formula. The former, they argue, is open to various decisive objections; the two are not equivalent; and it is only by appealing to the humanity formula that Kant can reliably generate substantive implications from his theory of an acceptable sort. These assessments of the universal law formula, which clash starkly with Kant's own assessment of it, are based on various widely accepted interpretative assumptions. These assumptions, it is argued in this article, depend on misleading translations of key terms; selective attention to Kant's concrete examples; not taking seriously Kant's theoretical claims about the relations among his various ideas; and a failure to take into account Kant's idiosyncratic definitions of key concepts. The article seeks to right these interpretative wrongs, and finds that the universal law formula is not open to many of the standard objections.     

新尝试“假设法脑出血测量”与常用方法的对比

介绍一种CT脑血肿体积测量的新方法——假设法。制作水模进行CT扫描,分别用CT脑出血测量之假设法与多田公式法、CT定量法对其测量,比较结果的准确性。该方法较多田公式法、CT定量法更便捷准确。此假设法,计算简单、快速、准确,比多田公式法、CT定量法更具优势。     

Creativity in Digital Reality / Creatividad en la realidad digital

Abstract

Digital environments — simulations, games and realities — have been gaining more attention in behaviour research as the relevant technology has become more advanced and affordable. This increased attention has been paralleled by the growing research literature, a corner of which belongs to studies of creativity in digital environments. This mini review highlights the main threads of this corner, focusing on the utilization of digital environments in education and industry.