Contributions to the Theory of Finite-State Based Grammars

This dissertation is a theoretical study of finite-state based grammars used in natural language processing. The study is concerned with certain varieties of finite-state intersection grammars (FSIG) whose parsers define regular relations between surface strings and annotated surface strings. The study focuses on the following three aspects of FSIGs: (i) Computational complexity of grammars under limiting parameters In the study, the computational complexity in practical natural language processing is approached through performance-motivated parameters on structural complexity. Each parameter splits some grammars in the Chomsky hierarchy into an infinite set of subset approximations. When the approximations are regular, they seem to fall into the logarithmic-time hierarchyand the dot-depth hierarchy of star-free regular languages. This theoretical result is important and possibly relevant to grammar induction. (ii) Linguistically applicable structural representations Related to the linguistically applicable representations of syntactic entities, the study contains new bracketing schemes that cope with dependency links, left- and right branching, crossing dependencies and spurious ambiguity. New grammar representations that resemble the Chomsky-Schützenberger representation of context-free languages are presented in the study, and they include, in particular, representations for mildly context-sensitive non-projective dependency grammars whose performance-motivated approximations are linear time parseable. (iii) Compilation and simplification of linguistic constraints Efficient compilation methods for certain regular operations such as generalized restriction are presented. These include an elegant algorithm that has already been adopted as the approach in a proprietary finite-state tool. In addition to the compilation methods, an approach to on-the-fly simplifications of finite-state representations for parse forests is sketched. These findings are tightly coupled with each other under the theme of locality. I argue that the findings help us to develop better, linguistically oriented formalisms for finite-state parsing and to develop more efficient parsers for natural language processing. Avainsanat: syntactic parsing, finite-state automata, dependency grammar, first-order logic, linguistic performance, star-free regular approximations, mildly context-sensitive grammars

AndroMedia - Towards a Context-aware Mobile Music Recommender

Portable music players have made it possible to listen to a personal collection of music in almost every situation, and they are often used during some activity to provide a stimulating audio environment. Studies have demonstrated the effects of music on the human body and mind, indicating that selecting music according to situation can, besides making the situation more enjoyable, also make humans perform better. For example, music can boost performance during physical exercises, alleviate stress and positively affect learning. We believe that people intuitively select different types of music for different situations. Based on this hypothesis, we propose a portable music player, AndroMedia, designed to provide personalised music recommendations using the user’s current context and listening habits together with other user’s situational listening patterns. We have developed a prototype that consists of a central server and a PDA client. The client uses Bluetooth sensors to acquire context information and logs user interaction to infer implicit user feedback. The user interface also allows the user to give explicit feedback. Large user interface elements facilitate touch-based usage in busy environments. The prototype provides the necessary framework for using the collected information together with other user’s listening history in a context- enhanced collaborative filtering algorithm to generate context-sensitive recommendations. The current implementation is limited to using traditional collaborative filtering algorithms. We outline the techniques required to create context-aware recommendations and present a survey on mobile context-aware music recommenders found in literature. As opposed to the explored systems, AndroMedia utilises other users’ listening habits when suggesting tunes, and does not require any laborious set up processes.

Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Evaluation of driving ability of the disabled persons in the context of the psychological activity theory

In the future the number of the disabled drivers requiring a special evaluation of their driving ability will increase due to the ageing population, as well as the progress of adaptive technology. This places pressure on the development of the driving evaluation system. Despite quite intensive research there is still no consensus concerning what is the factual situation in a driver evaluation (methodology), which measures should be included in an evaluation (methods), and how an evaluation has to be carried out (practise). In order to find answers to these questions we carried out empirical studies, and simultaneously elaborated upon a conceptual model for driving and a driving evaluation. The findings of empirical studies can be condensed into the following points: 1) A driving ability defined by the on-road driving test is associated with different laboratory measures depending on the study groups. Faults in the laboratory tests predicted faults in the on-road driving test in the novice group, whereas slowness in the laboratory predicted driving faults in the experienced drivers group. 2) The Parkinson study clearly showed that even an experienced clinician cannot reliably accomplish an evaluation of a disabled person’s driving ability without collaboration with other specialists. 3) The main finding of the stroke study was that the use of a multidisciplinary team as a source of information harmonises the specialists’ evaluations. 4) The patient studies demonstrated that the disabled persons themselves, as well as their spouses, are as a rule not reliable evaluators. 5) From the safety point of view, perceptible operations with the control devices are not crucial, but correct mental actions which the driver carries out with the help of the control devices are of greatest importance. 6) Personality factors including higher-order needs and motives, attitudes and a degree of self-awareness, particularly a sense of illness, are decisive when evaluating a disabled person’s driving ability. Personality is also the main source of resources concerning compensations for lower-order physical deficiencies and restrictions. From work with the conceptual model we drew the following methodological conclusions: First, the driver has to be considered as a holistic subject of the activity, as a multilevel hierarchically organised system of an organism, a temperament, an individuality, and a personality where the personality is the leading subsystem from the standpoint of safety. Second, driving as a human form of a sociopractical activity, is also a hierarchically organised dynamic system. Third, in an evaluation of driving ability it is a question of matching these two hierarchically organised structures: a subject of an activity and a proper activity. Fourth, an evaluation has to be person centred but not disease-, function- or method centred. On the basis of our study a multidisciplinary team (practitioner, driving school teacher, psychologist, occupational therapist) is recommended for use in demanding driver evaluations. Primary in a driver’s evaluations is a coherent conceptual model while concrete methods of evaluations may vary. However, the on-road test must always be performed if possible.

