Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Modos de circulação: travessia do Vale do Cávado

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitetónica)

Learning the ropes and embracing the rules: CFSP institutions as arenas for learning and strategic socialisation

The aim of this article is to analyse those situations in which learning and socialisation take place within the context of the Common Foreign and Security Policy (CFSP), in particular, at the level of experts in the Council Working Groups. Learning can explain the institutional development of CFSP and changes in the foreign policies of the Member States. Some scope conditions for learning and channels of institutionalisation are identified. Socialisation, resulting from learning within a group, is perceived as a strategic action by reflective actors. National diplomats, once they arrive in Brussels, learn the new code of conduct of their Working Groups. They are embedded in two environments and faced with two logics: the European one in the Council and the national one in the Ministries of Foreign Affairs (MFA). The empirical evidence supports the argument that neither rational nor sociological approaches alone can account for these processes.

The Ideas Debate in International and European Studies: Towards a Cartography and Critical Assessment

The appeal to ideas as causal variables and/or constitutive features of political processes increasingly characterises political analysis. Yet, perhaps because of the pace of this ideational intrusion, too often ideas have simply been grafted onto pre-existing explanatory theories at precisely the point at which they seem to get into difficulties, with little or no consideration either of the status of such ideational variables or of the character or consistency of the resulting theoretical hybrid. This is particularly problematic for ideas are far from innocent variables – and can rarely, if ever, be incorporated seamlessly within existing explanatory and/or constitutive theories without ontological and epistemological consequence. We contend that this tendency along with the limitations of the prevailing Humean conception of causality, and associated epistemological polemic between causal and constitutive logics, continue to plague almost all of the literature that strives to accord an explanatory role to ideas. In trying to move beyond the current vogue for epistemological polemic, we argue that the incommensurability thesis between causal and constitutive logics is only credible in the context of a narrow, Humean, conception of causation. If we reject this in favour of a more inclusive (and ontologically realist) understanding then it is perfectly possible to chart the causal significance of constitutive processes and reconstrue the explanatory role of ideas as causally constitutive.

Les trajectoires des footballeurs africains à la lumière de la mondialisation

Depuis la promulgation de l'arrêt « Bosman  » en 1995, le nombre de joueurs expatriés recensés dans les principaux championnats européens a considérablement augmenté. Cet article montre que cette augmentation a surtout concerné les joueurs originaires d'Afrique et d'Amérique latine. Leur mobilité intervient dans un contexte très spéculatif au sein duquel de nombreux intermédiaires interagissent pour construire les canaux migratoires permettant aux joueurs de circuler à travers différents pays. Les trajectoires idéales - typiques de joueurs africains en Europe - permettent d'illustrer les logiques sociales, géographiques et économiques à la base de ces flux. Since the "Bosman" law in 1995, the number of expatriate players in the best European leagues has strongly increased. This paper shows that this increase has above all concerned players from Africa and South America. The mobility of these footballers occurs in a highly speculative context in which numerous intermediaries intervene to build up the migratory channels that allow players for circulating between many countries. The ideal-typical career paths of African footballers in Europe permit to illustrate the social, geographic and economic logics underlying flows.

L'aprenentatge basat en problemes en models híbrids de docència-aprenentatge

La Facultat de Ciències de la Salut i de la Vida ha utilitzat des de 2004 la metodologia d'aprenentatge basat en problemes (en endavant ABP) com a mètode docent en els seus estudis de Biologia. En aquest període hem après algunes de les claus de l'aplicació del mètode en els nostres estudis. En primer lloc, cal disposar d'elements formatius que afavoreixin la formació dels tutors que participin en el projecte. Per assolir aquest objectiu hem dissenyat un portal on els nostres professors poden disposar de materials útils per a la seva activitat, així com de documents que permetin entendre millor el que suposa l'ABP. En segon lloc, el projecte tenia l'objectiu de dissenyar i avaluar activitats que permetessin integrar les pràctiques de laboratori en la lògica de la resolució de problemes pròpia de l'ABP. En aquest sentit vam dissenyar dues activitats en el tercer curs de la llicenciatura que anomenaren aprenentatge basat en el laboratori (ABL). Per aquest motiu es van dissenyar problemes que tinguessin una primera part de resolució a l'aula en grup de tutoria i una segona que obligués els estudiants a realitzar experiments de laboratori dirigits a entendre i resoldre les qüestions plantejades al grup de tutoria. L'ABL-1 fou un projecte de biologia cel·lular i destinat a aprofundir en els mecanismes implicats en els fenòmens de diferenciació dels miòcits. L'ABL-2 era un projecte conjunt dels professors de Fisiologia vegetal, Bioestadística i Microbiologia. En aquest cas es desitjava que els estudiants plantegessin la resolució a un problema que suposava la manipulació genètica de cèl·lules vegetals per fer possible que produïssin una substància específica, l'escopolamina. Finalment els estudiants havien d'escriure un article original com a projecte final de cada ABL. Els resultats dels dos anys d'experimentació han esta altament satisfactoris, d'acord amb les enquestes completades per alumnes i professors.

