Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

Hippocampal Theta-Phase Modulation of Replay Correlates with Configural-Relational Short-Term Memory Performance

Thereis now growing evidencethatthe hippocampus generatestheta rhythmsthat can phase biasfast neural oscillationsinthe neocortex, allowing coordination of widespread fast oscillatory populations outside limbic areas. A recent magnetoencephalographic study showed that maintenance of configural-relational scene information in a delayed match-to-sample (DMS) task was associated with replay of that information during the delay period. The periodicity of the replay was coordinated by the phase of the ongoing theta rhythm, and the degree of theta coordination during the delay period was positively correlated with DMS performance. Here, we reanalyzed these data to investigate which brain regions were involved in generating the theta oscillations that coordinated the periodic replay of configural- relational information. We used a beamformer algorithm to produce estimates of regional theta rhythms and constructed volumetric images of the phase-locking between the local theta cycle and the instances of replay (in the 13- 80 Hz band). We found that individual differences in DMS performancefor configural-relational associations were relatedtothe degree of phase coupling of instances of cortical reactivations to theta oscillations generated in the right posterior hippocampus and the right inferior frontal gyrus. This demonstrates that the timing of memory reactivations in humans is biased toward hippocampal theta phase

A relational approach to the geography of innovation: a typology of regions

The aim of this study was to devise a method for computing a composite indicator that measures the regional degree of exposure to external knowledge sources. On the basis of this indicator, we propose a typology of regions according to their potential capacity to access extra-local items of knowledge, which might help them to recombine complementary elements of such an asset to produce a higher number of new ideas. Building on various research streams that have been relatively independent to date, we summarize a non-exhaustive instrumental list of recent studies that motivates our approach and the construction of our complex indicator, which can be used to appraise the extent to which each region is in an optimal position to access external innovative resources.

Managing induced tourism image : relational patterns and the life cycle

The tourism image is an element that conditions the competitiveness of tourism destinations by making them stand out in the minds of tourists. In this context, marketers of tourism destinations endeavour to create an induced image based on their identity and distinctive characteristics.A number of authors have also recognized the complexity of tourism destinations and the need for coordination and cooperation among all tourism agents, in order to supply a satisfactory tourist product and be competitive in the tourism market. Therefore, tourism agents at the destination need to develop and integrate strategic marketing plans.The aim of this paper is to determine how cities of similar cultures use their resources with the purpose of developing a distinctive induced tourism image to attract tourists and the extent of coordination and cooperation among the various tourism agents of a destination in the process of induced image creation.In order to accomplish these aims, a comparative analysis of the induced image of two cultural cities is presented, Girona (Spain) and Perpignan (France). The induced image is assessed through the content analysis of promotional brochures and the extent of cooperation with in-depth interviews of the main tourism agents of these destinations.Despite the similarities of both cities in terms of tourism resources, results show the use of different attributes to configure the induced image of each destination, as well as a different configuration of the network of tourism agents that participate in the process of induced image creation

A Case-based reasoning approach to validate grammatical gender and number agreement in Spanish language

Across Latin America 420 indigenous languages are spoken. Spanish is considered a second language in indigenous communities and is progressively introduced in education. However, most of the tools to support teaching processes of a second language have been developed for the most common languages such as English, French, German, Italian, etc. As a result, only a small amount of learning objects and authoring tools have been developed for indigenous people considering the specific needs of their population. This paper introduces Multilingual–Tiny as a web authoring tool to support the virtual experience of indigenous students and teachers when they are creating learning objects in indigenous languages or in Spanish language, in particular, when they have to deal with the grammatical structures of Spanish. Multilingual–Tiny has a module based on the Case-based Reasoning technique to provide recommendations in real time when teachers and students write texts in Spanish. An experiment was performed in order to compare some local similarity functions to retrieve cases from the case library taking into account the grammatical structures. As a result we found the similarity function with the best performance

Collusion in growing and shrinking markets: empirical evidence from experimental duopolies

We study collusive behaviour in experimental duopolies that compete in prices under dynamic demand conditions. In one treatment the demand grows at a constant rate. In the other treatment the demand declines at another constant rate. The rates are chosen so that the evolution of the demand in one case is just the reverse in time than the one for the other case. We use a box-design demand function so that there are no issues of finding and co-ordinating on the collusive price. Contrary to game-theoretic reasoning, our results show that collusion is significantly larger when the demand shrinks than when it grows. We conjecture that the prospect of rapidly declining profit opportunities exerts a disciplining effect on firms that facilitates collusion and discourages deviation.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism (Long version)

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.

A foundation model for marxian breakdown theories based on a new falling rate of profit mechanism.

The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.

Model-based diagnosis system: application to constructed wetlands

Report for the scientific sojourn carried out at the Model-based Systems and Qualitative Reasoning Group (Technical University of Munich), from September until December 2005. Constructed wetlands (CWs), or modified natural wetlands, are used all over the world as wastewater treatment systems for small communities because they can provide high treatment efficiency with low energy consumption and low construction, operation and maintenance costs. Their treatment process is very complex because it includes physical, chemical and biological mechanisms like microorganism oxidation, microorganism reduction, filtration, sedimentation and chemical precipitation. Besides, these processes can be influenced by different factors. In order to guarantee the performance of CWs, an operation and maintenance program must be defined for each Wastewater Treatment Plant (WWTP). The main objective of this project is to provide a computer support to the definition of the most appropriate operation and maintenance protocols to guarantee the correct performance of CWs. To reach them, the definition of models which represent the knowledge about CW has been proposed: components involved in the sanitation process, relation among these units and processes to remove pollutants. Horizontal Subsurface Flow CWs are chosen as a case study and the filtration process is selected as first modelling-process application. However, the goal is to represent the process knowledge in such a way that it can be reused for other types of WWTP.

