Kripke semantics for knowledge representation logics

This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.     

Survey on biometry for cognitive automotive systems

A survey on biometry for cognitive automotive systems is presented in this paper, specially those biometric systems used for high tech security access, law enforcement and/or commercial transactions. In general, biometric systems can be expensive due to the amount of sensors and processing resources involved. Efforts have been made to integrate these systems to vehicles mostly for security purposes and user authentication. Until now, most of the systems do not go beyond using facial and fingerprint data to start the engine or access the car; however, new generations demand more personalization plus the vehicle making decisions based on their physiological characteristics. Although this kind of technology is considered a luxury feature in general, actually it could help users and save their lives. Indeed, biometry is the way to make the human-vehicle relationship happen, whether the biometric devices are embedded inside the vehicle, used as an accessory or wearables. By using as input not only the sensors inside the vehicle but also data from outside, the vehicle could adapt and/or learn new information to make the best possible decision.     

Separation of data as a principle in factor analysis

Two systems of factor analysis—factoring correlations with units in the diagonal cells and factoring correlations with communalities in the diagonal cells—are considered in relation to the commonly used statistical procedure of separating a set of data (scores) into two or more parts. It is shown that both systems of factor analysis imply the separation of the observed data into two orthogonal parts. The matrices used to achieve the separation differ for the two systems of factor analysis.     

Auditory localization in teleoperator and virtual environment systems: ideas, issues, and problems.

The increasing availability and use of advanced high-tech human-machine interfaces raise many interesting questions about what information should be presented to each sensory modality and how the information should be coded for a given modality. In this paper, attention is confined to the auditory component of the interface and, more specifically, to auditory localization. Both teleoperator systems and virtual-environment systems are considered, and attention is focused upon the opportunities and difficulties associated with the use of unnatural perceptual cues in these systems. Of central interest in this discussion is the use of such cues to improve resolution and thereby obtain systems with superlocalization capabilities.     

College Students’ Perceptions of and Responses to Cheating at Traditional,Modified, and Non-Honor System Institutions

To address growing concerns about academic integrity, college students (n?=?758) at honor system and non-honor system institutions were presented with eight scenarios to determine the influence of an honor system on their perceptions of and responses to academic dishonesty. Main effects for honor code status emerged. Students from traditional honor system schools considered the behaviors to be more dishonest, and were more likely to respond that they would report the incident when compared to students attending modified and non-honor system institutions. Findings suggest traditional honor systems, with specific rules and regulations in place, are more effective at cultivating academic integrity among students; modified honor systems may not be as effective as previous research suggests.     

Models for normal intuitionistic modal logics

Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for an investigation of intuitionistic analogues of systems stronger thanK. A brief survey is given of the existing literature on intuitionistic modal logic.     

TOKEN REINFORCEMENT: A REVIEW AND ANALYSIS

Token reinforcement procedures and concepts are reviewed and discussed in relation to general principles of behavior. The paper is divided into four main parts. Part I reviews and discusses previous research on token systems in relation to common behavioral functions—reinforcement, temporal organization, antecedent stimulus functions, and aversive control—emphasizing both the continuities with other contingencies and the distinctive features of token systems. Part II describes the role of token procedures in the symmetrical law of effect, the view that reinforcers (gains) and punishers (losses) can be measured in conceptually analogous terms. Part III considers the utility of token reinforcement procedures in cross‐species analysis of behavior more generally, showing how token procedures can be used to bridge the methodological gulf separating research with humans from that with other animals. Part IV discusses the relevance of token systems to the field of behavioral economics. Token systems have the potential to significantly advance research and theory in behavioral economics, permitting both a more refined analysis of the costs and benefits underlying standard economic models, and a common currency more akin to human monetary systems. Some implications for applied research and for broader theoretical integration across disciplines will also be considered.     

Gay-Straight Alliances Vary on Dimensions of Youth Socializing and Advocacy: Factors Accounting for Individual and Setting-Level Differences