Les communautés bulu contre la plantation industrielle HEVECAM au Cameroun

In 1975 the Kribi region (Southern Cameroon) became host of the rubber plantation HEVECAM, the third largest employer in Cameroon. The establishment of the plantation has been preceded by the expropriation of customary land and by the destruction of the rainforest used by local populations. As a result, conflicts – mostly latent – pitting neighbouring Bulu communities against the plantation have occurred, especially during the last few years. Drawing on fieldwork data as well as on anthropological, economic and historical materials, I try to explore a new way of looking at such environmental conflicts by arguing that they reflect the struggle between two distinct institutional logics with different impacts on the environment, i.e. the logic of property versus the one of possession. In short, the logic of possession corresponds to a multi-functional community-based forest management, while the logic of property gave birth to the commercial monoculture model, the highest stage of the transformation of an ecosystem in order to match the requirements of property. It is argued that the conflict between the logic of possession and the logic of property is at the heart of many cases of “environmentalisms of the poor” that arise in reaction to “development”.

MEVA-Ambiental: MEtodologia per a la Valoració de l'Aprenentatge. Centrada en l'educació ambiental

Aquest projecte abasta el disseny i el desenvolupament d’un model prototípic de Metodologia per a la Valoració de l’Aprenentatge Ambiental, a la qual anomenem “MEVA-Ambiental”. Per a fer possible aquesta fita ens hem basat en fonaments ontològics i constructivistes per representar i analitzar el coneixement a fi de poder quantificar l’Increment de Coneixement (IC). Per nosaltres l’IC esdevé un indicador socio-educatiu que ens servirà per a determinar l’efectivitat dels tallers d’educació ambiental en percentatge. En procedir d’aquesta manera, les qualificacions resultats poden es poden prendre com punt de partida per a desenvolupar estudis en el temps i comprendre com “s’ancora” el nou coneixement a l’estructura cognitiva dels aprenents. Més enllà del plantejament teòric de mètode, també proveïm la solució tècnica que mostra com n’és de funcional i d’aplicable la part empírica metodològica. A aquesta solució que hem anomenat “MEVA-Tool”, és una eina virtual que automatitza la recollida i tractament de dades amb una estructura dinàmica basada en “qüestionaris web” que han d’emplenar els estudiants, una “base de dades” que acumula la informació i en permet un filtratge selectiu, i més “Llibre Excel” que en fa el tractament informatiu, la representació gràfica dels resultats, l’anàlisi i conclusions.

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

African migrants in Asian and European football: hopes and realities

This paper analyses the integration of Africa in the global labour market of football through the study of players' migrations to Asia and Europe. The presence of African footballers in the latter continent is analysed via a statistical survey carried out in September and October 2008 on a sample of 456 top division clubs in 30 European countries. The article emphasizes that the aspirations placed on football by male African youth, as a means of upward social mobility, are often too high when compared to the harsh realities of a transfer market based on commercial logics, which each year push many footballers away from the professional game.

Struggles for meaning and struggles for control: the diffusion of bandwagon technology in two institutional environments

In this thesis, I examine the diffusion process for a complex medical technology, the PET scanner, in two different health care systems, one of which is more market-oriented (Switzerland) and the other more centrally managed by a public agency (Quebec). The research draws on institutional and socio-political theories of the diffusion of innovations to examine how institutional contexts affect processes of diffusion. I find that diffusion proceeds more rapidly in Switzerland than in Quebec, but that processes in both jurisdictions are characterized by intense struggles among providers and between providers and public agencies. I show that the institutional environment influences these processes by determining the patterns of material resources and authority available to actors in their struggles to strategically control the technology, and by constituting the discursive resources or institutional logics on which actors may legitimately draw in their struggles to give meaning to the technology in line with their interests and values. This thesis illustrates how institutional structures and meanings manifest themselves in the context of specific decisions within an organizational field, and reveals the ways in which governance structures may be contested and realigned when they conflict with interests that are legitimized by dominant institutional logics. It is argued that this form of contestation and readjustment at the margins constitutes one mechanism by which institutional frameworks are tested, stretched and reproduced or redefined.

A Comparative analysis of oil production setors in Saudi Arabia and the United Arab Emirates

