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.

Automatic self-configuration of the logical network using distributed software agents

We present a system for dynamic network resource configuration in environments with bandwidth reservation. The proposed system is completely distributed and automates the mechanisms for adapting the logical network to the offered load. The system is able to manage dynamically a logical network such as a virtual path network in ATM or a label switched path network in MPLS or GMPLS. The system design and implementation is based on a multi-agent system (MAS) which make the decisions of when and how to change a logical path. Despite the lack of a centralised global network view, results show that MAS manages the network resources effectively, reducing the connection blocking probability and, therefore, achieving better utilisation of network resources. We also include details of its architecture and implementation

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

Xarxes virtuals de solidaritat: el cas del grup d'autoajuda Bipolarweb

Per a poder comprendre la dimensió de les possibles transformacions que Internet pot comportar, cal investigar els usos concrets de què es o ha estat objecte. En definitiva, cal realitzar investigacions empíriques que aportin informació sobre qui usa Internet, en quines circumstàncies i amb quins objectius. En aquest context, s’ha iniciat l’anàlisi en profunditat d’un cas específic de comunitat virtual de suport social creada per una persona afectada pel trastorn bipolar. L’objectiu d’una comunitat d’autoajuda virtual és proporcionar informació i recolzament emocional a través d’Internet. Mitjançant una metodologia qualitativa s’ha realitzat l’observació del fòrum virtual que penja de la pàgina web “Bipoloarweb.com”. En les investigacions del fenomen dels grups d’autoajuda a Internet, sovint s’ha destacat que a diferència dels grups ‘presencials’, aquests només poden aportar recolzament emocional i informatiu als seus membres. El tipus de recolzament instrumental o altre tipus d’assistència física, en canvi, no és possible en els casos virtuals. Els primers resultats de la recerca invaliden aquesta afirmació general ja que s’ha pogut observar episodis diferents d’ajut instrumental. En relació a la gestió d’informació i producció de coneixement, ja es pot avançar algunes qüestions interessants. En primer lloc, la quantitat i el detall de la informació que en el fòrum circula sobre el trastorn Bipolar. La majoria d’aquests coneixements, però, sorgeixen directament de compartir l’experiència diària entre els membres del grup. Tot això permet avançar la següent hipòtesi de treball pel futur: a més a més de suport emocional i instrumental, aquest grup ‘empodera’ el seus membres? Si la resposta fos positiva, el nostre cas tindria semblances amb altres fenòmens com son les associacions de malalts.

El jove Martin Heidegger i el concepte de temps exposat a Ésser i temps

Estudi elaborat a partir d’una estada a l’ Albert Ludwigs Universität, Alemanya, entre els mesos de maig i octubre del 2006.El tema del temps és extremadament important per a Martin Heidegger. I el seu pensament al respecte no pot ésser comprès adequadament si no tenim en compte la gran influència que diversos filòsofs hi van exercir. Aristòtil i Agustí són elsmés destacats, tal i com el propi Heidegger afirma a les seves lliçons marburgueses del semestre d’estiu de 1927. Sense elles, no es pot entendre el complex entramat terminològic ni les idees fonamentals sobre la temporalitat. Idees que apareixen publicades en diverses obres seves. El transfons filosòfic de cadascun d’aquests escrits és, en part, el concepte aristotèlic o Agustina de temps. Ésser i temps no és una obra que neixi del no res com a producte de la necessitat de l’autor de consolidar el seu currículum en vistes a una plaça docent, sinó que la publicació durant aquests darrers anys de les seves lliçons i altres escrits menors permeten observar com es va gestant la manera en que Heidegger entendrà el concepte de temps que es reflexa en aquest tractat, i que, com ja s’ha dit, es sustenta en les idees d’Aristòtil i d’Agustí al respecte. S’ha mostrat també de quina manera Heidegger porta a la pràctica la reconstrucció fenomenològica proposada pel que va ser el seu mentor, Husser, i com recondueix els conceptes fonamentals d’ambdós filòsofs, incorporant-los a la seva particular manera d’entendre el temps.

Dance movement patterns recognition