Gay‐Straight Alliances (GSAs) are school‐based youth settings that could promote health. Yet, GSAs have been treated as homogenous without attention to variability in how they operate or to how youth are involved in different capacities. Using a systems perspective, we considered two primary dimensions along which GSAs function to promote health: providing socializing and advocacy opportunities. Among 448 students in 48 GSAs who attended six regional conferences in Massachusetts (59.8 % LGBQ; 69.9 % White; 70.1 % cisgender female), we found substantial variation among GSAs and youth in levels of socializing and advocacy. GSAs were more distinct from one another on advocacy than socializing. Using multilevel modeling, we identified group and individual factors accounting for this variability. In the socializing model, youth and GSAs that did more socializing activities did more advocacy. In the advocacy model, youth who were more actively engaged in the GSA as well as GSAs whose youth collectively perceived greater school hostility and reported greater social justice efficacy did more advocacy. Findings suggest potential reasons why GSAs vary in how they function in ways ranging from internal provisions of support, to visibility raising, to collective social change. The findings are further relevant for settings supporting youth from other marginalized backgrounds and that include advocacy in their mission.     

The role of haptic versus visual volume cues in the size-weight illusion

Three experiments establish the size-weight illusion as a primarily haptic phenomenon, despite its having been more traditionally considered an example of vision influencing haptic processing. Experiment 1 documents, across a broad range of stimulus weights and volumes, the existence of a purely haptic size-weight illusion, equal in strength to the traditional illusion. Experiment 2 demonstrates that haptic volume cues are both sufficient and necessary-for a full-strength illusion. In contrast, visual volume cues are merely sufficient, and produce a relatively weaker effect. Experiment 3 establishes that congenitally blind subjects experience an effect as powerful as that Of blindfolded sighted observers, thus demonstrating that visual imagery is also unnecessary for a robust size-weight illusion. The results are discussed in terms of their implications for both sensory and cognitive theories of the size-weight illusion. Applications of this work to a human factors design and to sensor-based systems for robotic manipulation are also briefly considered.     

Learning to control brain activity: a review of the production and control of EEG components for driving brain-computer interface (BCI) systems

Brain-computer interface (BCI) technology relies on the ability of individuals to voluntarily and reliably produce changes in their electroencephalographic (EEG) activity. The present paper reviews research on cognitive tasks and other methods of generating and controlling specific changes in EEG activity that can be used to drive BCI systems. To date, motor imagery has been the most commonly used task. This paper explores the possibility that other cognitive tasks, including those used in imaging studies, may prove to be more effective. Other factors which influence performance are also considered in relation to selection of tasks, as well as training of subjects.     

Student gender and the probability of referral for counselling in a college of further education

A small pilot study was carried out to investigate whether college tutors' perceptions of students' counselling needs were dependent on the gender of the student. Twenty-five tutors were asked to read six vignettes describing composite case-studies of students showing overt distress. The vignettes were constructed to represent two of each of three types of problem (anxiety, depression and aggression). One of each clinical type depicted a female student and the other a male. The tutors were asked to evaluate each of the six vignettes along a visual analogue scale, according to the perceived urgency of the problem and its long-term nature. The results were then analysed using two-factor within-subjects anovas and unplanned multiple pairwise comparisons to establish whether there existed any differences on these dimensions. Of the analyses computed, it was found that depressive vignettes were considered to be in more urgent need of referral than were anxious or aggressive vignettes; that males were generally considered to have a more urgent need for referral than were females; that anxiety was construed as a less enduring problem than was depression or aggression; and that male aggressive vignettes were considered to be a longer-term problem than were females, anxious or depressive clients. These results indicate that some sex-role stereotyping exists with respect to psychological problems. This is discussed in terms of equal opportunities and access to student support systems.     

Developing evidence-based guidance – implications for systemic interventions

This article provides a brief review of the history and current approaches to the development of clinical guidelines, particularly as applied to systemic and more generally psychological therapies. Some commonly identified problems associated with guideline development in mental health are reviewed and their implications for guideline development considered. The challenges this work presents for systemic therapies are considered, along with likely future development in clinical guidelines.     

