Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

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.

Bird depredation of grapes in Niagara vineyards : a novel approach to identifying spatial and temporal trends /

Although local grape growers view bird depredation as a significant economic issue, the most recent research on the problem in the Niagara Peninsula is three decades old. Peer-reviewed publications on the subject are rare, and researchers have struggled to develop bird-damage assessment techniques useful for facilitating management programmes. I used a variation of Stevenson and Virgo's (1971) visual estimation procedure to quantify spatial and temporal trends in bird damage to grapes within single vineyard plots at two locations near St. Catharines, Ontario. I present a novel approach to managing the rank-data from visual estimates, which is unprecedented in its sensitivity to spatial trends in bird damage. I also review its valid use in comparative statistical analysis. Spatial trends in 3 out of 4 study plots confirmed a priori predictions about localisation in bird damage based on optimal foraging from a central location (staging area). Damage to grape clusters was: (1) greater near the edges of vineyard plots and decreased with distance towards the center, (2) greater in areas adjacent to staging areas for birds, and (3) vertically stratified, with upper-tier clusters sustaining more damage than lower-tier clusters. From a management perspective, this predictive approach provides vineyard owners with the ability to identify the portions of plots likely to be most susceptible to bird damage, and thus the opportunity to focus deterrent measures in these areas. Other management considerations at Henry of Pelham were: (1) wind damage to ice-wine Riesling and Vidal was much higher than bird damage, (2) plastic netting with narrow mesh provided more effective protection agsiinst birds than nylon netting with wider mesh, and (3) no trends in relative susceptibility of varietals by colour (red vs green) were evident.

Predicting performance on fluid intelligence from speed of processing, working memory, and controlled attention

Fluid inteliigence has been defined as an innate ability to reason which is measured commonly by the Raven's Progressive Matrices (RPM). Individual differences in fluid intelligence are currently explained by the Cascade model (Fry & Hale, 1996) and the Controlled Attention hypothesis (Engle, Kane, & Tuholski, 1999; Kane & Engle, 2002). The first theory is based on a complex relation among age, speed, and working memory which is described as a Cascade. The alternative to this theory, the Controlled Attention hypothesis, is based on the proposition that it is the executive attention component of working memory that explains performance on fluid intelligence tests. The first goal of this study was to examine whether the Cascade model is consistent within the visuo-spatial and verbal-numerical modalities. The second goal was to examine whether the executive attention component ofworking memory accounts for the relation between working memory and fluid intelligence. Two hundred and six undergraduate students between the ages of 18 and 28 completed a battery of cognitive tests selected to measure processing speed, working memory, and controlled attention which were selected from two cognitive modalities, verbalnumerical and visuo-spatial. These were used to predict performance on two standard measures of fluid intelligence: the Raven's Progressive Matrices (RPM) and the Shipley Institute of Living Scales (SILS) subtests. Multiple regression and Structural Equation Modeling (SEM) were used to test the Cascade model and to determine the independent and joint effects of controlled attention and working memory on general fluid intelligence. Among the processing speed measures only spatial scan was related to the RPM. No other significant relations were observed between processing speed and fluid intelligence. As 1 a construct, working memory was related to the fluid intelligence tests. Consistent with the predictions for the RPM there was support for the Cascade model within the visuo-spatial modality but not within the verbal-numerical modality. There was no support for the Cascade model with respect to the SILS tests. SEM revealed that there was a direct path between controlled attention and RPM and between working memory and RPM. However, a significant path between set switching and RPM explained the relation between controlled attention and RPM. The prediction that controlled attention mediated the relation between working memory and RPM was therefore not supported. The findings support the view that the Cascade model may not adequately explain individual differences in fluid intelligence and this may be due to the differential relations observed between working memory and fluid intelligence across different modalities. The findings also show that working memory is not a domain-general construct and as a result its relation with fluid intelligence may be dependent on the nature of the working memory modality.

Moral reasoning and ethics in educational leadership /

