Answer set programs with optional rules: a possibilistic approach

Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle.

Movement of Capital and Trade in Services:Distinguishing Myth from Reality Regarding the GATS and the Liberalization of the Capital Account

This article will analyze the interplay between capital movements and trade
in services as structured in World Trade Organization (WTO) law, and it will
assess the implications of the capital account liberalization for the freedom of
WTO Members to pursue their economic policies. Although the movement
of capital is largely confined to the domain of international financial or monetary
policy, it is regulated by WTO law due to its role in the process of
financial services liberalization, which generally requires liberalized capital
flows. From a legal perspective, the interplay between capital movements
and trade in services requires striking a delicate balance between the right
of market access and the parallel right of economic stability. Indeed, a liberalized
regime for capital movements could pose serious stability problems
during times of crisis. For this reason, it is necessary that Members are able
to derogate from their obligations and adopt emergency measures.
Regulating the movement of capital in the General Agreement on Trade in
Services (GATS) requires stretching the regulatory oversight of WTO law
over different aspects of international economic policy. Indeed, capital movements are a fundamental component of the balance of payments and have a
major role in shaping monetary, fiscal, and financial policies. This article will
analyze how the discipline provided by the GATS on capital movements will
affect not only trade in services, but also the Members’ policy space on
monetary and fiscal policy. The article will conclude that while the GATS offers enough policy space for the maintenance of financial stability, it does
not fully take into consideration the need of Members to control capital
movements in order to conduct monetary policies.

The International Regulatory Regime on Capital Flows

Capital controls and exchange restrictions are used to restrict international capital flows during economic crises. This paper looks at the legal implications of these restrictions and explores the current international regulatory framework applicable to international capital movements and current payments. It shows how international capital flows suffer from the lack of a comprehensive and coherent regulatory framework that would harmonize the patchwork of
multilateral, regional, and bilateral treaties that currently regulate this issue. These treaties include the Articles of Agreement of the International Monetary Fund (IMF Articles), the General Agreement on Trade in Services (GATS), free-trade agreements, the European Union treaty, bilateral investment treaties, and the Organization for Economic Co-operation and Development (OECD) Code of Liberalization of Capital Movements (OECD Code of Capital Movement). Each
of these instruments regulate differently capital movements with little coordination with other areas of law. This situation sometimes leads to regulatory overlaps and conflict between different sources of law. Given the strong links between capital movements and trade in services, this paper pays particular attention to the rules of the GATS on capital flows and discusses the policy space available in the GATS for restricting capital flows in times of crisis.

Step by step: reconstruction of terrestrial animal movement paths by dead-reckoning

BACKGROUND: Research on wild animal ecology is increasingly employing GPS telemetry in order to determine animal movement. However, GPS systems record position intermittently, providing no information on latent position or track tortuosity. High frequency GPS have high power requirements, which necessitates large batteries (often effectively precluding their use on small animals) or reduced deployment duration. Dead-reckoning is an alternative approach which has the potential to 'fill in the gaps' between less resolute forms of telemetry without incurring the power costs. However, although this method has been used in aquatic environments, no explicit demonstration of terrestrial dead-reckoning has been presented.

RESULTS: We perform a simple validation experiment to assess the rate of error accumulation in terrestrial dead-reckoning. In addition, examples of successful implementation of dead-reckoning are given using data from the domestic dog Canus lupus, horse Equus ferus, cow Bos taurus and wild badger Meles meles.

CONCLUSIONS: This study documents how terrestrial dead-reckoning can be undertaken, describing derivation of heading from tri-axial accelerometer and tri-axial magnetometer data, correction for hard and soft iron distortions on the magnetometer output, and presenting a novel correction procedure to marry dead-reckoned paths to ground-truthed positions. This study is the first explicit demonstration of terrestrial dead-reckoning, which provides a workable method of deriving the paths of animals on a step-by-step scale. The wider implications of this method for the understanding of animal movement ecology are discussed.

The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks.

