Dependency Directed Reasoning for Complex Program Understanding

Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information from its experience. [Sussman, 1975] produced such a system for a 'mini-world'; but truly intelligent programs must be considerably more complex. A crucial stepping stone in AI research is the development of a system which can understand complex programs well enough to modify them. There is also a complexity barrier in the world of commercial software which is making the cost of software production and maintenance prohibitive. Here too a system which is capable of understanding complex programs is a necessary step. The Programmer's Apprentice Project [Rich and Shrobe, 76] is attempting to develop an interactive programming tool which will help expert programmers deal with the complexity involved in engineering a large software system. This report describes REASON, the deductive component of the programmer's apprentice. REASON is intended to help expert programmers in the process of evolutionary program design. REASON utilizes the engineering techniques of modelling, decomposition, and analysis by inspection to determine how modules interact to achieve the desired overall behavior of a program. REASON coordinates its various sources of knowledge by using a dependency-directed structure which records the justification for each deduction it makes. Once a program has been analyzed these justifications can be summarized into a teleological structure called a plan which helps the system understand the impact of a proposed program modification.

A Multiple-Context Equality-Based Reasoning System

Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more quickly because it uses a compact, grammar-based internal representation to deal with whole classes of equivalent expressions at once. It can support faster hypothetical reasoning because it remembers the consequences of several assumption sets at once. The new design is targeted for situations in which many of the stored facts are equalities. The deductive machinery considered here supplements stored premises with simple new conclusions. The stored premises include permanently asserted facts and temporarily adopted assumptions. The new conclusions are derived by substituting equals for equals and using the properties of the logical connectives AND, Or, and NOT. The deductive system provides supporting premises for its derived conclusions. Reasoning that involves quantifiers is beyond the scope of its limited and automatic operation. The expert system of which the reasoning system is a component is expected to be responsible for overall control of reasoning.

The benefit of context for facial composite construction.

Purpose - The aim of this study was to investigate whether the presence of a whole-face context during facial composite production facilitates construction of facial composite images. Design/Methodology - In Experiment 1, constructors viewed a celebrity face and then developed a facial composite using PRO-fit in one of two conditions: either the full-face was visible while facial features were selected, or only the feature currently being selected was visible. The composites were named by different participants. We then replicated the study using a more forensically-valid procedure: In Experiment 2 non-football fans viewed an image of a premiership footballer and 24 hours later constructed a composite of the face with a trained software operator. The resulting composites were named by football fans. Findings - In both studies we found that presence of the facial context promoted more identifiable facial composite images. Research limitations/implications – Though this study uses current software in an unconventional way, this was necessary to avoid error arising from between-system differences. Practical implications - Results confirm that composite software should have the whole-face context visible to witnesses throughout construction. Though some software systems do this, there remain others that present features in isolation and these findings show that these systems are unlikely to be optimal. Originality/value - This is the first study to demonstrate the importance of a full-face context for the construction of facial composite images. Results are valuable to police forces and developers of composite software.

Estimulação cognitiva em idosos institucionalizados após Acidente Vascular Cerebral

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para a obtenção do grau de Mestre em Psicologia, ramo de Psicologia Clínica e da Saúde

Practices of Ministerial Leadership of Korean-American United Methodist Clergywomen; Toward a Wesleyan Ecclesiology in a Global Context

This study documents, analyzes, and interprets Korean American United Methodist (KAUM) clergywomen‘s experiences in and understandings of the church. It examines contributions these (and potentially, other) clergywomen might make to Wesleyan ecclesiology generally, and particular ways United Methodists live out their faith in transitional, diverse, and global contexts. The project attempts to re-vision existing Wesleyan ecclesial discourse in the United Methodist Church (UMC) by recognizing and incorporating the contributions of racial-ethnic clergy as expressed through their leadership and practices of faith. A "practice-theory-practice" model of practical theology was used to pay systematic attention to the practical locus of the inquiries. Twenty Korean American United Methodist clergywomen were interviewed by telephone, using a voluntary sampling technique to ascertain how they both experienced the church and understood and lived out various practices of faith, including preaching, participation in and administration of the sacraments, preparation for ordained ministry, and other spiritual practices such as prayer, worship, retreats, and journaling. The dissertation summarizes those findings, provides contextual and historical interpretation, and then analyzes their responses in relation to Wesleyan theology, MinJung (mass of people) theology, and the theology of YeoSung (women who display dignity and honor as human beings). This study identifies the extraordinary call of the KAUM clergywomen interviewees to be bridge builders, strong nurturers, wounded healers, committed educators, breakers of old stereotypes, persistent seekers to fulfill God‘s call, and ecclesial leaders with ―tragic consciousness‖ who can disrupt marginality and facilitate the creative transformation of Han (a deep experience of suffering and oppression) into a constructive energy capable of shaping a new reality. According to this study, KAUM clergywomen‘s experiences and practices of faith as ecclesial leaders strengthen Wesleyan ecclesiology in terms of the UMC‘s efforts to be an inclusive church through connectionalism, and its commitment to social justice. MinJung theology and the theology of YeoSung, in their respective understandings of the church, broaden Wesleyan ecclesiology and enable the Church to be more relevant in a global context by embracing those who have not been normative theological subjects.

