Introducción: La pérdida de autonomía a edades avanzadas no se asocia únicamente con el envejecimiento sino también con características del entorno físico y social. Investigaciones recientes han demostrado que la red social, la integración social y la participación, actúan como predictores de la discapacidad en la vejez.El objetivo de este estudio es determinar si las redes sociales están relacionadas con la aparición y la evolución de la discapacidad durante los primeros años de la vejez.Métodos: Se trata de un estudio en dos fases: transversal, para estudiar la prevalencia de discapacidad y retrospectiva, para analizar la incidencia.La fuente de datos fue la primera oleada de la encuesta "Procesos de Vulnerabilidad en la Vejez", realizada en 2005 a una muestra de 1.286 individuos. La población objeto de estudio fue la cohorte entre 70 y 74 años residente en grandes áreas urbanas (Madrid y Barcelona) y no institucionalizada.Se midió discapacidad para el desarrollo de actividades básicas de la vida diaria (ABVD), y actividades instrumentales de la vida diaria (AIVD). Se construyó un indicador de red social (IRS) para medir la red social.Resultados: Se ha encontrado una prevalencia de discapacidad general (DG) de 33,1%; 22,1% para la discapacidad instrumental (DI) y 11,6% para la discapacidad básica (DB).En el periodo de edad de 61 a 70 años, la incidencia acumulada de DG encontrada es de 132,4 por mil habitantes; 117,2 por mil habitantes para la DI y para la DB de 69,3 por mil habitantes.La Esperanza de Vida Sin Discapacidad (EVSD) a los 40 años es de 28,0 años para toda la población, de 28,54 para los hombres y de 27,98 para las mujeres.Por cada unidad que disminuye la puntuación en el IRS aumenta un 49% el riesgo de padecer cualquier tipo de discapacidad y un 57% la DB.Discusión: Hay una sobrevaloración de las dificultades declaradas para las AIVD relacionadas con el cuidado del hogar por parte de los hombres. La prevalencia hallada para las discapacidades más graves es elevada para una población en el comienzo de la vejez.Esta población cuenta con una red social sólida y diversificada, basada en el tamaño y la proximidad de la red familiar y en la presencia y contacto con amigos y confidentes. La debilidad de la red social está en la participación social fundamentalmente en aquellos aspectos más formales como el asociacionismo y la asistencia a centros de culto o a clubs de pensionistas. El IRS ha demostrado una gran sensibilidad a la hora de detectar la influencia de los aspectos estructurales del entorno social del individuo sobre el nivel de discapacidad en etapas iniciales de la vejez.Para las mujeres, la evolución de la incidencia de cualquier tipo de discapacidad a lo largo de la biografía es superior a la de los hombres.Las mujeres son las que ostentan un peor pronóstico de supervivencia sin discapacidad tanto para cualquier tipo de discapacidad como para la discapacidad básica.La red social de la población urbana española en el inicio de la vejez se ha revelado como un factor protector independiente de primer orden contra la aparición de discapacidades así como del nivel de gravedad de la misma.Este efecto de la red social se debe principalmente a la participación social más que a la red social familiar a pesar de lo que cabría esperar por tradición cultural. Así, son los vínculos sociales no familiares (amigos, y actividades sociales) los que se han mostrado determinantes a la hora de proteger la salud de estas personas.Palabras clave: Envejecimiento. Relaciones sociales. Redes sociales. Discapacidad. Envejecimiento saludable. / Introduction: The loss of autonomy at advanced ages is not only associated with aging, but also with the characteristics of an individual's physical and social surroundings. Recent research has shown that social support networks, social integration, and participation act as predictors of disability in old age. Methods: A two-stage study: transversal, to study prevalence of disability, and retrospective, to analyze incidence over time. The data source was the first stage of the survey "Processes of Vulnerability in the Elderly", conducted in 2005 with 1,286 individuals. The study population was a cohort of non-institutionalized urban residents (in Madrid and Barcelona) between the ages of 70 and 74.Inability to engage in basic activities of the daily life (ADL) and instrumental activities of the daily life (IADL) were measured. A social network indicator (SNI) was constructed to measure the social network.Results: The prevalence of general disabilty (GD) was 33.1%; 22.1% for instrumental disability (ID) and 11.6% for basic disability (BD). In the 61-70 age range, the accumulated incidence of GD was found to be 132.4 per 1000 inhabitants, with 117.2 for ID and 69.3 for BD.Disability-Free Life Expectancy (DFLE) at 40 years is 28.0 years for the general population, 28.54 for men and 27.98 for women. For each unit decrease in the SNI score, the risk of any kind of disability increases 49% and BD increases 57%.Discussion: Men overestimate reported difficulties for IADL associated with housework. The prevalence of the most severe disabilities is high for a population in the initial stages of old age.This population can depend on a solid and diversified social network, based in the size and proximity of their family networks and the presence of, and contact with, friends and confidants. The weakness of social support networks is in basic participation in more formal aspects of social life, such as participation in socials organizations and frequenting retirement clubs or houses of worship. The SNI has shown great sensitivity in detecting the influence of structural aspects of the social environment on an individual's level of disability in the initial stages of old age. For women, the evolution of the incidence of any type of disability over time is greater than for men. Women show a worse prognosis for living without disabilities, both for any type of disability as well as basic disabilities. The social networks of the urban Spanish population in early old age have been shown to be an independent, first-order protective factor for the incidence of disabilities, as well as their severity. This social network effect is due, principally, to social participation rather than a family support network, traditional cultural beliefs notwithstanding. Also, non-family relationships (friends and social activities) have shown themselves to be determinant when protecting the health of these individuals.Key words: Aging. Social support. Disabled Persons. Health Status Disparities