We propose and advocate basic principles for the fusion of incomplete or uncertain information items, that should apply regardless of the formalism adopted for representing pieces of information coming from several sources. This formalism can be based on sets, logic, partial orders, possibility theory, belief functions or imprecise probabilities. We propose a general notion of information item representing incomplete or uncertain information about the values of an entity of interest. It is supposed to rank such values in terms of relative plausibility, and explicitly point out impossible values. Basic issues affecting the results of the fusion process, such as relative information content and consistency of information items, as well as their mutual consistency, are discussed. For each representation setting, we present fusion rules that obey our principles, and compare them to postulates specific to the representation proposed in the past. In the crudest (Boolean) representation setting (using a set of possible values), we show that the understanding of the set in terms of most plausible values, or in terms of non-impossible ones matters for choosing a relevant fusion rule. Especially, in the latter case our principles justify the method of maximal consistent subsets, while the former is related to the fusion of logical bases. Then we consider several formal settings for incomplete or uncertain information items, where our postulates are instantiated: plausibility orderings, qualitative and quantitative possibility distributions, belief functions and convex sets of probabilities. The aim of this paper is to provide a unified picture of fusion rules across various uncertainty representation settings.

Efficacy and Acceptability of Reduced Intensity Constraint-Induced Movement Therapy for Children Aged 9–11 years with Hemiplegic Cerebral Palsy: A Pilot Study

OBJECTIVE: Assess efficacy and acceptability of reduced intensity constraint-induced movement therapy (CIMT) in children with cerebral palsy (CP).

METHODS: Single-subject research design and semi-structured interviews. Children (9-11y) with hemiplegia underwent five baseline assessments followed by two weeks CIMT. Six further assessments were performed during treatment and follow-up phases. The primary outcome was the Melbourne Assessment of Unilateral Upper Limb Function (MUUL). Quantitative data were analysed using standard single-subject methods and qualitative data by thematic analysis.

RESULTS: Four of the seven participants demonstrated statistically significant improvements in MUUL (3-11%, p < .05). Two participants achieved significant improvements in active range of motion but strength and tone remained largely unchanged. Qualitative interviews highlighted limitations of the restraint, importance of family involvement, and coordination of treatment with education.

CONCLUSIONS: Reduced intensity CIMT may be effective for some children in this population; however it is not suitable for all children with hemiplegia.

On the Musical Reception of the 'Badisches Wiegenlied' in the German Folk Movement

This is a single-authored extended essay on the history of reception (musical and textual) of the Badisches Wiegenlied in the German folk song movement in both East and West Germany. As such it expands on the co-written short essay on the song Badisches Wiegenlied also published in the Liederlexikon. This is part of the AHRC and DFG funded project 'The History of Reception of the Songs of the 1848 Revolution' (2009-2013).

Transposing Musical Skill: Sonification of movement as concurrent augmented feedback enhances learning in a bimanual task

Concurrent feedback provided during acquisition can enhance performance of novel tasks. The ‘guidance hypothesis’ predicts that feedback provision leads to dependence and poor performance in its absence. However, appropriately-structured feedback information provided through sound (‘sonification’) may not be subject to this effect. We test this directly using a rhythmic bimanual shape-tracing task in which participants learned to move at a 4:3 timing ratio. Sonification of movement and demonstration was compared to two other learning conditions: (1) sonification of task demonstration alone and (2) completely silent practice (control). Sonification of movement emerged as the most effective form of practice, reaching significantly lower error scores than control. Sonification of solely the demonstration, which was expected to benefit participants by perceptually unifying task requirements, did not lead to better performance than control. Good performance was maintained by participants in the sonification condition in an immediate retention test without feedback, indicating that the use of this feedback can overcome the guidance effect. On a 24-hour retention test, performance had declined and was equal between groups. We argue that this and similar findings in the feedback literature are best explained by an ecological approach to motor skill learning which places available perceptual information at the highest level of importance.

The economic consequences of Portuguese State’s movement towards business sector