School leaders face difficult decisions regarding discipline matters. Often, such decisions play an important role in determining the moral tone of the school and the health of the school community. Many stakeholders are affected by the outcome of such decisions. Codes of conduct, board and school policies, and discipline meetings are often shrouded under secrecy, making the discipline process mysterious. .; In this study I examined the process of moral reasoning. I sought to determine the extent to which school leaders were aware that they were involved in a process of moral reasoning, and ftirthermore, what kind of moral reasoning they practiced. As well, I investigated the ethical grounds and foundations underlying moral reasoning. Thus, in this study I probed the awareness of the process of moral reasoning and sought to find the ethical grounding of decision making. This qualitative study featured short field research. The process involved individual interviews with three different participants: school leaders of a public. Catholic, and an independent school. It found that each school leader practiced moral reasoning to varying degrees through the discipline process. It also explored the possible democratization of moral reasoning by linking to concepts such as fairness, due process, public accountability, and greater participation in the administering of discipline. This study has implications for practice, theory, and future research. The examination of school leaders as the primary focus for discipline matters opens the door to future research that could explore differences between the school systems and possibly other parties affected by moral reasoning in discipline cases.

Beyond g : putting multiple intelligences theory to the test /

The purpose of this study was to investigate Howard Gardner's (1983) Multiple Intelligences theory, which proposes that there are eight independent intelligences: Linguistic, Spatial, Logical/Mathematical, Interpersonal, Intrapersonal, Naturalistic, Bodily-Kinesthetic, and Musical. To explore Gardner's theory, two measures of each ability area were administered to 200 participants. Each participant also completed a measure of general cognitive ability, a personality inventory, an ability self-rating scale, and an ability self-report questionnaire. Nonverbal measures were included for most intelligence domains, and a wide range of content was sampled in Gardner's domains. Results showed that all tests of purely cognitive abilities were significantly correlated with the measure of general cognitive ability, whereas Musical, Bodily-Kinesthetic, and one of the Intrapersonal measures were not. Contrary to what Multiple Intelligences theory would seem to predict, correlations among the tests revealed a positive manifold and factor analysis indicated a large factor of general intelligence, with a mathematical reasoning test and a classification task from the Naturalistic domain having the highest ^- loadings. There were only minor sex differences in performance on the ability tests. Participants' self-estimates of ability were significantly and positively correlated with actual performance in some, but not all, intelligences. With regard to personality, a hypothesized association between Openness to Experience and crystallized intelligence was supported. The implications of the findings in regards to the nature of mental abilities were discussed, and recommendations for further research were made.

Quadtree representation and compression of spatial data

Spatial data representation and compression has become a focus issue in computer graphics and image processing applications. Quadtrees, as one of hierarchical data structures, basing on the principle of recursive decomposition of space, always offer a compact and efficient representation of an image. For a given image, the choice of quadtree root node plays an important role in its quadtree representation and final data compression. The goal of this thesis is to present a heuristic algorithm for finding a root node of a region quadtree, which is able to reduce the number of leaf nodes when compared with the standard quadtree decomposition. The empirical results indicate that, this proposed algorithm has quadtree representation and data compression improvement when in comparison with the traditional method.

Personal soundtracks on public transit : personal listening devices and socio-spatial negotiations of students' bus journeys

One way of exploring the power of sound in the experience and constitution of space is through the phenomenon of personal listening devices (PLDs) in public environments. In this thesis, I draw from in-depth interviews with eleven Brock University students in S1. Catharines, Ontario, to show how PLDs (such as MP3 players like the iPod) are used to create personalized soundscapes and mediate their public transit journeys. I discuss how my interview participants experience the space-time of public transit, and show how PLDs are used to mediate these experiences in acoustic and non-acoustic ways. PLD use demonstrates that acoustic and environmental experiences are co-constitutive, which highlights a kinaesthetic quality of the transit-space. My empirical findings show that PLDs transform space, particularly by overlapping public and private appropriations of the bus. I use these empirical findings to discuss the PLD phenomenon in the theoretical context of spatiality, and more specifically, acoustic space. J develop the ontological notion of acoustic space, stating that space shares many of the properties of sound, and argue that sound is a rich epistemological tool for understanding and explaining our everyday experiences.

Effects of age on learning a spatial motor task in younger and older adults individualizing their knowledge of results schedule