La presente tesis aborda el tema del conocimiento y, en menor medida, el del ser. Originalmente, tomó un punto de partida más teórico-filosófico desde una perspectiva feminista. Es así que en una primera parte trabaja cuatro capítulos, el primero de ellos desde las sospechas, desde los cuestionamientos acerca de la manera imperante de conocer en Occidente o lo que Rosi Braidotti llama falogocentrismo. El segundo emprende un acercamiento más profundo a las epistemes, a los discursos de conocimiento. El tercero se centra en la epistemología feminista. Y el cuarto advierte la necesidad de pensar el ser a partir del conocer, por tanto, es un capítulo más inscrito en la metafísica, el sujeto y el sujeto cognoscente. Para finalizar esta parte que denominé metateórica, es decir, de la teoría que habla sobre sí misma, presento un corolario en el que decido mudarme a otro campo-tema, siguiendo el concepto de Peter Spink. Mi idea era incorporar las apuestas epistemológicas feministas y así estudiar algo que me apasionara, algo que formara parte de mi propia vida cotidiana, a través de lo cual pudiese conocer poniendo en práctica el vínculo, el amor y el respeto, temas de los que habla Donna Haraway al estudiar a sus especies compañeras.De esta forma, me traslado en la segunda parte al universo del yoga, primero desde el punto de vista de la filosofía hindú (y sus obras más destacadas), así como de cuatro figuras propuestas por Vicente Merlo: el silencio de la meditación, la relación maestro-discípulo, experiencia-realización e identidad transpersonal. Posteriormente, abordo el yoga a lo largo de un capítulo histórico y teórico, en el que discuto el concepto, sus variaciones en el tiempo y las diferencias según el linaje del que provienen los maestros más destacados del siglo XX. Para finalizar, me pareció necesario construir un puente, una posibilidad de diálogo entre la primera y la segunda partes, donde se pudieran entablar ciertas conversaciones posibles a la luz de las figuras de Merlo y las principales huellas teóricas que quedaban de la primera parte. Finaliza también esta segunda parte con un corolario que defiende la idea de epistemología de la fusión.Por último y no menos importante, viene un tercer momento en el que intento poner en práctica mis principales postulados teóricos. Por una parte, la poiesis y la investigación preformativa a través de lo que denomino un experimento etnográfico, una creación personal a partir del material recogido tras un año de trabajo de campo con notas de mi curso de formación como profesora de yoga, las entrevistas a mis maestras y las notas sobre mi autopráctica o mis primeras experiencias enseñando. Y, por otra, las teorizaciones epistemológicas feministas. Comienza, entonces por un aterrizaje de la práctica del yoga a través de cuatro biografías entrelazadas. Me sitúo de esta forma al interior de una comunidad desde la que intento seguir pensando -en los dos últimos capítulos- sobre el conocimiento y el ser, los fieles compañeros de esta aventura. Hacia el final, en el último corolario, reconozco que esta empresa de conocimiento no siguió los parámetros clásicos y que, por tanto, no fue evidente en todo memento una pregunta o indagatoria en torno a la cual pensar un determinado tema. Es así que me atrevo a proponer mi idea de la investigación del caminar preguntando.Posteriormente y dada la diversidad de temáticas abordadas a lo largo de esta tesis, en lugar de presentar unas conclusiones generales, desarrollo un conjunto de líneas concluyentes que intenten cerrar cada una de las principales líneas que toca el trabajo. / This thesis addresses the issue of knowledge and to a lesser extent, of being. Originally, it took a more theoretical-philosophical point from a feminist perspective. Thus, in the first part it works four chapters, the first of them goes from suspicions, from the questions about the prevailing form of knowing in the West or what Rosi Braidotti calls phallogocentrism. The second begins a deeper approach to the epistemes, the discourses of knowledge. The third focuses on feminist epistemology. And the fourth one feels the need to think the being in relation with knowing, therefore, is a chapter that addresses the metaphysics, the subject and the knower. To end this first part called metatheoretical, that is the theory that speaks about itself, I present a corollary in which I decide to move to another field-topic, following the concept of Peter Spink. My idea was to incorporate feminist and epistemological bets and study something I'm passionate about, something that was part of my everyday life, through which I could know by implementing the link, love and respect (all these are topics that Donna Haraway studies through her companion species).Thus, I move in the second part to the world of yoga, first from the standpoint of Hindu philosophy (and its most prominent writings) as well as four figures proposed by Vicente Merlo: the silence of meditation, master-disciple relationship, experience- accomplishment and transpersonal identity. Later, I raise the yoga issue over a historical and theoretical chapter, which discusses the concept, its variations through time and differences among the lineage from which come the most significant yoga masters of the twentieth century. Finally, I found necessary to build a bridge, a possibility of dialogue between the first and second parts, where they could engage in certain possible conversations through the figures of Merlo and major theoretical traces coming from the first part. This second part also ends with a corollary that defends the idea of an epistemology of fusion.Last but not least, comes a third moment when I try to put into practice my main theoretical postulates. On the one hand, the poiesis and performative research through what I call an ethnographic experiment, a personal creation from the material collected after one year of field work with notes on my yoga teacher training course, interviews of my yoga teachers and notes on my self-practice or even reflections upon my first teaching experiences. On the other hand, I considered again the feminist epistemological theories. The chapter begins, then landing yoga practice through four interwoven biographies. I stood in this way within a community from which I tried to keep thinking, in the last two chapters-on knowledge and being, the faithful companions for this adventure. Towards the end, the last corollary recognizes that this research did not pursue classical parameters of knowledge and, therefore, a question or inquiry was not evident at every moment. Thus I ventured to propose my idea of the research of asking while walking.Subsequently, and given the diversity of issues addressed throughout this thesis, instead of presenting general conclusions, I developed a compelling set of lines to try to close each of the main ideas that the work raised.

Tot i que apareixen noves tècniques que equipen els robots amb capacitats cognitives avançades, encara s'ha dedicat poca feina a una qüestió essencial per aquestes tècniques: mètodes ràpids i robustos per a la percepció d'elements semànticament rellevants en entorns no estructurats. De fet, per un robot, ser capaç d'identificar la ubicació en que es troba i quins objectes té al voltant constitueix els fonaments sobre els quals s'aguanten la resta de processos de raonament d'alt nivell que ha de dur a terme. Amb l'objectiu de reduir una mica aquest problema, aquesta tesi se centra en els problemes de localització i reconeixement d'objectes per mitjà de tècniques de visió per computador. La primera contribució que presentem és una nova tècnica per construir signatures de llocs a partir de caracter ́ıstiques detectades en imatges panoràmiques per a ser usades com a nodes d'un mapa topològic, i un mètode de "homing" per viatjar entre els nodes del mapa. Ambdós mètodes han estat provats en diversos conjunts de proves amb resultats satisfactoris. El reconeixement d'objectes genèrics per robots mòbils és un tema d'importància cabdal de cara a afegir contingut a les representacions de l'entorn que els robots usaran en els seus processos de raonament. En conseqüència, les següents contribucions d'aquesta tesi es dirigeixen a aquest problema. Després de revisar detingudament literatura recent del camp de visió per computador, han estat seleccionats dos mètodes: el mètode de reconeixement d'objectes "SIFT" i el "Vocabulary Tree". Un cop avaluats els dos mètodes en conjunts de dades de test dif ́ıcils, centrades en els aspectes rellevants per als robots mòbils, es va concloure que, tot i que el mètode SIFT era més adeqüat per aquests, ambdós mètodes tenien propietats complementàries. Per aprofitar aquesta complementarietat, la contribució final d'aquesta tesi és un mètode d'aprenentatge per reforç per seleccionar, durant l'aplicació del procés de reconeixment d'objectes, quin dels dos mètodes és el més adequat basant-se únicament en caracter ́ıstiques de la imatge simples de calcular. Aquest mètode ha estat validat en un complex conjunt de proves de reconeixement d'objectes, fins i tot ha superat els resultats d'un expert humà en alguns casos. / Although new approaches to enable robots with advanced cognitive capabilities are being developed, still few work is being devoted to a difficult problem in which all this techniques rely: fast and robust perception methods to detect semantically relevant elements in unstructured environments. Indeed, being able to identify the robot's location and what objects lie around constitute the foundations on which almost all high-level reasoning processes conducted by a robot will build up. In order to help reduce this gap, this work addresses the problems of vision-based global localization and object recognition. The first contributions presented are a new technique to construct signatures of places to be used as nodes of a topological map from constellations of features detected in panoramic images, and a homing method to travel between such nodes that does not rely in artificial landmarks. Both methods were tested with several datasets showing very good results. General object recognition in mobile robots is of primary importance in order to enhance the representation of the environment that robots will use for their reasoning processes. Therefore, the next contributions of the thesis address this problem. After carefully reviewing recent Computer Vision literature on this topic, two state of the art object recognition methods were selected: The SIFT object Recognition method and the Vocabulary Tree method. After evaluating both methods in challenging datasets, focusing on issues relevant to mobile robotics, it was found that, although the SIFT method was more suited for mobile robotics, both had complementary properties.To take advantage of this complementarity, the final contribution of this thesis is a Reinforcement Learning method to select online which object recognition method is best for an input image based on simple to compute image features. This method has been validated in a challenging object recognition experiment, even improving the performance of a human expert in some cases.Keywords: Mobile Robotics; Vision-based localization; Object recognition; Visual Feature Detectors; Visual Feature Descriptors; Reinforcement Learning; Visual Homing