Reactive and proactive approaches for introspective CBR

This work investigates applying introspective reasoning to improve the performance of Case-Based Reasoning (CBR) systems, in both reactive and proactive fashion, by guiding learning to improve how a CBR system applies its cases and by identifying possible future system deficiencies. First we present our reactive approach, a new introspective reasoning model which enables CBR systems to autonomously learn to improve multiple facets of their reasoning processes in response to poor quality solutions. We illustrate our model’s benefits with experimental results from tests in an industrial design application. Then as for our proactive approach, we introduce a novel method for identifying regions in a case-base where the system gives low confidence solutions to possible future problems. Experimentation is provided for Zoology and Robo-Soccer domains and we argue how encountered regions of dubiosity help us to analyze the case-bases of a given CBR system.

Conflictes no, gràcies!: programa d’educació emocional en el Centre Penitenciari de Ponent

En la recerca s’expliquen els resultats de la implementació d’un programa adreçat bàsicament al treball de la consciència emocional de l’intern penitenciari i la regulació d’aquesta consciència. El motiu és que en el plantejament teòric es parteix de les constatacions de molts autors que els programes que millor funcionen en la rehabilitació i tractament del delinqüent ingressat a presó són aquells que tenen en compte no només l’ambient del delinqüent, la seva família, la seva educació escolar i formativa a nivell laboral sinó també l’estudi del seus sentiments i de manera clau la seva cognició, el seu raonament, la seva comprensió i també els seus valors.És per això que els programes eficaços semblen ser aquells que inclouen tècniques adreçades a millorar les habilitats de raonament, la empatia, l’avaluació de les conseqüències de la seva conducta envers els altres i sobre ells mateixos, la reflexió abans de l’acció, les seves habilitats per a la resolució de problemes i també en moltes ocasions les pròpies habilitats socials poc desenvolupades. Els resultats obtinguts analitzen les dades referents a l’impacte de la intervenció envers els interns i de manera específica envers la seva conducta.

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.

Deciding where to belong: gender differences in educational trajectories and migration in a rural Spanish town

From an anthropological perspective, formal post-secondary schooling is not an abstractentity with an intrinsic value that everyone finds desirable, but rather one alternative among many that young people evaluate from their different positions in the social field. The problem discussed in this paper is the diverging life trajectories that young men and women in a concrete rural context, at the end of the 20th century, shape for themselves at the ages of 14-16, a moment of decision created by national legislation regarding mandatory education (LGE, 1970, General Education Law, and LOGSE, 1990, General Organic Law of the Education System). Despite a strong cultural norm of equal inheritance divided among all children, male and female, and despite the equal educational opportunities provided by the Spanish State, different meanings of possession and use-rights over land and the resulting culturally accepted gendered division of work converge to orient men and women differently towards post-secondary schooling. Observation of the age, gender, and civil status structure of the population led to the preliminary query: Why do men and women, in this town, behave differently with respect to migration and marriage? The main hypothesis was that women’s longer school trajectories and resulting migration and men’s anchoring in the town and their higher rates of celibacy were not drastic changes in values, in the positional-relational sense of Bourdieu (1988, 2002), but the current outcome of previously existing dissimilar relations to property that produce dissimilar mobility. Through their schooling and work choices, young men and women, at very early ages, locate themselves in, or decide to belong to, different contexts that later reveal very different possibilities of finding marriage partners. This paper is based on an ethnographic study of a small rural town (302 inhabitants in 1950; 193 in 2000) near Leon. Although this paper deals with the situation in the final decades of the 20th century, we must also consider the first half of the century, where some elements that shape this situation have their roots. Fieldwork was carried out between 1988 and 2001, in periods of differing length and intensity. The social subjects discussed here are the domestic unit and its component members. They were studied in conjunction, analyzing the life-trajectory decisions of specific persons in the framework of the domestic unit and the relations among people and property which comprise it. The tried-and-true methods of ethnographic research –participant observation, interviews, and life-histories, etc.- were employed. Archival research was also important for producing demographic data. Demographic analysis, the analysis of the composition and transformation of domestic units, and the creation of life trajectories were among the principal techniques used. The theoretical analysis was oriented by Bourdieu’s (2002) framework of the social field, habitus, and difference.

TFC de base de dades relacionals

El projecte consisteix en crear un disseny de base de dades segons els requeriments del client, en aquest cas la comunitat Europea, que emmagatzemi les dades de la futura aplicació que gestionarà les votacions ciutadanes. A més del disseny de la base de dades, el projecte haurà d'incorporar una sèrie de processos que consultin dades que podran ser demanades pel programari que faci la interacció amb els usuaris. Programari que no està inclòs en aquesta fase del pla de la Comunitat Europea.

Bucumap: Buscador unificat de cursos, màsters i post-graus

Desenvolupar una aplicació web en Java j2ee, i més concretament un cercador de formacions.