Interaction in the Multicultural Classroom : Towards Culturally Sensitive Home Economics Education

Continuous growth in the number of immigrant students has changed the Finnish school environment. The resulting multicultural school environment is new for both teachers and students. In order to develop multicultural learning environments, there is a need to understand immigrant students everyday lives in school. In this study, home economics is seen as a fruitful school subject area for understanding these immigrant students lives as they cope with school and home cultures that may be very different from each other. Home economics includes a great deal of knowledge and skills that immigrant students need during their everyday activities outside of school. -- The main aim of the study is to clarify the characteristics of multicultural home economics classroom practices and the multicultural contacts and interaction that take place between the students and the teacher. The study includes four parts. The first part, an ethnographical prestudy, aims to understand the challenges of multicultural schoolwork with the aid of ethnographical fieldwork done in one multicultural school. The second part outlines the theoretical frames of the study and focuses on the sociocultural approach. The third part of the study presents an analysis of videodata collected in a multicultural home economics classroom. The teacher s and students interaction in the home economics classroom is analyzed through the concepts of the sociocultural approach and the cultural-historical activity theory. Firstly, this is done by analyzing the focusedness of the teacher s and the students actions as well as the questions presented and apparent disturbances during classroom interaction. Secondly, the immigrant students everyday experiences and cultural background are examined as they appear during discussions in the home economics lessons. Thirdly, the teacher s tool-use and actions as a human mediator are clarified during interaction in the classroom. The fourth part presents the results, according to which a practice-based approach in the multicultural classroom situation is a prerequisite for the teacher s and the students shared object during classroom interaction. Also, the practice-based approach facilitates students understanding during teaching and learning situations. Practice in this study is understood as collaborative teaching and learning situations that include 1) guided activating learning, 2) establishing connections with students everyday lives and 3) multiple tool-use. Guided activating learning in the classroom is defined as situations that occur and assignments that are done with a knowledgeable adult or peer and include action. The teacher s demonstrations during the practical part of the lessons seemed to be fruitful in the teaching and learning situations in the multicultural classroom. Establishing connections with students everyday lives motivated students to follow the lesson and supported understanding of meaning. Furthermore, if multiple tools (both psychological and material) were used, the students managed better with new and sometimes difficult concepts and different working habits, and accomplished the practical work more smoothly . The teacher s tool-use and role as a mediator of meaning are also highlighted in the data analysis. Hopefully, this study can provide a seedbed for situations in which knowledge produced together, as well as horizontally oriented tool-use, can make school-learned knowledge more relevant to immigrant students everyday lives, and help students to better cope with both classroom work and outside activities. KEY WORDS: home economics education, multicultural education, sociocultural perspective, classroom interaction, videoanalysis

Psykoterapian vaikutusten arvioiminen : Keskustelunanalyttinen tutkimus arviointihaastattelun käytänteistä