Aquest article s'aplica un enfocament comparatiu de la gestió del sector petrolier en dos països rics en petroli a l'Orient Mitjà: Aràbia Saudita i els Emirats Àrabs Units (EAU). Més explícitament, s'examinen els factors que millor expliquen la variació en les estratègies que han vingut aplicant en el sector des de l'establiment de les seves empreses petrolieres nacionals (NOC). Recorrent a la literatura sobre expropiació / privatització en el camp d'Estudis de l'Energia, en aquest treball es proposa un marc teòric per analitzar la lògica que hi ha al darrera de les diferents formes d'exploració i les estratègies de producció en el sector petrolier. Teòricament, aquesta investigació té com a objectiu avançar en un conjunt d'eines d'anàlisi per abordar millor i entendre els determinants reals del procés de presa de decisions en el upstream. Empíricament, el model es prova en els casos divergents d'Aràbia Saudita i els Emirats Àrabs Units, i una sèrie de lliçons s'han extret. En última instància, aquest treball ha d'augmentar la conscienciació entre els erudits i els polític, tant sobre el poc coneixement que tenim sobre els mecanismes interns que impulsen les estratègies ascendents en el majors estats productor de petroli.

"Quitter le milieu" Une étude sociologique des processus de désaffiliation religieuse du milieu évangélique suisse

La thématique des désaffiliations religieuses du milieu évangélique est le parent pauvre des études faites jusqu'à ce jour sur ce courant religieux. En effet, l'accent est généralement mis sur son développement en termes d'affiliation faisant alors l'impasse sur les pertes qu'il connaît pourtant. De plus, la question des désaffiliations religieuses est un angle d'approche sociologique particulièrement fécond pour étudier les groupes religieux en permettant, entre autres, de cerner plus en profondeur leur identité, les mécanismes qui favorisent leur pérennisation, mais aussi leur rapport à la société environnante. Dans ce travail, qui s'inscrit en sociologie des religions et qui puise autant dans la littérature sur les désaffiliations religieuses que dans celle des désengagements militants, l'analyse s'est focalisée sur les processus de désengagement au niveau microsociologique : quels sont les motifs qui président les désaffiliations, comment se déroulent ces dernières, quels effets ont-elles sur l'individu en termes identitaires et comment sont-elles perçues par ceux qui restent ? Ces principales questions ont permis de (re] questionner des éléments constitutifs de l'engagement évangélique : les processus de socialisation ; la structuration des liens intragroupe développés par le milieu et son rapport à l'extérieur ; son système normatif; son système de représentation du monde et la démarche religieuse qu'il valorise, qui sont autant d'aspects qui jouent un rôle dans les processus de désaffiliation. Plus précisément, ces éléments agissent en tant que mécanismes de rétention tant sociaux que psychologiques compliquant ainsi le désengagement. Cette thèse s'est construite sur dix-sept entretiens semi directifs menés auprès de personnes ayant grandi pour la plupart dans une famille évangélique et qui ont décidé, un jour, de ne plus fréquenter ce milieu religieux. Pour élargir la perspective analytique et pour permettre de comprendre et d'expliquer les processus de désaffiliation en lien avec le groupe quitté, un ensemble de septante-huit entretiens semi directifs et de mille cent questionnaires standardisés de membres d'Eglises évangéliques a été mobilisé. Partant des logiques du désengagement, cette thèse affine les connaissances actuelles sur l'évangélisme dans le contexte de la modernité, grâce à l'éclairage inédit qu'elle lui donne. Elle développe également le champ des connaissances sur les désaffiliations religieuses en lui fournissant un nouvel exemple de cas tout en lui offrant une autre façon de théoriser les sorties de groupes religieux qui valorisent un engagement de type militant. - Religious disaffiliations from the evangelical milieu have not yet been investigated. Indeed, former studies have usually focused on the development of the milieu by looking at conversions. However, it appears that the study of the disaffiliation processes may not only give results on the reasons and experiences of those disaffiliating, but also shed light on the attributes and the development of the evangelical milieu itself. The main goal of this thesis was to fill this gap in the literature. From a microsociological approach, this thesis sought to answer the following central question : Why, how and with what effects do individuals leave the evangelical milieu and how is this phenomenon perceived, interpreted and managed by the individuals who leave the evangelical community and by the members of the evangelical milieu? These questions enabled me to investigate the functioning of the evangelical milieu : its processes of socialization ; internal and external relationships ; normative system ; belief system or its religious engagement. This set of aspects can influence and complicate the processes of disaffiliation. The analysis of religious disaffiliation was based on seventeen qualitative interviews with former members of evangelical chrurches who decided, one day, not to attend an evangelical church anymore and who question more or less strongly the « system of evangelical thought ». Seventy-eight qualitative interviews with members of evangelical free churches and a representative survey with members of evangelical free churches (N = 1100] completed the analysis and inserted the individual disengagement in the « milieu's logics ». This thesis complements and enriches the literature on evangelism as well as on religious disaffiliation in general.