Self-controlled KR practice has revealed that providing participants the opportunity to control their KR is superior for motor learning compared to participants replicating the KR schedule of a self-control participant, without the choice (e.g., yoked). The purpose of the present experiment was two-fold. First, to examine the utility of a self-controlled KR schedule for learning a spatial motor task in younger and older adults and second, to determine whether a self-controlled KR schedule facilitates an increased ability to estimate one’s performance in retention and transfer. Twenty younger adults and 20 older adults practiced in either the self-control or yoked condition and were required to push and release a slide along a confined pathway using their non-dominant hand to a target distance. The retention data revealed that as a function of age, a self-controlled KR schedule facilitated superior retention performance and performance estimations in younger adults compared to their yoked counterparts.

Aspects of spatial and habitat ecology of multiple Anopheles species (Diptera: Culicidae): malaria vectors in the highlands and foothills of Ecuador

The resurgence of malaria in highland regions of Africa, Oceania and recently in South America underlines the importance of the study of the ecology of highland mosquito vectors of malaria. Since the incidence of malaria is limited by the distribution of its vectors, the purpose of this PhD thesis was to examine aspects of the ecology of Anopheles mosquitoes in the Andes of Ecuador, South America. A historical literature and archival data review (Chapter 2) indicated that Anopheles pseudopunctipennis transmitted malaria in highland valleys of Ecuador prior to 1950, although it was eliminated through habitat removal and the use of chemical insecticides. Other anopheline species were previously limited to low-altitude regions, except in a few unconfirmed cases. A thorough larval collection effort (n=438 attempted collection sites) in all road-accessible parts of Ecuador except for the lowland Amazon basin was undertaken between 2008 - 2010 (Chapter 3). Larvae were identified morphologically and using molecular techniques (mitochondrial COl gene), and distribution maps indicated that all five species collected (Anopheles albimanus, An. pseudopunctipennis, Anopheles punctimacula, Anopheles oswaldoi s.l. and Anopheles eiseni) were more widespread throughout highland regions than previously recorded during the 1940s, with higher maximum altitudes for all except An. pseudopunctipennis (1541 m, 1930 m, 1906 m, 1233 m and 1873 m, respectively). During larval collections, to characterize species-specific larval habitat, a variety of abiotic and biotic habitat parameters were measured and compared between species-present and species-absent sites using chi-square tests and stepwise binary logistic regression analyses (Chapter 4). An. albimanus was significantly associated with permanent pools with sand substrates and An. pseudopunctipennis with gravel and boulder substrates. Both species were significantly associated with floating cyanobacterial mats and warmer temperatures, which may limit their presence in cooler highland regions. Anopheles punctimacula was collected more often than expected from algae-free, shaded pools with higher-than-average calculated dissolved oxygen. Anopheles oswaldoi s.l., the species occurring on the Amazonian side of the Andes, was associated with permanent, anthropogenic habitats such as roadside ditches and ponds. To address the hypothesis that human land use change is responsible for the emergence of multiple highland Anopheles species by creating larval habitat, common land uses in the western Andes were surveyed for standing water and potential larval habitat suitability (Chapter 5). Rivers and road edges provided large amounts of potentially suitable anopheline habitat in the western Andes, while cattle pasture also created potentially suitable habitat in irrigation canals and watering ponds. Other common land uses surveyed (banana farms, sugarcane plantations, mixed tree plantations, and empty lots) were usually established on steep slopes and had very little standing water present. Using distribution and larval habitat data, a GIS-based larval habitat distribution model for the common western species was constructed in ArcGIS v.l 0 (ESRI 2010) using derived data layers from field measurements and other sources (Chapter 6). The additive model predicted 76.4 - 97.9% of the field-observed collection localities of An. albimanus, An. pseudopunctipennis and An. punctimacula, although it could not accurately distinguish between species-absent and speciespresent sites due to its coarse scale. The model predicted distributional expansion and/or shift of one or more anopheline species into the following highland valleys with climate warming: Mira/Chota, Imbabura province, Tumbaco, Pichincha province, Pallatanga and Sibambe, Chimborazo province, and Yungilla, Azuay province. These valleys may serve as targeted sites of future monitoring to prevent highland epidemics of malaria. The human perceptions of malaria and mosquitoes in relation to land management practices were assessed through an interview-based survey (n=262) in both highlands and lowlands, of male and female land owners and managers of five property types (Chapter 7). Although respondents had a strong understanding of where the disease occurs in their own country and of the basic relationship among standing water, mosquitoes and malaria, about half of respondents in potential risk areas denied the current possibility of malaria infection on their own property. As well, about half of respondents with potential anopheline larval habitat did not report its presence, likely due to a highly specific definition of suitable mosquito habitat. Most respondents who are considered at risk of malaria currently use at least one type of mosquito bite prevention, most commonly bed nets. In conclusion, this interdisciplinary thesis examines the occurrence of Anopheles species in the lowland transition area and highlands in Ecuador, from a historic, geographic, ecological and sociological perspective.