In the field of psychiatry semi-structured interview is one of the central tools in assessing the psychiatric state of a patient. In semi-structured interview the interviewer participates in the interaction both by the prepared interview questions and by his or her own, unstructured turns. It has been stated that in the context of psychiatric assessment interviewers' unstructured turns help to get focused information but simultaneously may weaken the reliability of the data. This study examines the practices by which semi-structured psychiatric interviews are conducted. The method for the study is conversation analysis, which is both a theory of interaction and a methodology for its empirical, detailed analysis. Using data from 80 video-recorded psychiatric interviews with 16 patients and five interviewers it describes in detail both the structured and unstructured interviewing practices. In the analysis also psychotherapeutic concepts are used to describe phenomena that are characteristic for therapeutic discourse. The data was received from the Helsinki Psychotherapy Study (HPS). HPS is a randomized clinical trial comparing the effectiveness of four forms of psychotherapy in the treatment of depressive and anxiety disorders. A total of 326 patients were randomly assigned to one of three treatment groups: solution-focused therapy, short-term psychodynamic psychotherapy, and long-term psychodynamic psychotherapy. The patients assigned to the long-term psychodynamic psychotherapy group and 41 patients self-selected for psychoanalysis were included in a quasi-experimental design. The primary outcome measures were depressive and anxiety symptoms, while secondary measures included work ability, need for treatment, personality functions, social functioning, and life style. Cost-effectiveness was determined. The data were collected from interviews, questionnaires, psychological tests, and public health registers. The follow-up interviews were conducted five times during a 5-year follow-up. The study shows that interviewers pose elaborated questions that are formulated in a friendly and sensitive way and that make relevant patients' long and story-like responses. When receiving patients' answers interviewers use a wide variety of different interviewing practices by which they direct patients' talk or offer an understanding of the meaning of patients' response. The results of the study are two-fold. Firstly, the study shows that understanding the meaning of mental experiences requires interaction between interviewer and patient. It is stated that therefore semi-structured interview is both relevant and necessary method for collecting data in psychotherapy outcome study. Secondly, the study suggests that conversation analysis, enriched with psychotherapeutic concepts, offers methodological possibilities for psychotherapy process research, especially for process-outcome paradigm.

Methodological perspectives for register-based health system performance assessment : Developing a hip fracture monitoring system in Finland

The resources of health systems are limited. There is a need for information concerning the performance of the health system for the purposes of decision-making. This study is about utilization of administrative registers in the context of health system performance evaluation. In order to address this issue, a multidisciplinary methodological framework for register-based data analysis is defined. Because the fixed structure of register-based data indirectly determines constraints on the theoretical constructs, it is essential to elaborate the whole analytic process with respect to the data. The fundamental methodological concepts and theories are synthesized into a data sensitive approach which helps to understand and overcome the problems that are likely to be encountered during a register-based data analyzing process. A pragmatically useful health system performance monitoring should produce valid information about the volume of the problems, about the use of services and about the effectiveness of provided services. A conceptual model for hip fracture performance assessment is constructed and the validity of Finnish registers as a data source for the purposes of performance assessment of hip fracture treatment is confirmed. Solutions to several pragmatic problems related to the development of a register-based hip fracture incidence surveillance system are proposed. The monitoring of effectiveness of treatment is shown to be possible in terms of care episodes. Finally, an example on the justification of a more detailed performance indicator to be used in the profiling of providers is given. In conclusion, it is possible to produce useful and valid information on health system performance by using Finnish register-based data. However, that seems to be far more complicated than is typically assumed. The perspectives given in this study introduce a necessary basis for further work and help in the routine implementation of a hip fracture monitoring system in Finland.

Models of Dispersal and Diversification

