Localising iceberg inconsistencies

In artificial intelligence, it is important to handle and analyse inconsistency in knowledge bases. Inconsistent pieces of information suggest questions like “where is the inconsistency?” and “how severe is it?”. Inconsistency measures have been proposed to tackle the latter issue, but the former seems underdeveloped and is the focus of this paper. Minimal inconsistent sets have been the main tool to localise inconsistency, but we argue that they are like the exposed part of an iceberg, failing to capture contradictions hidden under the water. Using classical propositional logic, we develop methods to characterise when a formula is contributing to the inconsistency in a knowledge base and when a set of formulas can be regarded as a primitive conflict. To achieve this, we employ an abstract consequence operation to “look beneath the water level”, generalising the minimal inconsistent set concept and the related free formula notion. We apply the framework presented to the problem of measuring inconsistency in knowledge bases, putting forward relaxed forms for two debatable postulates for inconsistency measures. Finally, we discuss the computational complexity issues related to the introduced concepts

A Paraconsistent ASP-like Language with Tractable Model Generation

Answer Set Programming (ASP) is nowadays a dominant rule-based knowledge representation tool. Though existing ASP variants enjoy efficient implementations, generating an answer set remains intractable. The goal of this research is to define a new \asp-like rule language, 4SP, with tractable model generation. The language combines ideas of ASP and a paraconsistent rule language 4QL. Though 4SP shares the syntax of \asp and for each program all its answer sets are among 4SP models, the new language differs from ASP in its logical foundations, the intended methodology of its use and complexity of computing models. As we show in the paper, 4QL can be seen as a paraconsistent counterpart of ASP programs stratified with respect to default negation. Although model generation of well-supported models for 4QL programs is tractable, dropping stratification makes both 4QL and ASP intractable. To retain tractability while allowing non-stratified programs, in 4SP we introduce trial expressions interlacing programs with hypotheses as to the truth values of default negations. This allows us to develop a~model generation algorithm with deterministic polynomial time complexity. We also show relationships among 4SP, ASP and 4QL

Arabic localisation: key case studies for translation studies

This thesis investigates the practices of Arabic localisation as it presents a neglected area of localisation research, localising to a developing market. The thesis aims to establish a connection between localisation and Translation Studies, by exploring the ways in which this area can be theorised starting from the approaches developed by Lawrence Venuti (in particular the notions of foreignisation and domestication), and Christiane Nord (translation as interpersonal activity). Creating a theoretical framework which marries the cultural turn and functionalist approaches helps address the dynamics of Arabic localisation on both micro and macro levels. The thesis also aims to provide a holistic view of Arabic localisation, by considering translation processes and outcomes, and by attempting to understand how Arabic localisation is perceived by its target audience. In order to achieve these goals, the thesis presents three case studies devoted, respectively, to the FIFA 15 video game, the Knorr website and the educational platform Blackboard Learn. It follows a mixed method approach to answer about the unique nature of each case study. This includes text analysis which covers each medium’s localisation literature, the Arabic translated content of the selected products and related business articles. In addition, relevant online materials, such as gaming fora and Youtube gaming channels, are analysed to assess the response of the FIFA and Knorr target audience to the translation they receive. Due to the privacy of Blackboard Learn’s content and users, access to a student’s and an instructor’s accounts were sought from an Arabic university, and a questionnaire was developed to assess quantitatively and qualitatively the Arabic users’ response to the platform’s Arabic localisation. The significance of this thesis lies in its methodology and findings. Employing strategies from a range of backgrounds, academic, professional and social, produces a novel methodology for translation research and for addressing the complexity of the discipline of localisation, as well as understanding the effect of its technical and commercial aspects on translation practices and outcomes. By approaching localisation from a Translation Studies perspective, the thesis contributes to both disciplines. The thesis highlights the ways in which localising to a developing market is different from many of the practices discussed in the localisation literature. In addition, the context of Arabic localisation proves to be a fertile ground where Venuti’s theory of foreignisation and domestication can be relocated, and the debate about it acquires new nuances

Tapol bulletin no, 164/165, December 2001/February 2002

