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.

Entre la imatge i la paraula: l'oscil·lant i l'amor en un cert cinema d'autor francès

L'amor ha estat concebut des d'una paraula que evoca la imatge i des d'una imatge que evoca la paraula. Partint d'aquesta hipòtesi ens preguntem com arribar a la síntesi d'ambdues formes d'expressió sense trencar l'indefinit a través del qual una evoca l'altra. Trobant en el cinema la possibilitat dialèctica entre ambdues, el següent estudi planteja com des d'un cert cinema d'autor francès nascut als anys 50 i prenent l'amor com a font d'inspiració, l'oscil·lació entre la imatge i la paraula es presenta en cada cas com una eina dereformulació del tema i a través de la qual l'autor articula el seu discurs

A las dos orillas del barco. Sobre la obra crítica y cinematográfica de Jacques Rivette

El presente trabajo analiza la relación entre crítica y obra cinematográfica enJacques Rivette en base a los postulados románticos recogidos por Walter Benjamin en su ensayo Le concepte de critique esthétique dans le romantisme allemand. Estudia algunas de las ideas y conceptos de su crítica: la noción de puesta en escena, la figura del autor, la responsabilidad moral y la singularidad de la obra fílmica. Analiza su obra cinematográfica, que se sitúa, insistentemente, entre dos esferas; el uso de los géneros como vehículo para reflexionar sobre el cine; y el estrecho vínculo que establece entre obra y crítica. Su cine resulta así un cine que se piensa a sí mismo.

Putting health in all policies: The National Institute for Welfare Enhancement

Welfare is a rather vague term whose meaning depends on ideology, values andjudgments. Material resources are just means to enhance people s well-being, butgrowth of the Gross Domestic Production is still the standard measure of thesuccess of a society. Fortunately, recent advances in measuring social performanceinclude health, education and other social outcomes. Because what we measureaffects what we do it is hoped that social policies will change. The movementHealth in all policies and its associated Health Impact Assessment methodologywill contribute to it. The task consists of designing transversal policies thatconsider health and other welfare goals, the short term and long-term implicationsand intergenerational redistributions of resources. As long as marginalproductivity on health outside the healthcare system is higher than inside it,efficiency needs cross-sectoral policies. And fairness needs them even more,because in order to reduce social inequalities in health, a wide social and politicalresponse is needed.Unless we reduce the well-documented inefficiencies in our current health caresystems the welfare states will fail to consolidate and the overall economic wellbeingcould be in serious trouble. In this article we sketched some policy solutionssuch as pricing according to net benefits of innovation and public encouragementof radical innovation besides the small type incremental and market-ledinnovation. We proposed an independent agency, the National Institute forWelfare Enhancement to guarantee long term fair and efficient social policies inwhich health plays a central role.

Strategic ambiguity in electoral competition

Many have observed that political candidates running for election areoften purposefully expressing themselves in vague and ambiguous terms. In thispaper we provide a simple formal model of this phenomenon. We model theelectoral competition between two candidates as a two--stage game. In thefirst stage of the game two candidates simultaneously choose their ideologies,and in the second stage they simultaneously choose their level of ambiguity.Our results show that ambiguity, although disliked by voters, may be sustainedin equilibrium. The introduction of ambiguity as a strategic choice variablefor the candidates can also serve to explain why candidates with the sameelectoral objectives end up ``separating'', that is, assuming different ideological positions.

La première génération d’écrivains d’origine amazighe dans la littérature catalane: Laila Karrouch (Nador, 1977) et Najat El Hachmi (Nador, 1979). Leur signification et valeur.

La Catalogne a accueilli entre la fin du XXe siècle et le début du XXIe siècle une importante vague d’immigrés aux origines les plus diverses. Les Marocains ont constitué le premier flot de cette vague et ont donné naissance, par le biais des oeuvres de Laila Karrouch et de Najat El Hachmi, à une littérature pionnière construite dans la tension entre deux mondes, le Maghreb et la Catalogne. Cette littérature, faite d’expériences vécues profondes, va permettre à beaucoup d’autres, à la fois, de garder leur identité et de se sentir citoyens de leur nouveau pays.

La borrosidad como epistemología de la interacción social: algunos alcances y potencialidades

En este trabajo se describen la teoría de los conjuntos borrosos de L. A. Zadeh(antecedentes, características e implicaciones) y las áreas en las que se ha aplicado laborrosidad en psicología y psicología social (desarrollo evolutivo, procesamiento deestímulos, percepción de la información, prototipos y otras aplicaciones). A partir de esto,se sugiere cómo la borrosidad podría ser útil en el estudio de la interacción social,asumiendo el carácter simultáneamente vago y preciso de la realidad, y la utilización deconceptos como la noción de sí mismo desde una visión compleja, que considere, desde laperspectiva del pluralismo, diversas posturas teóricas y metodológicas.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Ante la polisemia del término absentismo, un intento de concreción de las condiciones necesarias del concepto

[spa] Las distintas aproximaciones al absentismo que se han realizado desde diferentes ramas del conocimiento: económico, legal, médico y psicosocial, no sólo no han ayudado a definir el concepto sino que han aportado una considerable confusión. Las múltiples invocaciones al término se mueven en una escala de generalidad en la que la mayor intensión correlaciona negativamente con la extensión. Porque cuando se asimila cualquier ausencia del puesto de trabajo con el absentismo, casi todo cabe; pero el concepto se vuelve vago y se pierde en una mezcolanza de adjetivos que no permiten avanzar en su comprensión. Si por el contrario, sólo denominamos absentismo a las conductas que tengan los atributos básicos, muchas de las definiciones que hemos analizado no versarán sobre absentismo. Pero como contrapartida, tendremos una referencia conceptual desde la que estudiar y afrontar el fenómeno. Para nosotros son tres las condiciones necesarias, aunque no suficientes por sí mismas, que permiten afrontar el absentismo como un fenómeno de interés politológico: la ausencia, la inexistencia de causa habilitante y la improductividad.

La première génération d’écrivains d’origine amazighe dans la littérature catalane: Laila Karrouch (Nador, 1977) et Najat El Hachmi (Nador, 1979). Leur signification et valeur.

La Catalogne a accueilli entre la fin du XXe siècle et le début du XXIe siècle une importante vague d’immigrés aux origines les plus diverses. Les Marocains ont constitué le premier flot de cette vague et ont donné naissance, par le biais des oeuvres de Laila Karrouch et de Najat El Hachmi, à une littérature pionnière construite dans la tension entre deux mondes, le Maghreb et la Catalogne. Cette littérature, faite d’expériences vécues profondes, va permettre à beaucoup d’autres, à la fois, de garder leur identité et de se sentir citoyens de leur nouveau pays.