Ecology and evolutionary biology is the study of life on this planet. One of the many methods applied to answering the great diversity of questions regarding the lives and characteristics of individual organisms, is the utilization of mathematical models. Such models are used in a wide variety of ways. Some help us to reason, functioning as aids to, or substitutes for, our own fallible logic, thus making argumentation and thinking clearer. Models which help our reasoning can lead to conceptual clarification; by expressing ideas in algebraic terms, the relationship between different concepts become clearer. Other mathematical models are used to better understand yet more complicated models, or to develop mathematical tools for their analysis. Though helping us to reason and being used as tools in the craftmanship of science, many models do not tell us much about the real biological phenomena we are, at least initially, interested in. The main reason for this is that any mathematical model is a simplification of the real world, reducing the complexity and variety of interactions and idiosynchracies of individual organisms. What such models can tell us, however, both is and has been very valuable throughout the history of ecology and evolution. Minimally, a model simplifying the complex world can tell us that in principle, the patterns produced in a model could also be produced in the real world. We can never know how different a simplified mathematical representation is from the real world, but the similarity models do strive for, gives us confidence that their results could apply. This thesis deals with a variety of different models, used for different purposes. One model deals with how one can measure and analyse invasions; the expanding phase of invasive species. Earlier analyses claims to have shown that such invasions can be a regulated phenomena, that higher invasion speeds at a given point in time will lead to a reduction in speed. Two simple mathematical models show that analysis on this particular measure of invasion speed need not be evidence of regulation. In the context of dispersal evolution, two models acting as proof-of-principle are presented. Parent-offspring conflict emerges when there are different evolutionary optima for adaptive behavior for parents and offspring. We show that the evolution of dispersal distances can entail such a conflict, and that under parental control of dispersal (as, for example, in higher plants) wider dispersal kernels are optimal. We also show that dispersal homeostasis can be optimal; in a setting where dispersal decisions (to leave or stay in a natal patch) are made, strategies that divide their seeds or eggs into fractions that disperse or not, as opposed to randomized for each seed, can prevail. We also present a model of the evolution of bet-hedging strategies; evolutionary adaptations that occur despite their fitness, on average, being lower than a competing strategy. Such strategies can win in the long run because they have a reduced variance in fitness coupled with a reduction in mean fitness, and fitness is of a multiplicative nature across generations, and therefore sensitive to variability. This model is used for conceptual clarification; by developing a population genetical model with uncertain fitness and expressing genotypic variance in fitness as a product between individual level variance and correlations between individuals of a genotype. We arrive at expressions that intuitively reflect two of the main categorizations of bet-hedging strategies; conservative vs diversifying and within- vs between-generation bet hedging. In addition, this model shows that these divisions in fact are false dichotomies.

Detection of clinical mastitis with the help of a thermal camera

Increasing dairy farm size and increase in automation in livestock production require that new methods are used to monitor animal health. In this study, a thermal camera was tested for its capacity to detect clinical mastitis. Mastitis was experimentally induced in 6 cows with 10 mu g of Escherichia coli lipopolysaccharide (LPS). The LPS was infused into the left forequarter of each cow, and the right forequarters served as controls. Clinical examination for systemic and local signs and sampling for indicators of inflammation in milk were carried out before morning and evening milking throughout the 5-d experimental period and more frequently on the challenge day. Thermal images of experimental and control quarters were taken at each sampling time from lateral and medial angles. The first signs of clinical mastitis were noted in all cows 2 h postchallenge and included changes in general appearance of the cows and local clinical signs in the affected udder quarter. Rectal temperature, milk somatic cell count, and electrical conductivity were increased 4 h postchallenge and milk N-acetyl-beta-D-glucosaminidase activity 8 h postchallenge. The thermal camera was successful in detecting the 1 to 1.5 degrees C temperature change on udder skin associated with clinical mastitis in all cows because temperature of the udder skin of the experimental and control quarters increased in line with the rectal temperature. Yet, local signs on the udder were seen before the rise in udder skin and body temperature. The udder represents a sensitive site for detection of any febrile disease using a noninvasive method. A thermal camera mounted in a milking or feeding parlor could detect temperature changes associated with clinical mastitis or other diseases in a dairy herd.

Vain hätapua? : Taloudellinen avustaminen diakoniatyön professionaalisen itseymmärryksen ilmentäjänä