Esta tesis parte de. una inquietud por el sentido de la propia actividad, de la producción científica; una inquietud por los procesos de subjetivación, de la configuración de nuestros yoes, de nuestras vidas en un entramado de relaciones de poder y de dominación que, dificultan esa vida; una inquietud por el papel que la actividad en tanto que psicólogos y psicólogas sociales tiene en ese entramado de subjetivación y de mantenimiento de un status quo. El modelo epistemológico aporta un acercamiento a las preguntas sobre el sentido, un sentido dirigido por el lenguaje, por la historicidad y la reflexividad.En la tesis se presentan narraciones de las ciencias sociales y humanas sobre la constitución del yo. Se resaltan las aportaciones de Mead, Elias y Foucault, resaltando la lectura procesual del sí mismo, así como la constitución eminentemente social de la persona. Dada la preocupación por los sistemas y prácticas de poder vinculadas a la subjetivación, el texto se acerca a la descripción de estrategias de poder, a las tecnologías de la gubernamentalidad: la disciplina, la biopolítica y a las tecnologías neoliberales de poder. El interés de esta descripción es la aproximación a explicaciones que de manera explícita plantean los mecanismos productivos del poder, aquellos que construyen subjetividad. Se defiende que el proceso de dominación más brutal en la modernidad ha sido y sigue siendo la individualización, el olvido o descuido de las relaciones sociales, esa tendencia conjunta hacia una totalitarización y ultraindividualización de la vida. A modo de un acercamiento concreto a las tecnologías de subjetivación contemporáneas, el texto se adentra en el mundo del mercado y su racionalización como un gran eje de control, gubernamentalidad y poder, como proceso generador de exclusiones, malestares y muerte. Se expone cómo la ética del trabajo, del empleo en estos momentos tiene efectos de dominación y exclusión; y cómo en ese proceso existen rehenes y chantajes. A la vez, cómo esa racionalización, sustentada por la lógica de la eficacia y el beneficio, construye en su hacer el sujeto "hegemónico" que necesita: un sujeto flexible, capaz de adaptarse -a lo que sea-, un sujeto con la libertad dada por el mercado, capaz de asumir y gestionar los riesgos, individuo cada vez más castigado o penado por su dependencia, y por la expresión de su necesidad de los otros. Ante esta lectura del mundo, se recogen las propuestas que invitan a separar el dinero y el trabajo; a entender la independencia entre el derecho a un ingreso necesario para vivir y la capacidad de obtenerlo por medio del mercado, y aquellas propuestas que reivindican lo colectivo, la narración conjunta de la dificultad como horizonte de sentido y posibilidad de emancipación. / This research proceeds from a question about the sense of our own activity of scientific production; a question about the subjectification processes, about the processes of configuration of our "I's", of our lives in a net of power and domination relations that conform the difficulties of this life; a question about our role as social psychologists in this net of subjectification and the maintenance of status quo. The epistemological model contributes to the questions about the processes of making sense, a sense directed by language, by historicity and reflexivity. In this research, some accounts about the processes of self constitution taken from social and human sciences are presented. Contributions of Mead, Elias and Foucault are emphasised, taking in account the procesual character of the self and also the accounts of the eminent social constitution of the self, made by these authors. Departing from the interest on the systems and practices of power related to the processes of subjectification, the text makes an account on power strategies and governmentality technologies: discipline, biopolitics and the neoliberal technologies of power. The interest of this account is the approximation to explanations that work explicitly with the productive mechanisms of power that construct subjectivity. It is defended that the most rough process of domination in modernity has been and is the process of individuation, the oversight or neglect of social relations and the overall tendency towards a totalization and ultraindividuation of life. For a specific approach to the contemporary technologies of subjectification, in this text the market world is worked in relation with it's rationalisation as a core of control, governmentality and power, as processes that generate exclusions, discomfort and death. An account is worked about how the work ethics in this historical moment has effects of domination and exclusion and how in this process hostages and blackmails are produced. It is also worked how this rationalisation, supported by efficacy and benefit logic, constructs day to day the "hegemonic" subject that needs: a flexible subject, capable to adapt to any condition, a subject who's liberty is given by market, capable to assume and to negotiate with risks, an individual punished because of s/he's dependence and because of the expression of his/her necessity of others. Taken this reading of the world, some suggestions are exposed such as the separation of money and work: there is an invitation to understand the independence between the right to a necessary income for a living and the capacity of obtaining such income by means of market. Also some propositions are made that claim the possibility of rethinking collective processes, the possibility of making collective narratives of difficulty as a way of making sense to our lives and as a possibility of emancipation.

El tema de la tesis doctoral concierne a la semántica de los nombres propios y, principalmente, se centra en el estudio de algunos problemas cognoscitivos derivados de su comprensión. El punto de vista defendido es que los nombres (además de referir directamente) son términos millianos: su significado no incorpora connotaciones o material predicativo sobre el referente. No obstante, mi análisis se aleja de posturas millianas simplistas para las que dar con el referente es suficiente para comprender un nombre. Arguyo que en la comprensión de un nombre, aparte del referente y de los rasgos gramaticales, es fundamental qué nombre (entidad lingüística) ha sido proferido: individualización que no depende meramente de su portador o de sus propiedades ortográfico-fonológicas, y que, esencialmente, incluye una cadena de comunicación. Así, las diferencias lingüísticas no comportan, necesariamente, diferencias semánticas. La relevancia del análisis radica en que satisface las condiciones para que se produzca una genuina comprensión (posibilita la transmisión de conocimiento), y en que supera, entre otras, las dificultades cognoscitivas que plantea R.Heck (con nombres homónimos correferentes), sin haber de exigir una similitud en los modos de presentación de los hablantes. El nexo comunicativo entre los interlocutores no pasa por la similitud predicativa, sino por las relaciones externas que (a través de las cadenas de comunicación) mantienen las concepciones sobre el referente de los hablantes.Otras cuestiones y principales aportaciones:l) Mantengo que la referencialidad es una propiedad de los términos en virtud de pertenecer a un determinado tipo lingüístico. Examino críticamente una interpretación epistémica de la referencia (G.Evans, a partir de Russell) que presupone una noción epistémica del contenido de una aseveración. Desde esta perspectiva, un término es referencial para un oyente si su conocimiento del designátum es objeto-dependiente. A ello opongo una interpretación semántica, basada en aquello que hace verdadera o falsa una aseveración (en distintas circunstancias contrafácticas). Muestro, contra Evans (y otros), que la noción epistémica de contenido no está tan desligada de la semántica (defendiendo así el argumento modal). 2) Propongo un análisis de los nombres introducidos por descripción ("Julius") que permite un tratamiento referencial unitario de los nombres en general, con relación a su significado y a las condiciones para su comprensión; de suerte que no se establecen diferencias en sus propiedades semánticas, ya fueran introducidos por descripción u ostensión, ni entre hablantes en virtud de su mayor o menor conocimiento de los designata.3) Dilucido la noción de referencia directa (centrada en la condición de verdad), y la separo de la noción de designación rígida (relativa al objeto designado en diferentes circunstancias contrafácticas, con independencia de si es parte de la condición de verdad) y de rigidizaciones descriptivistas.4) Distingo dos aspectos en la noción de millianidad: no-connotatividad (ausencia de alguna descripción del designátum) e inmediatez, (ausencia de material descriptivo cuyo fin es seleccionar la designación). Eludiendo, así, confusiones argumentativas que mezclan consideraciones sobre los efectos cognoscitivos en la comprensión con la cuestión de la determinación del designátum (p.ej. en la discusión sobre la referencialidad de "Julius".)5) Sostengo que el modelo no-descriptivo de designación no elimina el componente intencional: sólo rechaza que las intenciones comunicativas se interpreten como intenciones (predicativamente) individualizadoras. Destaco otro tipo de intención: la de preservar y ajustarse (deferentemente) a los usos lingüísticos de una comunidad. Analizo la estructura y función (metasemántica) de las cadenas de comunicación (liberándolas de objeciones tipo "Madagascar" e interpretaciones descriptivistas).6) Dilucido el modelo de designación de los nombres, separándolo del que corresponde a los deícticos, y critico las teorías connotativistas metalingüísticas.7) Reexamino, mostrando sus fallas, la argumentación de Frege acerca del problema del valor cognoscitivo. (Y defiendo la pertinencia del caso "Paderewski" para el millianismo.)