Is state-trace analysis an appropriate tool for assessing the number of cognitive systems?

There is now much evidence that humans have multiple memory systems, and evidence is also building that other cognitive processes are mediated by multiple systems. Even so, several recent articles have questioned the existence of multiple cognitive systems, and a number of these have based their arguments on results from state-trace analysis. State-trace analysis was not developed for this purpose but, rather, to identify data sets that are consistent with variation in a single parameter. All previous applications have assumed that state-trace plots in which the data fall on separate curves rule out any model in which only a single parameter varies across the two tasks under study. Unfortunately, this assumption is incorrect. Models in which only one parameter varies can generate any type of state-trace plot, as can models in which two or more parameters vary. In addition, it is straightforward to show that both single-system and multiple-systems models can generate state-trace plots that are considered in the literature to be consistent with either one or multiple cognitive systems. Thus, without additional information, there is no empirical state-trace plot that supports any inferences about the number of underlying parameters or systems.     

Subformula semantics for strong negation systems

We present a semantics for strong negation systems on the basis of the subformula property of the sequent calculus. The new models, called subformula models, are constructed as a special class of canonical Kripke models for providing the way from the cut-elimination theorem to model-theoretic results. This semantics is more intuitive than the standard Kripke semantics for strong negation systems.     

The role of learning and career guidance for managing mid-career transitions – comparing Germany and Denmark

In Germany and Denmark, the systems of further education and career guidance are well developed, offering a wide range of services and learning opportunities for targeted, specific and also general skills development. Based on an empirical study with mid-career individuals in both countries, the article investigates how the different systems support individuals to manage a career transition and develop their individual pathways. Mid-career transitions can be considered particularly challenging as they often reflect a more profound crisis and major concerns about future career opportunities. Constraints that prevent individuals in mid-career to fully benefit from the learning and guidance offers available can be identified in both countries. These range from the availability of programmes and accessing funding to getting the ‘right’ information. These constraints partly derive from adult education and guidance systems presupposing linear careers rather than disruptive trajectories and horizontal mobility.     

The Haskins Laboratories’ pulse code modulation (PCM) system

The pulse code modulation (PCM) method of digitizing analog signals has become a standard both in digital audio and in speech research, the focus of this paper. The solutions to some problems encountered in earlier systems at Haskins Laboratories are outlined, along with general properties of A/D conversion. Specialized features of the current Haskins Laboratories system, which has also been installed at more than a dozen other laboratories, are also detailed: the Nyquist filter response, the high-frequency preemphasis filter characteristics, the dynamic range, the timing resolution for single- and (synchronized) dual-channel signals, and the form of the digitized speech files (header information, data, and label structure). While the solutions adopted in this system are not intended to be considered a standard, the design principles involved are of interest to users and creators of other PCM systems.     

The extended ramp model: A biomimetic model of behaviour arbitration for lightweight cognitive architectures

In this article, we present an idea for a more intuitive, low-cost, adjustable mechanism for behaviour control and management. One focus of current development in virtual agents, robotics and digital games is on increasingly complex and realistic systems that more accurately simulate intelligence found in nature. This development introduces a multitude of control parameters creating high computational costs. The resulting complexity limits the applicability of AI systems. One solution to this problem it to focus on smaller, more manageable, and flexible systems which can be simultaneously created, instantiated, and controlled. Here we introduce a biologically inspired systems-engineering approach for enriching behaviour arbitration with a low computational overhead. We focus on an easy way to control the maintenance, inhibition and alternation of high-level behaviours (goals) in cases where static priorities are undesirable. The models we consider here are biomimetic, based on neuro-cognitive research findings from dopaminic cells responsible for controlling goal switching and maintenance in the mammalian brain. The most promising model we find is applicable to selection problems with multiple conflicting goals. It utilizes a ramp function to control the execution and inhibition of behaviours more accurately than previous mechanisms, allowing an additional layer of control on existing behaviour prioritization systems.