Towards automated first-order abduction: the cut-based approach

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.

Quantitative MRI of Vastus Medialis, Vastus Lateralis and Gluteus Medius Muscle Workload after Squat Exercise: Comparison Between Squatting with Hip Adduction and Hip Abduction

The aim of the present study was to evaluate the use MRI to quantify the workload of gluteus medius (GM), vastus medialis (VM) and vastus lateralis (VL) muscles in different types of squat exercises. Fourteen female volunteers were evaluated, average age of 22 +/- 2 years, sedentary, without clinical symptoms, and without history of previous lower limb injuries. Quantitative MRI was used to analyze VM, VL and GM muscles before and after squat exercise, squat associated with isometric hip adduction and squat associated with isometric hip abduction. Multi echo images were acquired to calculate the transversal relaxation times (T2) before and after exercise. Mixed Effects Model statistical analysis was used to compare images before and after the exercise (Delta T2) to normalize the variability between subjects. Imaging post processing was performed in Matlab software. GM muscle was the least active during the squat associated with isometric hip adduction and VM the least active during the squat associated with isometric hip abduction, while VL was the most active during squat associated with isometric hip adduction. Our data suggests that isometric hip adduction during the squat does not increase the workload of VM, but decreases the GM muscle workload. Squat associated with isometric hip abduction does not increase VL workload.

The effect of hip abduction on the EMG activity of vastus medialis obliquus, vastus lateralis longus and vastus lateralis obliquus in healthy subjects

Abstract Study design Controlled laboratory study. Objectives The purposes of this paper were to investigate (d) whether vastus medialis obliquus (VMO), vastus lateralis longus (VLL) and vastus lateralis obliquus (VLO) EMG activity can be influenced by hip abduction performed by healthy subjects. Background Some clinicians contraindicate hip abduction for patellofemoral patients (with) based on the premise that hip abduction could facilitate the VLL muscle activation leading to a VLL and VMO imbalance Methods and measures Twenty-one clinically healthy subjects were involved in the study, 10 women and 11 men (aged X = 23.3 ± 2.9). The EMG signals were collected using a computerized EMG VIKING II, with 8 channels and three pairs of surface electrodes. EMG activity was obtained from MVIC knee extension at 90° of flexion in a seated position and MVIC hip abduction at 0° and 30° with patients in side-lying position with the knee in full extension. The data were normalized in the MVIC knee extension at 50° of flexion in a seated position, and were submitted to ANOVA test with subsequent application of the Bonferroni multiple comparisons analysis test. The level of significance was defined as p ≤ 0.05. Results The VLO muscle demonstrated a similar pattern to the VMO muscle showing higher EMG activity in MVIC knee extension at 90° of flexion compared with MVIC hip abduction at 0° and 30° of abduction for male (p < 0.0007) and MVIC hip abduction at 0° of abduction for female subjects (p < 0.02196). There were no statistically significant differences in the VLL EMG activity among the three sets of exercises tested. Conclusion The results showed that no selective EMG activation was observed when comparison was made between the VMO, VLL and VLO muscles while performing MVIC hip abduction at 0° and 30° of abduction and MVIC knee extension at 90° of flexion in both male and female subjects. Our findings demonstrate that hip abduction do not facilitated VLL and VLO activity in relation to the VMO, however, this study included only healthy subjects performing maximum voluntary isometric contraction contractions, therefore much remains to be discovered by future research

Evaluation of movements of lower limbs in non-professional ballet dancers: hip abduction and flexion

Background The literature indicated that the majority of professional ballet dancers present static and active dynamic range of motion difference between left and right lower limbs, however, no previous study focused this difference in non-professional ballet dancers. In this study we aimed to evaluate active movements of the hip in non-professional classical dancers. Methods We evaluated 10 non professional ballet dancers (16-23 years old). We measured the active range of motion and flexibility through Well Banks. We compared active range of motion between left and right sides (hip flexion and abduction) and performed correlation between active movements and flexibility. Results There was a small difference between the right and left sides of the hip in relation to the movements of flexion and abduction, which suggest the dominant side of the subjects, however, there was no statistical significance. Bank of Wells test revealed statistical difference only between the 1st and the 3rd measurement. There was no correlation between the movements of the hip (abduction and flexion, right and left sides) with the three test measurements of the bank of Wells. Conclusion There is no imbalance between the sides of the hip with respect to active abduction and flexion movements in non-professional ballet dancers.

