Genetic programming for the RoboCup Rescue Simulation System

The Robocup Rescue Simulation System (RCRSS) is a dynamic system of multi-agent interaction, simulating a large-scale urban disaster scenario. Teams of rescue agents are charged with the tasks of minimizing civilian casualties and infrastructure damage while competing against limitations on time, communication, and awareness. This thesis provides the first known attempt of applying Genetic Programming (GP) to the development of behaviours necessary to perform well in the RCRSS. Specifically, this thesis studies the suitability of GP to evolve the operational behaviours required of each type of rescue agent in the RCRSS. The system developed is evaluated in terms of the consistency with which expected solutions are the target of convergence as well as by comparison to previous competition results. The results indicate that GP is capable of converging to some forms of expected behaviour, but that additional evolution in strategizing behaviours must be performed in order to become competitive. An enhancement to the standard GP algorithm is proposed which is shown to simplify the initial search space allowing evolution to occur much quicker. In addition, two forms of population are employed and compared in terms of their apparent effects on the evolution of control structures for intelligent rescue agents. The first is a single population in which each individual is comprised of three distinct trees for the respective control of three types of agents, the second is a set of three co-evolving subpopulations one for each type of agent. Multiple populations of cooperating individuals appear to achieve higher proficiencies in training, but testing on unseen instances raises the issue of overfitting.

A speculative systems model of the dynamic interaction among students, faculty and administration in the community college, with particular reference to intrinsic motivation and the teacher-administrator interface

The challenge the community college faces in helping meet the needs of the living open system of society is examined in this study. It is postulated that internalization student outcomes are required by society to reduce entropy and remain self-renewing. Such behavior is characterized as having an intrinsically motivated energy source and displays the seeking and conquering of challenge, the development of reflective knowledge and skill, full use of all capabilities, internal control, growth orientation, high self-esteem, relativistic thinking and competence. The development of a conceptual systems model that suggests how transactions among students, faculty and administration might occur to best meet the needs of internalization outcomes in students, and intrinsic motivation in faculty is a major purpose of this study. It is a speculative model that is based on a synthesis of a wide variety of variables. Empirical evidence, theoretical considerations, and speculative ideas are gathered together from researchers and theoretici.ans who are working on separate answers to questions of intrinsic motivation, internal control and environments that encourage their development. The model considers the effect administrators·have on faculty anq the corresponding effect faculty may have on students. The major concentration is on the administrator--teacher interface.For administrators the model may serve as a guide in planning effective transactions, and establishing system goals. The teacher is offered a means to coordinate actions toward a specific overall objective, and the administrator, teacher and researcher are invited to use the model to experiment, innovate, verify the assumptions on which the model is based, and raise additional hypotheses. Goals and history of the community colleges in Ontario are examined against current problems, previous progress and open system thinking. The nature of the person as a five part system is explored with emphasis on intrinsic motivation. The nature, operation, conceptualization, and value of this internal energy source is reviewed in detail. The current state of society, education and management theory are considered and the value of intrinsically motivating teaching tasks together with "system four" leadership style are featured. Evidence is reviewed that suggests intrinsically motivated faculty are needed, and "system four" leadership style is the kind of interaction-influence system needed to nurture intrinsic motivation in faculty.

Investigating a dynamic modular framework for subjective well-being

According to Diener (1984), the three primary components of subjective well-being (SWB) are high life satisfaction (LS), frequent positive affect (P A), and infrequent negative affect (NA). The present dissertation extends previous research and theorizing on SWB by testing an innovative framework developed by Shmotkin (2005) in which SWB is conceptualized as an agentic process that promotes and maintains positive functioning. Two key components ofShmotkin's framework were explored in a longitudinal study of university students. In Part 1, SWB was examined as an integrated system of components organized within individuals. Using cluster analysis, five distinct configurations of LS, P A, and NA were identified at each wave. Individuals' SWB configurations were moderately stable over time, with the highest and lowest stabilities observed among participants characterized by "high SWB" and "low SWB" configurations, respectively. Changes in SWB configurations in the direction of a high SWB pattern, and stability among participants already characterized by high SWB, coincided with better than expected mental, physical, and interpersonal functioning over time. More positive levels of functioning and improvements in functioning over time discriminated among SWB configurations. However, prospective effects of SWB configurations on subsequent functioning were not observed. In Part 2, subjective temporal perspective "trajectories" were examined based on individuals' ratings of their past, present, and anticipated future LS. Upward subjective LS trajectories were normative at each wave. Cross-sectional analyses revealed consistent associations between upward subjective trajectories and lower levels of LS, as well as less positive mental, physical, and interpersonal functioning. Upward subjective LS trajectories were biased both with respect to underestimation of past LS and overestimation of future LS, demonstrating their illusional nature. Further, whereas more negative retrospective bias was associated with greater current distress and dysfunction, more positive prospective bias was associated with less positive functioning in the future. Prospective relations, however, were not consistently observed. Thus, steep upward subjective LS trajectory appeared to be a form of wishful-thinking, rather than an adaptive form of selfenhancement. Major limitations and important directions for future research are considered. Implications for Shmotkin's (2005) framework, and for research on SWB more generally, also are discussed

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.