An Integrated Neural Network-Event-Related Potentials Model of Temporal and Probability Context Effects on Event Categorization

We present a neural network that adapts and integrates several preexisting or new modules to categorize events in short term memory (STM), encode temporal order in working memory, evaluate timing and probability context in medium and long term memory. The model shows how processed contextual information modulates event recognition and categorization, focal attention and incentive motivation. The model is based on a compendium of Event Related Potentials (ERPs) and behavioral results either collected by the authors or compiled from the classical ERP literature. Its hallmark is, at the functional level, the interplay of memory registers endowed with widely different dynamical ranges, and at the structural level, the attempt to relate the different modules to known anatomical structures.

The senior female international managerial career move: a qualitative study in a European context

Research investigating the position of women in management has, largely, been confined within national boundaries. Over the last fifteen years, empirical studies of women in international management have been undertaken, predominantly in North America. In this research field, many questions remain unanswered or have been only partially addressed. The particular focus of this study is on the senior female international managerial career move in Europe — a relatively unexplored area. Fifty senior female expatriate managers were interviewed, representing a wide range of industry and service sectors. The study, for the first time, assesses an exclusively senior sample of female managers who have made at least one international career move. This study of senior females in international management makes a theoretical contribution, not only to the analysis of gender and international human resource management, but also to wider debates within the contemporary women in management and career theory literatures. The aims of the study were to develop an understanding of the senior female international career move in a European context in order to more fully understand both the covert and overt barriers that may limit women’s international career opportunities. The results of the study show that the senior international career move has largely been developed along a linear male model of career progression, a development which, taken together with gender disparity both in organisations and family responsibilities, frequently prevents women employees from reaching senior managerial positions. The study proposes a model of the senior female international managerial career move, thereby contributing primarily to the international human resource management literature. The implications of the study for research literatures in women in management and career theory are also explored and a future research agenda developed.

The impact of learning context on the acquisition of sociopragmatic variation patterns in non-native speaker teachers of English

The study is a cross-linguistic, cross-sectional investigation of the impact of learning contexts on the acquisition of sociopragmatic variation patterns and the subsequent enactment of compound identities. The informants are 20 non-native speaker teachers of English from a range of 10 European countries. They are all primarily mono-contextual foreign language learners/users of English: however, they differ with respect to the length of time accumulated in a target language environment. This allows for three groups to be established – those who have accumulated 60 days or less; those with between 90 days and one year and the final group, all of whom have accumulated in excess of one year. In order to foster the dismantling of the monolith of learning context, both learning contexts under consideration – i.e. the foreign language context and submersion context are broken down into micro-contexts which I refer to as loci of learning. For the purpose of this study, two loci are considered: the institutional and the conversational locus. In order to make a correlation between the impact of learning contexts and loci of learning on the acquisition of sociopragmatic variation patterns, a two-fold study is conducted. The first stage is the completion of a highly detailed language contact profile (LCP) questionnaire. This provides extensive biographical information regarding language learning history and is a powerful tool in illuminating the intensity of contact with the L2 that learners experience in both contexts as well as shedding light on the loci of learning to which learners are exposed in both contexts. Following the completion of the LCP, the informants take part in two role plays which require the enactment of differential identities when engaged in a speech event of asking for advice. The enactment of identities then undergoes a strategic and linguistic analysis in order to investigate if and how differences in the enactment of compound identities are indexed in language. Results indicate that learning context has a considerable impact not only on how identity is indexed in language, but also on the nature of identities enacted. Informants with very low levels of crosscontextuality index identity through strategic means – i.e. levels of directness and conventionality; however greater degrees of cross-contextuality give rise to the indexing of differential identities linguistically by means of speaker/hearer orientation and (non-) solidary moves. When it comes to the nature of identity enacted, it seems that more time spent in intense contact with native speakers in a range of loci of learning allows learners to enact their core identity; whereas low levels of contact with over-exposure to the institutional locus of learning fosters the enactment of generic identities.