"Es tracta d'un projecte dividit en dues parts independents però complementàries, realitzades per autors diferents. Aquest document conté originàriament altre material i/o programari només consultable a la Biblioteca de Ciència i Tecnologia"

Increasing the scalability and the speedup of a fish school distributed simulator

El present treball fa un anàlisi i desenvolupament sobre les millores en la velocitat i en l’escalabilitat d'un simulador distribuït de grups de peixos. Aquests resultats s’han obtingut fent servir una nova estratègia de comunicació per als processos lògics (LPs) i canvis en l'algoritme de selecció de veïns que s'aplica a cadascun dels peixos en cada pas de simulació. L’idea proposada permet que cada procés lògic anticipi futures necessitats de dades pels seus veïns reduint el temps de comunicació al limitar la quantitat de missatges intercanviats entre els LPs. El nou algoritme de selecció dels veïns es va desenvolupar amb l'objectiu d'evitar treball innecessari permetent la disminució de les instruccions executades en cada pas de simulació i per cadascun del peixos simulats reduint de forma significativa el temps de simulació.

Estudi i implementació d'un arxivat de dades per a les plataformes SAP Enterprise 4.7 x 200 d'una gran empresa

En aquest projecte s'ha implementat un sistema de data archiving amb SAP-IXOS per a una empresa després que aquesta demanés consell a la nostra consultora per reduir espai en la base de dades, ja que només els quedava lliure un 14% de l'ocupació total, i d'aquesta forma millorar el rendiment del sistema. S'ha realitzat un estudi de la base de dades, ocupació en Mb i creixement mensual de les dades en les taules. S'han parametritzat objectes d'arxivat, creat i definits repositoris de contingut, fitxers lògics i s'han programat reports addicionals per arxivar les dades correctament. El resultat ha estat reduir la base de dades en un 22% sent posible l'entrada de noves dades obtenint una resposta més àgil del sistema.

Addressing the net balances problem as a prerequisite for EU budget reform: a proposal

Conflict among member states regarding the distribution of net financial burdens has been allowed to contaminate the entire design of the EU budget with very negative consequences in terms of equity, efficiency and transparency. To get around this problem and pave the way for a substantive budget reform, we propose to decouple distributional negotiations from the rest of the budget process by linking member state net balances in a rigid manner to relative prosperity. This would be achieved through the introduction of a system of compensating horizontal transfers that would take to its logical conclusion the Commission's proposal for a generalized compensation mechanism. We discuss the impact of the proposed scheme on member states? incentives and illustrate its financial implications using revenue and expenditure projections for 2013 that are based on the current Financial Perspectives and Own Resources Decision.

Relay-assisted transmission and radio resource management for wireless networks

The following paper presents an overview of the Ph.D Thesis1 presented in [1], which compiles all the research done during the period of time between 2004-2007. In that dissertation the relay-assisted transmission with half-duplex relays is analyzed from different points of view. This study is motivated by the necessity of finding innovative solutions to cope with the requirements of next generation wireless services, and with current radio technology. The use of relayed communications represents a change of paradigm of conventional communications, and requires the definition and evaluation of protocols to be applied to single or multiple-user relay communication. With the two fold goal of enhancing spectral efficiency and homogenize service in cellular communications, system design is investigated at physical (type of transmissions of the relay, decoding mode, ..) and upper layers (resource allocation, dynamic link control).

Dret costumari a la Barbagia sarda