Over the last 36 years, the relationship with the Portuguese state-owned enterprises registered several dynamics: nationalizations, privatizations and corporatization of public services. However, until now the State Business Sector from a national accounts perspective was never analyzed. Based on data collected and compiled for the first time at Statistics Portugal, this PhD thesis aims to test, analyzing in eight dimensions, whether the weight of the State Business Sector increased and if it contributed positively to the Portuguese economy, from 2006 to 2010. In addition to this analysis, an overview of the economic theory of state intervention in the economy, the paradigm changes of public policy in the international context, the evolution of the Portuguese State Business Sector since 1974, accompanied with a business and national accounting perspective between 2006 and 2010, are also presented. The results allow us to conclude that, in general, the weight of the State Business Sector in the Portuguese economy increased and had a tendency of a positive contribution to its economic growth. The State Business Sector also contributed positively to the nominal labour productivity (although with a decreasing trend of contribution to growth over the period under review) and the profitability of the non-financial corporations sector (although impairing the overall ratio of this sector). Nonetheless, the State Business Sector contributed negatively to the fairness in compensation of employees (although with an improvement trend) and to the competitiveness of labour cost, investment and sectorial sustainability of the Portuguese economy (reinforced by a falling trend). The results also suggest that the State Business Sector had an economic behaviour closer to a welfare maximizing model than to a profit maximizing model. This distinct performance with respect to the institutional sector in which is included, highlights the need to study and reassess the relationship of the state with public corporations, in light of agency theory using micro-data. Lastly, contributions to improve the economic performance of the State Business Sector and future prospects of evolution are presented.

Design normal: memória e invisibilidade dos objectos

As últimas décadas têm sido caracterizadas por uma crescente indefinição do design, que refletindo um dia-a-dia cada vez mais complexo, não pode mais ser encarado como actividade fechada no projecto e acabada no produto. O seu universo aumentou e dispersou-se em mercados menores, alargando o seu alcance e sua importância, transformando-o em termo quantitativo e inflacionário. A crescente atenção de que é alvo dramatizou a sua relação com o consumo, o ruído nas prateleiras e a superficialidade da generalização de uma perspectiva do projecto focada nos new media, validando uma abordagem narcisista e de dispensa do diálogo com a indústria, tornaram-no sinónimo de especial. Este trabalho procura confirmar e refletir sobre a existência de um universo de produtos concretos e abordagens que de forma consciente partilham esta noção do contexto actual, em primeiro lugar, sugerindo caminhos alternativos e reacções resultantes da prática e discurso. Em segundo lugar procura analisar se tal reacção pode ser considerada como um movimento. Partindo de uma revisão bibliográfica, e de uma reflexão sobre um universo de produtos do dia-a-dia, procura-se, em terceiro lugar, interpretar e organizar as diversas formas e estratégias de rejeição da noção de design especial. Da procura de abordagens opostas a especial resulta uma ideia base de normal, normal sem ser banal, expressa na exposição Super Normal. Da extensão a um universo maior de produtos, reacções e autores, resulta a ideia de normal como um conceito mais abrangente, mas composto por conceitos menores, mais específicos, mais concretos e fáceis de identificar nos objectos. A organização e interpretação dessas abordagens resulta num triângulo de conceitos que constroem a noção de normal pela procura da evolução por recurso à memória e ao conhecimento, da invisibilidade pela integração e diluição do produto e projecto, e da liberdade como meio de adequação ao contexto actual. O livro resultante reflete uma abordagem definida de uma época, e não todo o panorama. A sistematização do conceito de normal a partir da segmentação em ideias menores, mais concretas e identificáveis nos produtos, procura proporcionar a consulta organizada de reacções ao contexto dominante actual, à ideia de especial, mas mais do que regras, procura fornecer um documento de reflexão a visitar no acto de projectar, seja como um todo, ou em partes.

The autobiographical you: letters in the gendered politics of the labour movement.

In this article, I consider the importance of epistolary narratives in the interface of autobiography and politics. In doing this, I read the letters of Fannia Mary Cohn, a Jewish immigrant worker, trade union activist and ardent labour organizer in the garment industry in the USA in the first half of the twentieth century. Cohn was a prolific writer and political activist and left a rich body of labour literature, but never wrote an autobiography or a diary or journal. It is in her letters to her comrades and friends in the labour movement that short autobiographical stories erupt and it is on such stories across her correspondence that this article focuses. The analysis is informed by Hannah Arendt’s theorization of narratives in their interrelation with politics and history. Drawing on a rich body of feminist literature around the relational self, what I argue is that an Arendtian reading of epistolary narratives is a useful analytical tool in understanding gendered politics in the diverse histories of the labour movement.