Legislative policy, law and competitiveness: a mysterious and difficult relationship in the EU

The Lisbon Agenda places Europe in a uniquely difficult position globally, most particularly as an example of a social and regulatory experiment which many consider to be doomed to failure. The drive towards economic competitiveness has led to a focus on regulation and its effect on entrepreneurship, productivity and business growth but assessing this relationship is complex for a number of reasons. First, not all regulatory effects can be predicted precisely in relation to behavioural outcomes. Path-dependency scholars have also demonstrated that the regulation will have varying effects depending on context. Second, theoretically it is clear that many non-regulatory factors may contribute to economic and competitive success. Third, there is evidence of internal conflict within the Commission as to the relative importance of the Lisbon goals. Finally, the experience of distinct Member States presents challenges both for assessment and prescriptive remedies. The Commission has estimated that the cost of regulatory compliance obligations on businesses in the EU is between 4% and 6% of gross domestic product and that 15% of this figure is avoidable 'red tape' (the term used specifically to signify unnecessary compliance burdens). This article proposes to assess the likely outcomes of de-regulation as we rapidly approach 2010, the year for attainment of the Lisbon goals.

The transformation of Ireland 1958 - 93: the role of ideas in punctuating institutional path dependency at critical junctures

Ireland experienced two critical junctures when its economic survival was threatened: 1958/9 and 1986/7. Common to both crises was the supplanting of long established practices, that had become an integral part of the political culture of the state, by new ideas that ensured eventual economic recovery. In their adoption and implementation these ideas also fundamentally changed the institutions of state – how politics was done, how it was organised and regulated. The end result was the transformation of the Irish state. The main hypothesis of this thesis is that at those critical junctures the political and administrative elites who enabled economic recovery were not just making pragmatic decisions, their actions were influenced by ideas. Systematic content analysis of the published works of the main ideational actors, together with primary interviews with those actors still alive, reveals how their ideas were formed, what influenced them, and how they set about implementing their ideas. As the hypothesis assumes institutional change over time historical institutionalism serves as the theoretical framework. Central to this theory is the idea that choices made when a policy is being initiated or an institution formed will have a continuing influence long into the future. Institutions of state become ‘path dependent’ and impervious to change – the forces of inertia take over. That path dependency is broken at critical junctures. At those moments ideas play a major role as they offer a set of ready-made solutions. Historical institutionalism serves as a robust framework for proving that in the transformation of Ireland the role of ideas in punctuating institutional path dependency at critical junctures was central.

'La Violence et la mauvaise foi': Context and rhetoric in Pierre Bayle's Ce que c'est que la France toute Catholique

My thesis presents an examination of Ce que c'est que la France toute Catholique (1686) by Pierre Bayle, a prominent figure in the Republic of Letters and the Huguenot Refuge in the seventeenth century. This pamphlet was the first occasional text that Bayle published following the Revocation of the Edict of Nantes in which the religious toleration afforded to the Huguenot minority in France was repealed, a pivotal moment in the history of early modern France. In my thesis, I analyse the specific context within which Bayle wrote this pamphlet as a means of addressing a number of issues, including the legitimacy of forced conversions, the impact of the religious controversy upon exchanges in the Republic of Letters, the nature of religious zeal and finally the alliance of Church and state discourses in the early modern period. An examination of this context provides a basis from which to re-interpret the rhetorical strategies at work within the pamphlet, and also to come to an increased understanding of how, why and to what end he wrote it. In turn this allowed me to examine the relationship between this often overlooked pamphlet and the more extensively studied Commentaire Philosophique, in which Bayle argued in favour of religious toleration. Ultimately, understanding the relationship between these two texts proves essential in order to characterise his response to the Revocation of the Edict of Nantes and to understand the place of the pamphlet within his oeuvre. Furthermore, an analysis of the pamphlet and the Commentaire Philosophique provide a lens through which to elucidate both Bayle's intellectual development at this early stage in his career, and also the wider context of the rise of toleration theory and the evolution of modes of civility within the Republic of Letters on the eve of the Enlightenment.

The Viking age glass beads of Ireland and their North Atlantic context

