Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems

Qualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.

The Impact of Personal Trainer’s Leadership Style on Self-Presentational Concerns, Enjoyment, Task Self-Efficacy and Intention to Exercise in an Introductory Weight Training Orientation

The purpose of the present study was to examine two leadership styles of personal trainers (bland versus enriched) to evaluate their effects on exercise-related outcomes. Participants were 103 university women with no previous experience weight training. Participants were randomly assigned to one of the two leadership style conditions. They completed primary measures prior to being introduced to the personal trainer. Next, participants completed an introductory weight training session, followed by post-manipulation measures. The leadership styles were successfully manipulated. Participants in the enriched leadership style condition reported significantly higher levels of enjoyment and intention to exercise. Participants in the bland leadership style condition reported significantly higher levels of social anxiety; no differences were found for task self-efficacy, self-presentational efficacy, social physique anxiety, or handgrip performance between groups. Thus, an enriched leadership style of personal trainers can increase positive psychological outcomes.

The Impact of Directed Mirror Focus and Technique Cues on Psychological, Cognitive and Emotional Exercise Correlates in an Introductory Weight Training Orientation

The purpose of the study was to investigate whether teaching inactive and low active women to use mirrors for form and technique purposes could lessen the negative impact of mirrors on self-presentational concerns, affect, and self-efficacy. Eligible women (N = 82) underwent a one-on-one weight training orientation with a personal trainer. Participants were randomized into one of four experimental groups, each unique in the type of feedback (general or technique-specific) and the degree of focus on the mirror for technique reinforcement. Questionnaires assessed study outcomes pre- and post-orientation. Results indicated groups did not significantly differ on any post-condition variables, when controlling for pre-condition values (all p’s >.05). All groups showed outcome improvements following the orientation. This suggests that during a complex task, a personal trainer who emphasizes form and technique can facilitate improvements to psychological outcomes in novice exercisers, independent of the presence of mirrors or directional cues provided.