The effects of estimating good vs. poor knowledge of results during acquisition of a spatial motor task

Recent studies have shown that providing learners Knowledge of Results (KR) after “good trials” rather than “poor trials” is superior for learning. The present study examined whether requiring participants to estimate their three best or three worst trials in a series of six trial blocks before receiving KR would prove superior to learning compared to not estimating their performance. Participants were required to push and release a slide along a confined pathway using their non-dominant hand to a target distance (133cm). The retention and transfer data suggest those participants who received KR after good trials demonstrated superior learning and performance estimations compared to those receiving KR after poor trials. The results of the present experiment offer an important theoretical extension in our understanding of the role of KR content and performance estimation on motor skill learning.

Violent Video Game Playing, Moral Reasoning, and Attitudes Towards Violence in Adolescents: Is There a Connection?

In this study of 109 adolescents from the eighth grade of seven public elementary schools in Ontario, the relationship among adolescents’ violent video game playing patterns, habits and attitudes, their levels of moral reasoning, and their attitudes towards violence in real life was investigated. In addition, gender differences were addressed. The mixed-methodology was employed combining qualitative and quantitative data. The research results confirmed that playing video games in general is a very popular activity among those adolescents. Significant negative relationship was found between adolescents’ amount of time playing violent video games during the day and their scores on The Sociomoral Reflection Measure. Significant difference was also found between adolescents who play violent video games and those who do not play violent video games on their scores on The Attitudes Towards Violence Scale. Boys and girls significantly differed in the amount of playing video games during the day, the reasons for playing video games, their favourite video game choices, and their favourite video game character choices. Boys and girls also significantly differed on their choices of personality traits of selected video game characters, the identification with video game characters, and their mood experiences while playing video games. The findings are put into the educational context and the context of normal development, and suggestions are given for parents, for educators, and for future violent video game research.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Early Development of Auditory-Verbal and Visual-Spatial Short-Term Memory: Age and Sex Effects

Memory is a multi-component cognitive ability to retain and retrieve information presented in different modalities. Research on memory development has shown that the memory capacity and the processes improve gradually from early childhood to adolescence. Findings related to the sex-differences in memory abilities in early childhood have been inconsistent. Although previous research has demonstrated the effects of the modality of stimulus presentation (auditory versus verbal) and the type of material to be remembered (visual/spatial versus auditory/verbal) on the memory processes and memory organization, the recent research with children is rather limited. The present study is a secondary analysis of data, originally collected from 530 typically developing Turkish children and adolescents. The purpose of the present study was to examine the age-related developments and sex differences in auditory-verbal and visual-spatial short-term memory (STM) in 177 typically developing male and female children, 5 to 8 years of age. Dot-Locations and Word-Lists from the Children's Memory Scale were used to measure visual-spatial and auditory-verbal STM performances, respectively. The findings of the present study suggest age-related differences in both visual-spatial and auditory-verbal STM. Sex-differences were observed only in one visual-spatial STM subtest performance. Modality comparisons revealed age- and task-related differences between auditory-verbal and visual-spatial STM performances. There were no sex-related effects in terms of modality specific performances. Overall, the results of this study provide evidence of STM development in early childhood, and these effects were mostly independent of sex and the modality of the task.