Effect of Functional Stabilization Training on Lower Limb Biomechanics in Women

BALDON, R. D. M., D. F. M. LOBATO, L. P. CARVALHO, P. Y. L. WUN, P. R. P. SANTIAGO, and F. V. SERRAO. Effect of Functional Stabilization Training on Lower Limb Biomechanics in Women. Med. Sci. Sports Exerc., Vol. 44, No. 1, pp. 135-145, 2012. Purpose: This study aimed to verify the effects of functional stabilization training on lower limb kinematics, functional performance, and eccentric hip and knee torques. Methods: Twenty-eight women were divided into a training group (TG; n = 14), which carried out the functional stabilization training during 8 wk, and a control group (CG; n = 14), which carried out no physical training. The kinematic assessment of the lower limb was performed during a single-leg squat, and the functional performance was evaluated by way of the single-leg triple hop and the timed 6-m single-leg hop tests. The eccentric hip abductor, adductor, lateral rotator, medial rotator, and the knee flexor and extensor torques were measured using an isokinetic dynamometer. Results: After 8 wk, the TG significantly reduced the values for knee abduction (from -6.86 degrees to 1.49 degrees), pelvis depression (from -10.21 degrees to -7.86 degrees) and femur adduction (from 7.08 degrees to 5.19 degrees) as well as increasing the excursion of femur lateral rotation (from -0.55 degrees to -3.67 degrees). Similarly, the TG significantly increased the values of single-leg triple hop (from 3.52 to 3.92 m) and significantly decreased the values of timed 6-m single-leg hop tests (from 2.43 to 2.14 s). Finally, the TG significantly increased the eccentric hip abductor (from 1.31 to 1.45 N center dot m center dot kg(-1)), hip lateral rotator (from 0.75 to 0.91 N center dot m center dot kg(-1)), hip medial rotator (from 1.45 to 1.66 N center dot m center dot kg(-1)), knee flexor (from 1.43 to 1.55 N center dot m center dot kg(-1)), and knee extensor (from 3.46 to 4.40 N center dot m center dot kg(-1)) torques. Conclusions: Strengthening of the hip abductor and lateral rotator muscles associated with functional training improves dynamic lower limb alignment and increases the strength and functional performance.

Relações entre experiências anômalas tipicamente contemporâneas, transtornos mentais e experiências espirituais

Background: The anomalous experiences are often an explanatory challenge for psychiatry and psychology about how and why they occur, in addition to signaling gaps in knowledge about human psychological functioning, as hallucinations in non-clinical populations. Objective: It aims to investigate possible psychopathological dimensions of Brazilian samples of persons who claim distinctively contemporary anomalous experiences. Methods: It was used the Mini International Neuropsychiatric Interview, detailed version (MINI PLUS) and the nine diagnostic criteria for the distinction between spiritual experiences and mental disorders with religious content developed by Menezes Junior and Moreira-Almeida. Results: There was evidence that the experiences are typically healthy, although there are indicators of pre-morbid characteristics in the childhood and adolescence of the protagonists of the more complex experiments. There is profitable intersections with healthy squizotype profile, which is still poorly understood. Discussion: The absence of formal mental disorders does not exhaust the possible relations between contemporary anomalous experiences and the mental health field, but reveals complexities that characterize the everyday culture. Martins LB, Zangari W / Rev Psiq Clin. 2012; 39(6): 198-202

Frontal Plane Biomechanics in Males and Females with and without Patellofemoral Pain