Financial Help Alone? Financial help as an exponent of professional diaconal work One essential form of helping people in the Evangelical Lutheran Church s diaconal work is providing economic aid. It can be seen as work which is in accordance with the spirit of the Church Order (4:3). One of the tasks of diaconal work, determined by the Church Order, is to help those whose distress is the greatest and who have no other source of help. This financial support has become a permanent and essential working method, which has also created tension of various kinds. Financial support has been criticized, especially when the support has been used to fill a gap in the social services provided by the government. It has been argued that diaconal work has been forced to take on responsibility for tasks that belong to the welfare state. The tensions involved in the financial support of diaconal work do not only concern the patching up and supplementing of the deficiencies in the welfare state s services but also the question of diaconal workers self-understanding of financial support and how it relates to their professionalism. In this thesis, I examine the experiences and visions diaconal workers have concerning financial support in their work with clients. The viewpoint of my work is the diaconal workers own experiences and interpretations of the meaning of financial support in customer service. In the articles of my thesis, I examined the meanings that diaconal workers gave to financial support in the aspects of work motivation, empowerment, expertise and tensions. The research material of my articles consists of three different data, which are theme interviews from diaconal workers, a survey from diaconal workers of Espoo and a diaconal barometer of 2009. I have analysed the theme interviews and the survey using qualitative content analysis. The results of my articles showed that diaconal workers motivation in tasks concerning economic aid was sustained by the nature and spiritual aspects of support activities. Work that supported empowerment through financial assistance meant influencing the client s personal life, community and local ties and structural circumstances of the surrounding society. Diaconal workers expertise in financial support work can be characterised as horizontal, which means that the expertise was built on acknowledging the client s dignity, the uniqueness of the client s life situation and listening to the client s own voice. Diaconal workers were also experts in community and area-based work. The tensions in financial support work are linked to its unofficial and undefined role in the field of social welfare and the inability of other aiding parties to respond to their duties. The results of my thesis on the experiences and visions of financial support reveal that it is multilateral and multidimensional. Diaconal workers used financial support to help the clients, taking into account their individual, communal, social and spiritual context. The professionalism of this financial support is reflectively related to the client s need of help and the spontaneity and unexpectedness of the situation. Support work was deeply bound to diaconal workers experiences of spirituality as the basic value in their work, the foundation of their idea of humanity and their method of helping others. In different tasks of financial support diaconal workers balanced between traditional, individual client work based on caritas and working methods which are based on supporting the individual s empowerment and active citizenship, as in postmodern social work. Diaconal workers experiences of financial support illustrated the transition or turning point in the professionalism of diaconal work, which involves finding one s own, stronger and clearer professional identity than earlier with respect to other helpers in society. Creating a unique identity is part of the empowerment process of diaconal work, in which it must define its professional role by itself. In postmodern pluralism and the fragmented context of diaconal activities, the question arose as to whether the spiritual traditions and traditional values of diaconal work support the modifications and adaptations needed in new, unpredictable situations. Diaconal work is said to be fast to react, able to predict changes and adapt to those changes. To preserve its sensitive reactive ability, also in the complex postmodern world, it must retain its own views and orientations. Otherwise, the distinctive values and traditions of diaconal work might sustain static diaconal work, employee-centeredness and a smug attitude when defining beneficiaries and needs, which highlights the paternalism of diaconal work. Such paternalism may complicate the progress of working methods which are based on empowerment and citizenship.

Work/Family Reconciliation: Corporate Management, Family Policies, and Gender Equality in the Finnish Context

Work/family reconciliation is a crucial question for both personal well-being and on societal level for productivity and re-production throughout the Western world. This thesis examines work/family reconciliation on societal and organisational level in the Finnish context. The study is based on an initial framework, developing it further and analysing the results with help of it. The methodology of the study is plural, including varying epistemological emphasis and both quantitative and qualitative methods. Policy analysis from two different sectors is followed by a survey answered by 113 HR-managers, and then, based on quantitative analyses, interviews in four chosen case companies. The central findings of the thesis are that there indeed are written corporate level policies for reconciling work and family in companies operating in Finland, in spite of the strong state level involvement in creating a policy context in work/family reconciliation. Also, the existing policies vary in accessibility and use. The most frequently used work/family policies still are the statutory state level policies for family leave, taking place when a baby is born and during his or her first years. Still, there are new policies arising, such as a nurse for an employee’s child who has fallen ill, that are based on company activity only, which shows in both accessibility and use of the policy. Reasons for developing corporate level work/family policies vary among the so-called pro-active and re-active companies. In general, family law has a substantial effect for developing corporate level policies. Also headquarter gender equality strategies as well as employee demands are important. In regression analyses, it was found that corporate image and importance in recruitment are the foremost reasons for companies to develop policies, not for example the amount of female employees in the company. The reasons for policy development can be summarized into normative pressures, coercive pressures and mimetic pressures, in line with findings from institutional theory. This research, however, includes awareness of different stakeholder interests and recognizes that institutional theory needs to be complemented with notions of gender and family, which seem to play a part in perceived work/family conflict and need for further work/family policies both in managers’ personal lives and on the organisational level. A very central finding, demanding more attention, is the by HR managers perceived change in values towards work and commitment towards organisation at the youngest working generation, Generation Y. This combined with the need for key personnel has brought new challenges to companies especially in knowledge business and will presumably lead to further development of flexible practices in organisations. The accessibility to this flexibility seems to, however, be even more dependent on the specific knowledge and skills of the employee. How this generation will change the organisations remains to be seen in further research.