La tesi s'ocupa de qüestions centrals relacionades amb la distinció entre semàntica i pragmàtica. En primer lloc aborda la distinció entre allò que es diu i allò que s'implica no lògicament amb la proferència d'un enunciat, i després, i en base a la manera com s'estableix aquesta distinció, s'ocupa dels diferents fenòmens d'implicació no lògica.En la primera part del treball s'introdueix primer la distinció entre allò que es diu i allò que s'implica de manera no lògica. Es mostra com una posició griceana, a mig camí entre posicions semanticistes i pragmatistes extremes, resulta més adequada que aquestes últimes si el que es vol és explicar de quina manera els enunciats que proferim són portadors del contingut que volem comunicar (tant del contingut que es diu com del contingut que s'implica de manera no lògica). Les principals aportacions d'aquesta primera part són: (1) la defensa d'una posició de tall griceà, si bé no estrictament dins dels paràmetres sostinguts per Grice, davant de posicions més semanticistes o més pragmatistes; al llarg de la discussió (2) s'introdueixen algunes modificacions al marc griceà i, dins d'aquest marc modificat, (3) es proposen directrius per resoldre el càlcul de quines de les implicacions no lògiques de les clàusules que constitueixen un enunciat compost són, al seu torn, implicacions no lògiques de la proferència del propi enunciat compost -el que es coneix amb el nom de 'problema de la projecció'. Finalment, (4) es presenten algunes dificultats importants tant per a plantejaments semanticistes com per a propostes pragmatistes més extremes que la griceana.En la segona part del treball, i prenent com a referència la distinció entre allò que es diu i allò que s'implica no lògicament que s'ha defensat abans, es consideren diferents tipus d'implicacions no lògiques presents en la literatura. Les principals aportacions d'aquesta segona part són: (5) l'anàlisi del fenomen de la implicatura conversacional. S'introdueix primer el fenomen tal i com el concebé en el seu origen Grice i es posen de manifest les dificultats d'aquesta caracterització originària; l'anàlisi condueix a formular una nova caracterització del fenomen que evita els problemes en qüestió; (6) la tesi que el contingut d'una implicatura convencional no pot constituir part d'allò que s'implica no lògicament per mitjà de la proferència d'un enunciat, sinó part d'allò que es diu, la qual cosa comporta (7) haver de reconèixer dos nivells diferents en l'anàlisi d'allò que es diu. La consideració d'aquests dos nivells permet, d'altra banda, explicar l'estranyesa que es produeix quan la proposició que constitueix una implicatura convencional (o una pressuposició) de la proferència d'un enunciat resulta ser falsa. Per explicar aquesta estranyesa cal també tenir present (8) la distinció precisa entre generalització i convenció, sobretot al respecte de la separació entre implicatures convencionals (o pressuposicions) i implicatures conversacionals generalitzades. En el treball es donen raons explicatives de per què es produeix una aparent similitud entre tots dos fets, la generalització i la convenció, si bé en realitat són, se sosté, de naturalesa ben diferent. / The thesis deals with some central questions related to the distinction between pragmatics and semantics. Firstly, it examines ways of establishing the distinction between what is said and what is implicated. Secondly, in accordance with the way the former distinction is traced, it accepts only some of the traditionally considered phenomena of implication and characterizes them.In the first part of this work, the distinction between what is said and what is implicated is presented. Here, (1) I try to defend a Gricean view against other positions which are either more semanticists or more pragmatists; (2) during the discussion, I introduce some modifications to the purely Gricean proposal; and (3) I propose a solution, within the suggested modified Gricean framework, allowing for the determination of the implications of the clauses of a compound sentence that are inherited by the utterance of the compound sentence itself -the so-called 'projection problem'; finally, (4) some strong objections are raised against both strictly semanticist views and, above all, pragmatist approaches.Following the previously sustained distinction between saying and implicating, in the second part of the work different types of non-logic implications are considered. The main points of this part are: (5) a characterization of the conversational implicature that tries to avoid the problems of the notion as Grice introduced it; (6) the thesis that the content of a conventional implicature cannot be a part of what is implicated in uttering a sentence, but only a part of what is said; as a consequence, (7) the idea that we need to consider two different levels in the analysis of what is said; and (8) the reasons of the apparent similarity between generalization and convention when dealing with conventional and conversational generalized implicatures.

This work focuses on the application of neural networks in the areas of modelling, identification, control and optimization of biothechnology processes, mainly fed-batch bioreactors. The basic ideas and techniques of artificial neural networks are presented with the notation familiar to control engineers. The applications of a variety of neural network architectures in control and control schemes are first surveyed. Some especific fed-batch bioreactor processes are mentioned to illustrate particular control cases to be examimined in detail and solved. Especifically, a non-linear multivariable bioreactor control problem is used as a case study for model based control techniques. An implementation of direct and inverse process control models based on neural networks that considers biological, thermal and pH effects for this multivariable fed-batch bioreactor is performed and tested. Multilayer perceptrons and radial basis functions neural networks are considered to model this type of non-linear multi-input multi-output (MIMO) dynamic process. The direct models are successfully tested under steady state, dynamic process operation and when a acid disturbance in the process causes a plant/model mismatch. The inverse process model is also successfully tested at the set-point input with a random series of perturbations around the plant operation state. The RBF architecture with goal 3.0 is the best architecture for the direct model of this multivariable process while the best inverse model is based on a MLP 19-11-7-1 trained including past information of the steady states of the process. On the other hand, optimal control techniques that employ neural networks are studied to optimize the production of invertase in a fed-batch bioreactor. The controlled addition of substrates is used in this bioreactor process to increase productivity when end-product inhibition or catabolite repression are present. Cloned invertase production in Saccharomyces cerevisiae yeast is carried out in fed-batch mode of operation because the enzyme expression is repressed at high glucose concentrations. An optimal glucose feed rate profile is needed to achieve the highest fermentation profit. The controller has to find at each time step an optimal control action that increments the fed-batch bioreactor profitability, even when a disturbance or a set-point change arise. This optimal control action increases the productivity and, within the same optimization process, finds the optimal fermentation ending time. This double optimization is a novelty not met by previous optimization schemes published in the literature. A neuro dynamic programming (NDP) approach coupled with MLP neural networks or fuzzy ARTMAP systems is employed to accomplish these optimization objectives. Fuzzy ARTMAP creates multidimensional category maps by incremental supervised learning. The optimization method utilizes suboptimal control policies as a starting guess. The neural networks are used to build a cost surface in the state space visited by the process. Bellman's iteration is used to improve the cost approximation. The cost surface obtained is implemented into a control system. The controller is tested for different fermentation processes started with different initial fermentation volumes. NDP outperforms other optimization methods employed to find an optimal feeding profile. Besides, it can be used to optimize any fermentation process (starting at different initial conditions) because the future costs (profits) are characterized as a function of system states. The optimal control trajectories found by the controller are similar to the best suboptimal policy for each initial volume. MLP-NDP controllers yield the highest profits, but the manipulated variable trajectories are not smooth. Fuzzy ARTMAP-NDP overcomes this limitation. The best fuzzy ARTMAP-NDP based control system is also tested when an abrupt death of yeast cells occurs. In this case, the controller performance is better than the performance of the fermentation using the best suboptimal policy for the given initial volume.The integration of control science with neural networks in a unified presentation and identification key areas is a path to follow in future research. Artificial neural networks techniques can be succesfully applied to control fed-batch bioreactors. / Optimización y Control de Procesos de Fermentación Fed-batch a través de Sistemas Neuronales ArtificialesLos procesos de fermentación son ampliamente utilizados en la industria química, farmacéutica y alimentaria. La producción de comida para animales, yogures, quesos, cerveza, colorantes para comida, fertilizantes, medicinas terapéuticas y penicilina, entre otros, son algunos ejemplos de procesos biotecnológicos. En una búsqueda rápida en Internet, cerca de 113000 sitios fueron encontrados, todos ellos relacionados con productos de procesos de fermentación.El campo de aplicación de la bioingeniería abarca desde los procesos tradicionales de fermentación de vinos hasta la industrialización de no solo la producción de cerveza, queso y leche; sino también de nuevos productos biotecnólogicos como son los antibióticos, enzimas, hormonas, vitaminas, azucares y ácidos orgánicos. Desde tiempos remotos los microorganismos han sido utilizados por el hombre en la producción de alimentos esenciales, como el pan o el queso. El arte de hacer vino ha pasado de padre a hijo desde el antiguo Egipto. Solo hasta finales del siglo XIX, gracias a los estudios del químico y microbiólogo Louis Pasteur, nació la biotecnología como ciencia. La definición actual de biotecnología, según la OCDE, es la aplicación de la ciencia y la tecnología tanto a organismos vivos como a partes, productos y modelos de ellos, con el propósito de modificar tanto materia viva como la no viva con el fin de producir conocimiento, bienes y servicios.Un proceso de fermentación es un proceso químico en el cual se emplean microorganismos para obtener un producto en particular, aprovechando la selectividad de los microorganismos para producir un determinado compuesto. Los procesos de fermentación son llevados a cabo en un bioreactor. Un bioreactor es un recipiente en el cual microorganismos son cultivados de manera controlada y/o materia prima es convertida o transformada debido a reacciones biológicas.En una fermentación, es necesario un control adecuado de todas las variables de proceso, debido a que cualquier cambio inesperado en el valor de alguna de ellas puede afectar el desarrollo de los microorganismos y en consecuencia disminuir la productividad del bioreactor. El principal objetivo de controlar un proceso de fermentación es maximizar la producción de microorganismos u otros compuestos metabólicos. Avances recientes en ingeniería genética han aumentado la importancia del adecuado control de los procesos biotecnólogicos. El uso de células de mamíferos o microorganismos en la producción de moléculas complejas requiere el análisis y control de todas las variables de proceso, tales como temperatura, concentración de oxigeno y pH.El presente trabajo se centra en la aplicación de redes neuronales artificiales en las áreas de modelado, identificación, control y optimización de procesos biotecnológicos, principalmente en bioreactores del tipo fed-batch. Un bioreactor fed-batch se emplea cuando la producción de determinado compuesto de interés, es inhibida debido a la alta concentración de substrato. En un proceso fed-batch, la fermentación empieza con un volumen, concentración de microorganismos y substrato determinados y, a medida que transcurre el proceso de fermentación, el substrato se añade poco a poco, hasta que se consigue llenar el bioreactor.En este trabajo las ideas y técnicas utilizadas por las redes neuronales artificiales son presentadas con la notación familiar para un ingeniero de control. Diferentes estructuras de redes neuronales artificiales y su posible aplicación a diferentes sistemas de control son resumidas. También son presentados algunos procesos de fermentación fed-batch. Dichos procesos son empleados para ilustrar casos específicos de problemas control. Específicamente, un modelo no lineal y multivariable de un bioreactor es empleado para ilustrar las técnicas de control basadas en el modelo del proceso. Un modelo para la producción de invertasa a través de la levadura Saccharomyces cerevisiae es empleado para ilustrar las técnicas de optimización y control.Dentro de las técnicas de control basadas en el modelo del proceso, se implementó un modelo directo y uno inverso de la fermentación multivariable antes mencionada. Ambos modelos, basados en redes neuronales artificiales, consideran efectos biológicos, térmicos y de pH. Multilayer perceptron y Radial Basis Function son las redes neuronales empleadas para la construcción de los dos modelos. Para ilustrar la fiabilidad de estos modelos, diferentes pruebas les fueron realizadas. El modelo directo del proceso de fermentación, basado en redes neuronales, fue probado en operación en estado estacionario, en estado dinámico y cuando una perturbación en el ácido causa que el pH del proceso sea diferente. El modelo inverso del proceso de fermentación fue probado haciendo cambios aleatorios en el punto de referencia. Con la arquitectura Radial Basis Function se obtuvo el mejor modelo directo. Para el modelo inverso del proceso de fermentación, se encontró que la mejor arquitectura es la multilayer perceptron 11-7-1, entrenada con informacion de los estados estacionarios del proceso.Por otro lado, para la optimización de la producción de invertasa es necesario encontrar el perfil de alimentación optimo, de manera que la productividad del bioreactor sea máxima y el tiempo de fermentación sea mínimo. Este doble objetivo de optimización es una novedad y no ha sido antes obtenido por otros esquemas de optimización previamente publicados. El objeto del controlador debe ser hallar a cada instante de tiempo la acción optima de control, es decir, cada vez encontrar cual es el flujo de alimentación adecuado para cumplir el doble objeto de la optimización. En este trabajo se utiliza la programación dinámica neuronal (NDP) con el fin de implementar dicho controlador. Esta técnica emplea redes multilayer perceptron o fuzzy ARTMAP para realizar la optimizacion del proceso. NDP utiliza perfiles de alimentación subóptimas como suposición inicial. A través de esta suposición, una red neuronal es empleada para construir la superficie de costos en el espacio de los estados del proceso. Esta superficie de costos se mejora a través de la iteración de Bellman. Una vez obtenida una buena aproximación a la superficie de costos óptima, esta es implementada en un sistema de control que hace uso también de la ecuación de Bellman. El controlador es probado en diferentes condiciones de operación del proceso de fermentación, específicamente cuando la fermentación comienza con diferentes volúmenes iniciales. Al comparar la metodología empleada se encontró que esta es mejor que otros métodos de optimización utilizados con el mismo fin, debido a que la metodología NDP puede ser usada en diferentes procesos de fermentación sin necesidad de realizar una optimización on-line. Las trayectorias óptimas encontradas por el controlador son similares a la trayectoria seguida por el mejor de los perfiles subóptimos. Con multilayer perceptron- NDP se obtienen los mas altos rendimientos pero la trayectoria de variable manipulada es muy abrupta. Con fuzzy ARTMAP-NDP no se presenta este problema. El controlador que implementa fuzzy ARTMAP-NDP es probado también cuando hay un cambio brusco en la concentración de células. El 50% mueren. En este caso el desempeño del controlador es mejor que el rendimiento de la fermentación cuando la mejor de los perfiles de alimentación subóptimas es utilizado.Por último se puede decir que la integración de la ingeniería de control con las redes neuronales es un fructífero camino a seguir por futuras líneas de investigación ya que las redes neuronales artificiales pudieron ser empleadas con éxito en el control de bioreactores fed-batch.PublicacionesValencia C., Giralt J., Arenas A., Giralt F., Implementation of a non-linear multivariable (MIMO) process control model of a fed-batch bioreactor with neural networks. Poster Session: Topics in systems and process control, AIChE annual meeting Reno 2001.Valencia C., Giralt J., Arenas A., Giralt F., Non-linear multivariable (MIMO) process control model of a fed-batch bioreactor with neural networks. Submitted to Chemical Engineering Science. 2002Valencia C., Lee J.H., Kaisare N.S., Final time and productivity optimization of a fed-batch bioreactor for invertase production. Presented at Control of Pharmaceutical and Biological Processes Session 347, AIChE annual meeting, Indianapolis 2002.Valencia C., Giralt J., Arenas A., Giralt F., Optimization of invertase production in a fed-batch bioreactor using dynamic programming coupled with fuzzy ARTMAP, to be submitted to Biotechnology and Bioengineering 2002 / Optimització i Control dels Processos de Fermentació Fed-batch a través de Sistemes Neuronals ArtificialsEls processos de fermentació són amplament utilitzats en l'indústria química, farmacèutica i alimentaria. La producció de menjar per a animals, iogurts, formatge, cervesa, colorants per aliments, fertilitzants, medicines terapèutiques i penicil·lina entre altres, són alguns exemples de processos biotecnològics. En una recerca ràpida a Internet, cerca de 113000 llocs van ser trobats, tots ells relacionats amb productes de processos de fermentació.El camp d'aplicació de la bioenginyeria avarca des d'els tradicionals processos de fermentació de vi fins a l'industrialització de no solament la producció de cervesa, formatge i llet; sinó també de noves productes biotecnològics com són els antibiòtics, enzims, hormones, vitamines, sucres i àcids orgànics. Des de temps remots els microorganismes van ser utilitzats per l'home en la producció d'aliments bàsics, com el pa o el formatge. L'art de fer vi a passat de pares a fills des d'l antic Egipte. Només fins a finals del segle XIX, gràcies als estudis del químic i microbiòleg Louis Pasteur, va nàixer la biotecnologia com a ciència. La definició moderna de biotecnologia, segons la OCDE, és l'aplicació de la ciència i la tecnologia tant als organismes vius com a les seves parts, productes i models d'ells, amb el propòsit de modificar tant la matèria viva com la no viva amb l'objecte de produir coneixements, bens i serveis.Un procés de fermentació és un procés químic que fa servir microorganismes per a obtenir un producte en particular, aprofitant la selectivitat dels microorganismes per a produir un determinat compost. Els processos de fermentació es realitzen en un bioreactor. Un bioreactor és un vaixell on els microorganismes són cultivats de forma controlada i/o matèria primera és convertida o transformada per reacciones biològiques.En una fermentació, es necessita un adequat control de totes les variables de procés, per tal que qualsevol canvi inesperat en el valor d'alguna de elles pot afectar el desenvolupament de els microorganismes i en conseqüència disminuir la productivitat del bioreactor. El principal objectiu de controlar un procés de fermentació, és maximitzar la producció de microorganismes o altres compostos metabòlics. Recents avanços en enginyeria genètica han augmentat la importància de l'adequat control dels processos biotecnològics. L'ús de cèl·lules de mamífers o microorganismes en la producció de molècules complexes necessita de l'anàlisi i el control de totes las variables de procés, tal com temperatura, concentració d'oxigen i pH.El present treball es centra en l'aplicació de xarxes neuronals artificials en les àrees de modelat, identificació, control i optimització de processos biotecnològics, principalment en bioreactors de tipus fed-batch. Un bioreactor fed-batch es fa servir quan la producció d'un determinat compost d'interès, és inhibida per l'alta concentració de substrat. En un procés fed-batch, la fermentació comença amb un volum, concentració de microorganismes i substrat determinats i a mida que transcorre el procés de fermentació, el substracte s'agrega poc a poc, fins que el bioreactor és ple.En aquell treball les idees i tècniques utilitzades per las xarxes neuronals artificials són presentades amb la notació familiar per a un enginyer de control. Diferents estructures de xarxes neuronals artificials i la seva possible aplicació a diferents sistemes de control van ser resumides. També s'han presentat alguns processos de fermentació fed-batch. Aquests processos es fan servir per il·lustrar casos específics de problemes de control. Específicament, un model no lineal i multivariable d'un bioreactor es fa servir per il·lustrar les tècniques de control basades en el model del procés. Un model per a la producció de invertasa a través del llevat Saccharomyces cerevisiae es fa servir per il·lustrar les tècniques d'optimització i control.Dins les tècniques de control basades en el model del procés, es va a implementar un model directe i un invers de la fermentació multivariable. Els dos models, basats en xarxes neuronals artificials, consideren efectes biològics, tèrmics i de pH. Multilayer perceptron i Radial Basis Function són las xarxes neuronals que es van a fer servir per a la construcció d'ambdós models. Per il·lustrar la fiabilitat d'aquests models, diferent proves van ser realitzades. El model directe del processo de fermentació, basat en xarxes neuronals, va ser provat quan el procés opera en estat estacionari, en estat dinàmic i quan una perturbació en l'àcid causa que el pH del procés sigui un altre. El model invers del procés de fermentació també va ser provat fent canvis aleatoris del punt de consigna. L'arquitectura Radial Basis Function va a ser el millor model directe que es va a trobar. Pel model invers del procés de fermentació, es va a trobar que la millor arquitectura es la Multilayer Perceptron 11-7-1, que va ser entrenada amb informació dels estats estacionaris del procés.Per una altre banda, per a l'optimització de la producció de invertasa es necessita trobar el perfil d'alimentació òptim, de manera que la productivitat del bioreactor sigui màxima i el temps de fermentació sigui mínim. Aquest doble objectiu de optimització constitueix una novetat i no ha estat obtingut per altres mètodes d'optimització prèviament publicats. L'objectiu del controlador és trobar a cada instant de temps l'acció òptima de control, és dir, cada vegada trobar quin és el flux d'alimentació correcte per complir el doble objecte de l'optimització. Aquest treball va fer servir la programació dinàmic neuronal (NDP) amb l'objectiu de implementar aquell controlador. Aquesta tècnica fa servir xarxes multilayer perceptron o fuzzy ARTMAP. Aquest mètode d'optimització utilitza perfils d'alimentació subòptimes com a suposició inicial. A través d'ella, una xarxa neuronal es utilitzada per construir la superfície de costos en l'espai dels estats del procés. Aquesta superfície de costos es millora a través de la iteració de Bellman. Una vegada obtinguda una bona aproximació a la superfície de costos òptima, aquesta es implementada en un sistema de control que fa ús de l'equació de Bellman. Aquest controlador és provat dins diferentes condiciones d'operació del procés de fermentació, específicament quan la fermentació comença amb diferents volums inicials. S'ha trobat que la metodologia emprada és millor que altres mètodes de optimització ja que es pot utilitzar en altres processos de fermentació sense la necessitat de fer una optimització on-line. Les trajectòries òptimes trobades pel controlador son similars a la trajectòria seguida pel millor dels perfils subòptims. Amb Multilayer Perceptron- NDP s'han obtingut els millores rendiments, però la trajectòria de variable manipulada és força abrupta. Amb Fuzzy ARTMAP-NDP no es presenta aquest problema. El controlador que implementa fuzzy ARTMAP-NDP és provat també quan es presenta un canvi brusc en la concentració de cèl·lules. El 50% moren. En aquell cas el desenvolupament del controlador és millor que el rendiment de la fermentació quan el millor dels perfils d'alimentació subòptimes es fan servir.Per últim es pot dir que la integració de l'enginyeria de control amb les xarxes neuronals és un camí a seguir per futures línees d'investigació. Las xarxes neuronals artificials poden, amb èxit, fer-se servir en el control de bioreactors fed-batch.

In this thesis we present the results of our research on duality theory for non-classical logics under the point of view of Abstract Algebraic Logic (AAL). Firstly, we propose an abstract Spectral-like duality and an abstract Priestley-style duality for every filter distributive finitary congruential logic with theorems. This proposal aims to unify the various dualities for concrete logics that we find in the literature, by showing the abstract template in which all of them fit. Secondly, the dual correspondence of some logical properties is examined. This serves to reveal the connection between our abstract dualities and the concrete dualities related wot concrete logics. We apply those results to get new dualities for suitable expansions of a well-known logic: the implicative fragment of intuitionistic logic. Finally, we develop a new strategy that can be modularly applied to simplify some of the dualities obtained. The first part of the dissertation is devoted to introduce the preliminaries and the basic notation. In Chapter 1 we fix the mathematical concepts that we assume the reader is familiar with. Of particular interest is the section in which we introduce the basic concepts of AAL, such as "S-filter" or "S-algebra". The notion of "closure operator" plays a fundamental role in AAL, as well as in our dissertation. The notions of filter and ideal associated with a closure operator, and the separation lemmas between them are studied in detail in Chapter 2. Moreover, we briefly review the literature on duality theory for non classical logics in Chapter 3. In the second part of the dissertation we present an abstract view of the duality theory for non-classical logics. In Chapter 4 we review previous works on this topic, in which our work relies, and we introduce the notions of "referential algebra", "irreducible and optimal S-filter" and "S-semilattice". This lead us to identify a set of necessary conditions that a logic should satisfy in order to develop a Spectra-like/Priestley-style duality for it. These conditions are: "filter distributivity","congruentiality", "finitarity" and "having theorems". Moreover, we carry out a brief digression in which we argue how those notions can also be used to develop an abstract theory of canonical extensions. The core of the proposed theory consists of the definitions of dual objects and morphisms, for the category of S-algebras and homomorphisms, for any logic S that satisfies the mentioned properties. In Chapter 5 we define a Spectral-like duality and a Priestley-style duality for filter distributive finitary congruential logics with theorems, and we prove the respective duality theorems. Due to the abstraction of our approach, we obtain that the objects of both categories involved in the duality posses algebraic nature. However, through the analysis of the dual correspondence of several well-known logical properties, we can simplify the definitions of the dual categories, provided the logic under consideration satisfies such good logical properties. This analysis is interesting under the point of view of AAL, since our results can be regarded as bridge theorems between logical properties and properties of a Kripke-style semantics. And it is also interesting under the point of view of duality theory, since it confirms the strength of duality theory, that can be developed in a modular way beyond the distributive lattice setting. Moreover, our analysis shows the connection of the general theory proposed with the concrete results that we find in the literature, and lead us to explore the applications of such general theory to obtain new dualities. / En esta tesis se presentan los resultados de nuestra investigación acerca de la teoría de la dualidad para lógicas no clásicas desde el punto de vista de la Lógica Algebráica Abstracta (LAA). Un estudio preliminar de las distintas nociones de filtros e ideales lógicos asociados a las álgebras de una lógica cualquiera, y los lemas de separación entre dichas nociones nos lleva a proponer una dualidad abstracta de tipo espectral, y otra de tipo Priestley, para cada lógica congruencial, filtro distributiva, finitaria y con teoremas. Esta propuesta pretende unificar las distintas dualidades de tipo espectral y de tipo Priestley para lógicas no clásicas que encontramos en la literatura, mostrando el esquema abstracto en el que todas ellas encajan e identificando. En segundo lugar es examinada la correspondencia dual de algunas propiedades lógicas, como la propiedad de la conjunción, la propiedad de la disyunción, el teorema de deducción, la propiedad del elemento inconsistente o la propiedad de introducción de la modalidad. Esto sirve, por una parte, para revelar la conexión que existe entre las dualidades abstractas propuestas y las dualidades concretas relacionadas con lógicas no clásicas que habían sido estudiadas previamente, y por otra parte, para obtener nuevas dualidades. Centrándonos en el fragmento implicativo de la lógica intuicionista y en sus expansiones que son filtro distributivas, congruenciales, finitarias y con teoremas, mostramos cómo las dualidades que habían sido estudiadas para algunas de esas lógicas se pueden obtener como casos particulares de la teoría general. Además obtenemos nuevas dualidades para varias de dichas expansiones, algunas de las cuales pueden ser simplificadas dado que las lógicas tienen buenas propiedades. Finalmente, desarrollamos una nueva estrategia que puede ser aplicada de forma modular para simplificar algunas de las dualidades obtenidas. En conclusión, en esta tesis se muestra que la Lógica Algebráica Abstracta provee un marco general teórico apropiado para desarrollar una teoría abstracta de la dualidad para lógicas no clásicas. Dicha teoría uniformiza los diferentes resultados de la literatura, y de ella se deducen nuevos resultados.

In the current dissertation we work in set theory and we study both various large cardinal hierarchies and issues related to forcing axioms and generic absoluteness. The necessary preliminaries may be found, as it should be anticipated, in the first chapter. In Chapter 2, we study several C(n) - cardinals as introduced by J. Bagaria (cf. [1]). In the context of an elementary embedding associated with some fixed C(n) - cardinal, and under adequate assumptions, we derive consistency (upper) bounds for the large cardinal notion at hand; in particular, we deal with the C(n) - versions of tallness, superstrongness, strongness, supercompactness, and extendibility. As far as the two latter notions are concerned, we further study their connection, giving an equivalent formulation of extendibility as well. We also consider the cases of C(n) -Woodin and of C(n) – strongly compact cardinals which were not studied in [1] and we get characterizations for them in terms of their ordinary counterparts. In Chapter 3, we briefly discuss the interaction of C(n) – cardinals with the forcing machinery, presenting some applications of ordinary techniques. In Chapter 4, we turn our attention to extendible cardinals; by a combination of methods and results from Chapter 2, we establish the existence of apt Laver functions for them. Although the latter was already known (cf. [2]), it is proved from a fresh viewpoint, one which nicely ties with the material of Chapter 5. We also argue that in the case of extendible cardinals one cannot use such Laver functions in order to attain indestructibility results. Along the way, we give an additional characterization of extendibility, and we, moreover, show that the global GCH can be forced while preserving such cardinals. In Chapter 5, we focus on the resurrection axioms as they are introduced by J.D. Hamkins and T. Johnstone (cf. [3]). Initially, we consider the class of stationary preserving posets and, assuming the (consistency of the) existence of an extendible cardinal, we obtain a model in which the resurrection axiom for this class holds. By analysing the proof of the previous result, we are led to much stronger forms of resurrection for which we introduce a family of axioms under the general name “Unbounded Resurrection”. We then prove that the consistency of these axioms follows from that of (the existence of) an extendible cardinal and that, for the appropriate classes of posets, they are strengthenings of the forcing axioms PFA and MM. We furthermore consider several implications of the unbounded resurrection axioms (e.g., their effect on the continuum, for the classes of c.c.c. and of sygma- closed posets) together with their connection with the corresponding ones of [3]. Finally, we also establish some consistency lower bounds for such axioms, mainly by deriving failures of (weak versions of) squares. We conclude our current mathematical quest with a few final remarks and a small list of open questions, followed by an Appendix on extenders and (some of) their applications. References [1] Bagaria, J., C (n)–cardinals. In Archive Math. Logic, Vol. 51 (3–4), pp. 213–240, 2012. [2] Corazza, P., Laver sequences for extendible and super–almost–huge cardinals. In J. Symbolic Logic, Vol. 64 (3), pp. 963–983, 1999. [3] Johnstone, T., Notes to “The Resurrection Axioms”. Unpublished notes (2009).

Tesi realitzada a l'Institut d'Investigació en Intel.ligència Artificial (IIIIA-CSIC) / In this thesis, we study planning systems based on logics, for two particular cases: Temporal Defeasible Logic Programming t-DeLP and the Logics of Communication and Change LCC. A planning problem consists in building a course of actions, or plan, whose execution leads from a given initial state to some goal state. The motivation for the present studies, from the point of view of Logic, is to obtain systems for practical reasoning (what an agent should do) from given logics oriented to multi-agent systems. From the Artificial Intelligence point of view, the motivation consists in extending the languages and logics underlying the well-known classical or temporal planning systems. This way, a planner can correctly reason about certain concepts (actions, causality, belief, etc.) using an appropriate logic to this end. In practice, the proposed methods permit a planner to aim for goals which can be expressed in the corresponding logical languages. The first part of the thesis contains a study of t-DeLP along these lines. The t-DeLP framework is a non-monotonic temporal logic programming system based on tools from computational argumentation. This logic system aimsto model different types of causal reasoning in a non-monotonic way, but using to this end natural concepts inspired by human reasoning and argumentation. The t-DeLP system is a temporal extension of the DeLP system proposed by García and Simari. In t-DeLP, a knowledge base is given by a set of temporal rules and facts, which combine into arguments (or consistent, minimal derivations) for further derived temporal facts (or conclusions). The language admits two types of rules: strict and defeasible. The former behave similarly to rules in monotonic logics, while derivations or arguments making use of some defeasible rules can be canceled by other existing arguments. To solve the temporal inconsistencies between conflicting arguments, we propose two criteria based on a preference for arguments using more strict facts (more basic information) or less persistence rules. It is shown that the resulting logic programming system satisfies different consistency and closure properties that any logic-argumentation system should obey. In order to define a planning system based on t-DeLP, one can introduce temporal actions as pairs of preconditions and effects. These actions combine with the t-DeLP consequence relation, thus inducing a state transition system. Different search algorithms for centralized planning can be shown to be sound and complete for the class of planning problems definable in t-DeLP. We also study the decentralized case, where a group of planning agents cooperate in order to reach an agreement upon a joint plan for their shared goals. For this, we propose a protocol for argumenative dialogues that defines a plan search algorithm. This algorithm is also shown to be sound and complete, with respect to centralized planning. The second part of the thesis focuses on the Logics of Communication and Change, or LCC. LCC is a family of dynamic epistemic logics proposed by van Benthem et al. Which capture a good deal of the existing dynamic epistemic logics in the literature. The class of LCC modal logics contain a rich class of epistemic operators for multiple agents or groups as well as operators for common knowledge or belief. They also contain dynamic operators for the execution of epistemic actions (communications, observations) or physical actions. The actions of either type can also be modelled with their epistemic effects, that is, how the action will appear to each of the agents. In this thesis, we also extend these logics with product and choice constructors in order to model non-deterministic actions and plans. We propose a simple extension of the axiom system along this line, and show its soundndess and completeness. The proposed planning system based on these logics permit the study of deterministic and non-deterministic planning. In this thesis we show that the corresponding search algorithms based on Breadth First Search are correct and complete for backward planning in a given LCC logic. This is shown for both the deterministic case, and for strong non-deterministic planning. / En aquesta tesi, estudiem algorismes de planificació per a dues lògiques enfocades a sistemes multi-agent. Amb més detall, estudiem problemes de planificació (com arribar a estats objectiu a partir de l'estat inicial i un conjunt d'accions disponibles), els elements dels quals es poden expressar en alguna de les dues lògiques. En la primera part de la tesi, proposem en primer lloc una extensió temporal de la programació lògica rebatible (temporal defeasible logic programming) t-DeLP. Aquest és un sistema de programació lògica no-monotònica basat en tècniques d'argumentació i orientat al raonament sobre les accions, i especialment dels seus efectes indirectes. En el llenguatge d'aquesta lògica, hom pot descriure accions temporals de l'estil de sistemes de planificació, i definir al seu temps un sistema de transicions d'estats. Finalment, això permet definir un sistema de planificació basat en aquesta lògica que combina accions i derivacions lògiques. Les contribucions principals al respecte són: l'estudi de les propietats argumentatives del sistema lògic, i de la correcció i completesa d'algorismes basats en Breadth First Search de cerca en l'espai de plans. En la segona part de la tesi, estudiem sistemes de planificació definits sobre una família de lògiques dinàmiques epistèmiques, conegudes com a Logics of Communication and Change. Aquestes lògiques permeten l'estudi formal de les creences de diversos agents, així com dels efectes epistemics i físics de diferents tipus d'accions. Entre aquestes, podem incloure diferents accions comunicatives (públiques, privades), observacions i les accions físiques habituals en planning. L'estudi del sistema de planificació definit per aquestes lògiques és dut a terme mitjançant algorismes de cerca basats en breadth first search. Les contribucions principals són l'extensió d'aquestes lògiques amb accions no-deterministes i composició d'accions, i la demostració de la correcció