Hitherto, the majority of studies which have included the discussion of Viking glass beads have mainly focused on the assemblages from individual sites, with limited use of known parallels. Exceptions to this include recent publications regarding the Icelandic material and Callmer’s 1977 catalogue of the finds from mainland Scandinavia, now over thirty years old. Analysis of these finds from Ireland was, for the most part, non-existent. The aim of this research is to address this lack of analysis within Ireland, while incorporating the wider context of the beads within the Viking North Atlantic. The research thus examines the use of glass beads of diagnostically Scandinavian manufacture and import found in Ireland, particularly in relation to their context and distribution. The history of research from Ireland as well as from across the Viking world is considered and explored throughout the thesis, with critique of methods and discussions used. Focussed analysis of both published and unpublished material detailing artefacts from Scandinavia (especially Vestfold), Britain, Iceland, the Faroe Islands and L’Anse aux Meadows is presented within the thesis in order to provide the greater picture for the core section of the thesis, the glass beads found in Ireland. Three appendices are included within Volume 2, databases of the glass beads under discussion from Ireland, the Vestfold region graves in Norway and the topsoil finds from the Kaupang trading place, also located within Vestfold. These appendices therefore represent the first-hand analysis of glass beads by the author. In total, this research represents the most up-to-date analysis of Viking glass beads from Ireland and presents a new look at the patterns of use, trade and interpersonal contact that affected the everyday lives of individuals living within Viking Age Ireland.

Leveraging lessons learned in organizations through implementing practice-based organizational learning and performance improvement - An opportunity for context-based intelligent assistant support (CIAS)

Organizations that leverage lessons learned from their experience in the practice of complex real-world activities are faced with five difficult problems. First, how to represent the learning situation in a recognizable way. Second, how to represent what was actually done in terms of repeatable actions. Third, how to assess performance taking account of the particular circumstances. Fourth, how to abstract lessons learned that are re-usable on future occasions. Fifth, how to determine whether to pursue practice maturity or strategic relevance of activities. Here, organizational learning and performance improvement are investigated in a field study using the Context-based Intelligent Assistant Support (CIAS) approach. A new conceptual framework for practice-based organizational learning and performance improvement is presented that supports researchers and practitioners address the problems evoked and contributes to a practice-based approach to activity management. The novelty of the research lies in the simultaneous study of the different levels involved in the activity. Route selection in light rail infrastructure projects involves practices at both the strategic and operational levels; it is part managerial/political and part engineering. Aspectual comparison of practices represented in Contextual Graphs constitutes a new approach to the selection of Key Performance Indicators (KPIs). This approach is free from causality assumptions and forms the basis of a new approach to practice-based organizational learning and performance improvement. The evolution of practices in contextual graphs is shown to be an objective and measurable expression of organizational learning. This diachronic representation is interpreted using a practice-based organizational learning novelty typology. This dissertation shows how lessons learned when effectively leveraged by an organization lead to practice maturity. The practice maturity level of an activity in combination with an assessment of an activity’s strategic relevance can be used by management to prioritize improvement effort.

The political and economic context of Keynes’s 1933 Finlay lecture: transforming a business practitioner’s ways of knowing

This thesis is structured in the format of a three part Portfolio of Exploration to facilitate transformation in my ways of knowing to enhance an experienced business practitioner’s capabilities and effectiveness. A key factor in my ways of knowing, as opposed to what I know, is my exploration of context and assumptions. By interacting with my cultural, intellectual, economic, and social history, I seek to become critically aware of the biographical, historical, and cultural context of my beliefs and feelings about myself. This Portfolio is not exclusively for historians of economics or historians of ideas but also for those interested in becoming more aware of how these culturally assimilated frames of reference and bundles of assumptions that influence the way they perceive, think, decide, feel and interpret their experiences in order to operate more effectively in their professional and organisational lives. In the first part of my Portfolio, I outline and reflect upon my Portfolio’s overarching theory of adult development; the writings of Harvard’s Robert Kegan and Columbia University’s Jack Mezirow. The second part delves further into how meaning-making, the activity of how one organises and makes sense of the world and how meaning-making evolves to different levels of complexity. I explore how past experience and our interpretations of history influences our understandings since all perception is inevitably tinged with bias and entrenched ‘theory-laden’ assumptions. In my third part, I explore the 1933 inaugural University College Dublin Finlay Lecture delivered by economist John Maynard Keynes. My findings provide a new perspective and understanding of Keynes’s 1933 lecture by not solely reading or relying upon the text of the three contextualised essay versions of his lecture. The purpose and context of Keynes’s original longer lecture version was quite different to the three shorter essay versions published for the American, British and German audiences.