Projecte de recerca elaborat a partir d’una estada al Dipartimento di Diritto pubblico e studi sociali de la Università degli studi di Cagliari, Italia, durant els mesos de maig i juny del 2006. L’estada s’insereix com a part del necessari treball de camp d’una recerca sobre el dret costumari de la Barbagia, regió interior i de muntanya de l’illa d’economia històricament basada en el pasturatge. Durant l’estada es van assolir satisfactòriament els tres principals objectius que es perseguien: realitzar algunes entrevistes i recollir testimonis sobre un aspecte concret de la recerca, la institució costumària de mediació “sos omines”; aconseguir l’accés a casos judicials significatius de la fenomenologia vindicativa local; i observar i recollir informació sobre “su tussorju”, l’esquilada anual de les ovelles, esdeveniment important dins el calendari festiu i el cicle econòmic agropastoral. Aquest últim objectiu s’inscriu dins l’actitud que ha actuat com a constant en tota la fase de treball de camp etnogràfic, consistent en tractar de conèixer i viure la dinàmica de la vida social sense exigir-li en concret: simplement viure-la a prop, deixant-se portar per ella per anar coneixent d’una forma natural els seus “secrets”, actitud clàssica del treball de camp antropològic però que en aquest cas esdevé una necessitat i pràcticament una exigència, donada la delicadesa de les qüestions que tracta. D’aquesta manera, la observació de l’esquilada de les ovelles, que ha format part històricament d’una sèrie d’esdeveniments importants per a la vida dels pobles un cop tornen (o tornaven: actualment són molt pocs els que ho fan a peu ) els pastors de la transhumància al pla, ha significat una ocasió més per respondre els contractes i la confiança amb la gent d’allà, un altre dels objectius de l’estada.

Estudi pilot del progrés de la restauració a les activitats extractives de Catalunya

L’objecte d’aquest estudi és determinar el ritme restaurador i caracteritzar la tipologia de les restauracions d’algunes activitats extractives de Catalunya. S’ha analitzat l’evolució dels treballs de restauració en una selecció d’activitats extractives de Catalunya i s’ha estimat la qualitat de les restauracions efectuades en base a la observació de la vegetació desenvolupada, el control de l’erosió i la integració paisatgística. Per dur a terme aquest estudi s’ha creat una base de dades en format de qüestionari, combinada amb un sistema d’informació geogràfica, que s’ha assajat en un treball de camp amb una mostra limitada d’activitats extractives. A partir de la interpretació dels resultats, es determina que actualment la gestió incorpora la necessitat de restaurar, però com a element subordinat a la producció. Això produeix una manca de planificació que incideix directament en la qualitat de les restauracions dutes a terme. La gestió de les pedreres encara ha de situar el concepte de restauració integrada com a eix central del desenvolupament i planificació de l’activitat extractiva.

Portal web inmobiliario Luxury Properties con posicionamiento SEO

Este documento explica la metodología de trabajo utilizada durante el desarrollo de este proyecto. El resultado obtenido ha sido un producto que forma parte del portal web Luxury Porperties. Luxury Properties es una marca comercial, creada por la compañía Luxury Dreams, para identificar un portal web especializado en las propiedades de lujo. Para desarrollar este concepto, la empresa compró el dominio luxuryproperties.es con el objetivo de crear un sistema que implemente toda la lógica de negocio necesaria para la publicidad y mercadeo de sus productos. Al final del documento se encuentran las recomendaciones y las futuras valoraciones a tener en cuenta por el cliente en futuras ampliaciones del portal.

Estudio para la implantación de un ERP en una empresa de transportes

Este proyecto presenta un estudio para la implantación de un Enterprise Resource Planning (ERP) en una empresa de transportes. Para ello se muestra una primera parte teórica donde se da a conocer todo lo que comporta el término ERP y su proceso de implantación. A continuación se estudian los requerimientos y necesidades de la empresa objeto del estudio. Para finalizar, se estudian tres soluciones existentes el mercado actual de ERP’s y se selecciona la que mejor se adapta a las necesidades y requerimientos en vistas a una hipotética implantación.

Gestor d'expedients per l'Institut Municipal d'Hisenda

El projecte recull el treball portat a càrrec per l’anàlisi, disseny i implementació d’una eina per l’Institut Municipal D’Hisenda de l’Ajuntament de Barcelona que compleixi les necessitats d’un sistema d’informació capaç de gestionar els expedients que genera una sèrie de tributs, les sancions que comporten així com la documentació necessària per la comunicació amb el ciutadà. Per realitzar l’aplicació s’han utilitzat tecnologies que ens permeten treballar en l’entorn web, un nucli programat en llenguatge Java sobre la plataforma MVC de Struts, tot sobre un servidor d’aplicacions WebSphere i un motor de base de dades Oracle.