NAKAGAWA, T. H., E. T. U. MORIYA, C. D. MACIEL, and F. V. SERRAO. Frontal Plane Biomechanics in Males and Females with and without Patellofemoral Pain. Med. Sci. Sports &ere., Vol. 44, No. 9, pp. 1747-1755, 2012. Purpose: The study's purpose was to compare trunk, pelvis, hip, and knee frontal plane biomechanics in males and females with and without patellofemoral pain syndrome (PFPS) during stepping. Methods: Eighty recreational athletes were equally divided into four groups: female PFPS, female controls, male PFPS, and male controls. Trunk, pelvis, hip, and knee frontal plane kinematics and activation of the gluteus medius were evaluated at 15 degrees, 30 degrees, 45 degrees, and 60 degrees of knee flexion during the downward and upward phases of the stepping task. Isometric hip abductor torque was also evaluated. Results: Females showed increased hip adduction and knee abduction at all knee flexion angles, greater ipsilateral trunk lean and contralateral pelvic drop from 60 degrees of knee flexion till the end of the stepping task (P = 0.027-0.001), diminished hip abductor torque (P < 0.001), and increased gluteus medius activation than males (P = 0.008-0.001). PFPS subjects presented increased knee abduction at all the angles evaluated; greater trunk, pelvis, and hip motion from 45 of knee flexion of the downward phase till the end of the maneuver; and diminished gluteus medius activation at 60 degrees of knee flexion, compared with controls (P = 0.034-0.001). Females with PFPS showed lower hip abductor torque compared with the other groups. Conclusions: Females presented with altered frontal plane biomechanics that may predispose them to knee injury. PFPS subjects showed frontal plane biomechanics that could increase the lateral patellofemoral joint stress at all the angles evaluated and could increase even more from 45 degrees of knee flexion in the downward phase untill the end of the maneuver. Hip abductor strengthening and motor control training should be considered when treating females with PFPS.

Trunk, Pelvis, Hip, and Knee Kinematics, Hip Strength, and Gluteal Muscle Activation During a Single-Leg Squat in Males and Females With and Without Patellofemoral Pain Syndrome

STUDY DESIGN: Controlled laboratory study using a cross-sectional design. OBJECTIVES: To determine whether there are any differences between the sexes in trunk, pelvis, hip, and knee kinematics, hip strength, and gluteal muscle activation during the performance of a single-leg squat in individuals with patellofemoral pain syndrome (PFPS) and control participants. BACKGROUND: Though there is a greater incidence of PFPS in females, PFPS is also quite common in males. Trunk kinematics may affect hip and knee function; however, there is a lack of studies of the influence of the trunk in individuals with PFPS. METHODS: Eighty subjects were distributed into 4 groups: females with PFPS, female controls, males with PFPS, and male controls. Trunk, pelvis, hip, and knee kinematics and gluteal muscle activation were evaluated during a single-leg squat. Hip abduction and external rotation eccentric strength was measured on an isokinetic dynamometer. Group differences were assessed using a 2-way multivariate analysis of variance (sex by PFPS status). RESULTS: Compared to controls, subjects with PFPS had greater ipsilateral trunk lean (mean +/- SD, 9.3 degrees +/- 5.30 degrees versus 6.7 degrees +/- 3.0 degrees; P = .012), contralateral pelvic drop (10.3 degrees +/- 4.7 degrees versus 7.4 degrees 3.8 degrees; P = .003), hip adduction (14.8 degrees +/- 7.8 degrees versus 10.8 degrees +/- 5.6 degrees; P<.0001), and knee abduction (9.2 degrees +/- 5.0 degrees versus 5.8 degrees +/- 3.4 degrees; P<.0001) when performing a single-leg squat. Subjects with PFPS also had 18% less hip abduction and 17% less hip external rotation strength. Compared to female controls, females with PFPS had more hip internal rotation (P<.05) and less muscle activation of the gluteus medius (P = .017) during the single-leg squat. CONCLUSION: Despite many similarities in findings for males and females with PFPS, there may be specific sex differences that warrant consideration in future studies and when clinically evaluating and treating females with PFPS. J Orthop Sports Phys Ther 2012;42(6):491-501, Epub 8 March 2012. doi:10.2519/jospt.2012.3987