Contents: Papua independence leader assassinated -- Can 'special autonomy' work? -- Civilian rule, military power -- An economy in tatters -- Peasants & the struggle for land reform -- Human rights activists honoured -- Justice delayed yet again -- Labour leader talks to TAPOL -- Can things ever get better in Aceh? -- Militias convicted of crimes against humanity -- Dirty war in Central Sulawesi -- Book reviews: Made in Indonesia by Dan La Botz -- Self determination in East Timor by Ian Martin -- In memorium: the passing of a much-loved ma

The Neuroscience of Mathematical Cognition and Learning

The synergistic potential of cognitive neuroscience and education for efficient learning has attracted considerable interest from the general public, teachers, parents, academics and policymakers alike. This review is aimed at providing 1) an accessible and general overview of the research progress made in cognitive neuroscience research in understanding mathematical learning and cognition, and 2) understanding whether there is sufficient evidence to suggest that neuroscience can inform mathematics education at this point. We also highlight outstanding questions with implications for education that remain to be explored in cognitive neuroscience. The field of cognitive neuroscience is growing rapidly. The findings that we are describing in this review should be evaluated critically to guide research communities, governments and funding bodies to optimise resources and address questions that will provide practical directions for short- and long-term impact on the education of future generations

Web information systems: A study of maintenance, change and flexibility

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Information Systems (IS’s) have provided organisations with huge efficiency gains and benefits over the years; however an outstanding problem that is yet to be successfully tackled is that of the troublesome maintenance phase. Consuming vast resources and thwarting business progression in a competitive global market place, system maintenance has been recognised as one of the key areas where IS is failing organisations. Organisations are too often faced with the dilemma of either replacement or the continual upkeep of an unwieldy system. The ability for IS’s to be able to adapt to exogenous influences is even more acute today than at any time in the past. This is due to IS’s namely, Web Information Systems (WIS’s) increasingly and continually having to accommodate the needs of organisations to interconnect with a plethora of additional systems as well as supporting evolving business models. The richness of the interconnectivity, functionalities and services WIS’s now offer are shaping social, cultural and economic behaviour on a truly global scale, making the maintenance of such systems and evermore pertinent issue. The growth and proliferation of WIS’s shows no sign of abating which leads to the conclusion that what some have termed as the ‘maintenance iceberg’ should not be ignored. The quandary that commercial organisations face is typically driven by two key aspects; firstly, systems are built on the cultural premise of using fixed requirements, with not enough thought or attention being paid to systems abilities to deviate from these requirements. Secondly, systems do not generally cope well with adapting to unpredictable change arising from outside of the organisations environment. Over the recent past, different paradigms, approaches and methods have attempted to make software development more predictable, controllable and adaptable, however, the benefits of such measures in relation to the maintenance dilemma have been limited. The concept of flexible systems that are able to cope with such change in an efficient manner is currently an objective that few can claim to have realised successfully. The primary focus of the thesis was to examine WIS post-development change in order to empirically substantiate and understand the nature of the maintenance phase. This was done with the intention to determine exactly ‘where’ and ‘how’ flexibility could be targeted to address these changes. This study uses an emergent analytical approach to identify and catalogue the nature of change occurring within WIS maintenance. However, the research framework design underwent a significant revision as the initial results indicated that a greater emphasis and refocus was required to achieve the research objective. To study WIS’s in an appropriate and detailed context, a single case study was conducted in a web development software house. In total the case study approach was used to collect empirical evidence from four projects that investigated post-development change requests in order to identify areas of the system susceptible to change. The maintenance phases of three WIS projects were considered in-depth, resulting in the collection of over four hundred change requests. The fourth project served as a validation case. The results are presented and the findings are used to identify key trends and characteristics that depict WIS maintenance change. The analytical information derived from the change requests is consolidated and shown diagrammatically for the key areas of change using profile models developed in this thesis. Based on the results, the thesis concludes and contributes to the ongoing debate that there is a discernable difference when considering WIS maintenance change compared to that of traditional IS maintenance. The detailed characteristics displayed in the profile models are then used to map specific flexibility criteria that ultimately are required to facilitate change. This is achieved using the Flexibility Matrix of Change (FMoC) tool which was developed within the remit of this research. This tool is a qualitative measurement scheme that aligns WIS maintenance changes to a reciprocal flexibility attribute. Thus, the wider aim of this thesis is to also expand the awareness of flexibility and its importance as a key component of the WIS lifecycle