Onomàstica osorenca. Toponímia pretèrita i present dels termes municipal i parroquial d'Osor (La Selva)

La present tesi consisteix en un recull toponímic pretèrit i present del terme d'Osor, comarca de la Selva a les Guilleries. S'hi recullen prop de 3600 noms de lloc recollits oralment o en documentació antiga sobre els quals s'hi realitza una situació, un recull documental, un estudi gràfic i una hipòtesi etimològica. A més a més, s'hi presenta la situació geogràfica (quan és possible) dins l'espai treballat, un estudi del topònim Osor, una mostra dels estudis onomàstics de les comarques gironines, un estudi de genèrics introductors dels topònims de l'estudi, una classificació semàntica dels termes recollits i diversos mapes de situació. Evidentment, s'hi presenta l'etimologia seguida, unes conclusions finals i una àmplia bibliografia a més de dos annexos, un dels llinatges d'Osor en el decurs de la història i un altre amb els malnoms recollits per entrevista oral o documentació antiga.

El procés de gramaticalització en l'adquisició del llenguatge: la categoria formal de verb

Des de diverses perspectives, alguns autors han remarcat la importància del verb en l'adquisició del llenguatge (Bloom, 1991; Pinker, 1989; Tomasello, 1992). Donat que la seva estructura semàntica proporciona un marc conceptual per incloure-hi estructures lingüistiques més àmplies, esdevé un element clau en el pas a una fase de parla organitzada gramaticalment. Es per aquest motiu que l'adquisició de la categoria formal de verb és essencial per poder entendre com els nens arriben a ser gramaticalment competents. En aquest estudi pretenem explorar com s'adquireix la classe formal de verb tenint en compte les diferents propostes que intenten explicar el procés de gramaticalització i, en concret, l'adquisició de les categories de mot. En les dades sobre l'adquisició inicial dels verbs, es troba que a partir dels tres anys hi ha un ús consistent del elements verbals, però abans d'aquesta edat alguns autors han descrit un ús dels marcadors morfològics limitat a alguns verbs (Bloom, 90) i també que la utilització de l'estructura argumental inicial sembla anar lligada a verbs individuals (Tomasello, 92, Olguin i Tomasello, 93). Aquestes dades apunten que en un principi els verbs serien utilitzats de forma lexicalitzada, de manera que s'adquiririen individualment.

Computationally reliable approaches of contractive MPC for discrete-time systems

La tesis pretende explorar acercamientos computacionalmente confiables y eficientes de contractivo MPC para sistemas de tiempo discreto. Dos tipos de contractivo MPC han sido estudiados: MPC con coacción contractiva obligatoria y MPC con una secuencia contractiva de conjuntos controlables. Las técnicas basadas en optimización convexa y análisis de intervalos son aplicadas para tratar MPC contractivo lineal y no lineal, respectivamente. El análisis de intervalos clásicos es ampliado a zonotopes en la geometría para diseñar un conjunto invariante de control terminal para el modo dual de MPC. También es ampliado a intervalos modales para tener en cuenta la modalidad al calcula de conjuntos controlables robustos con una interpretación semántica clara. Los instrumentos de optimización convexa y análisis de intervalos han sido combinados para mejorar la eficacia de contractive MPC para varias clases de sistemas de tiempo discreto inciertos no lineales limitados. Finalmente, los dos tipos dirigidos de contractivo MPC han sido aplicados para controlar un Torneo de Fútbol de Copa Mundial de Micro Robot (MiroSot) y un Tanque-Reactor de Mezcla Continua (CSTR), respectivamente.

On intentional and social agents with graded attitudes

La principal contribución de esta Tesis es la propuesta de un modelo de agente BDI graduado (g-BDI) que permita especificar una arquitetura de agente capaz de representar y razonar con actitudes mentales graduadas. Consideramos que una arquitectura BDI más exible permitirá desarrollar agentes que alcancen mejor performance en entornos inciertos y dinámicos, al servicio de otros agentes (humanos o no) que puedan tener un conjunto de motivaciones graduadas. En el modelo g-BDI, las actitudes graduadas del agente tienen una representación explícita y adecuada. Los grados en las creencias representan la medida en que el agente cree que una fórmula es verdadera, en los deseos positivos o negativos permiten al agente establecer respectivamente, diferentes niveles de preferencias o de rechazo. Las graduaciones en las intenciones también dan una medida de preferencia pero en este caso, modelan el costo/beneficio que le trae al agente alcanzar una meta. Luego, a partir de la representación e interacción de estas actitudes graduadas, pueden ser modelados agentes que muestren diferentes tipos de comportamiento. La formalización del modelo g-BDI está basada en los sistemas multi-contextos. Diferentes lógicas modales multivaluadas se han propuesto para representar y razonar sobre las creencias, deseos e intenciones, presentando en cada caso una axiomática completa y consistente. Para tratar con la semántica operacional del modelo de agente, primero se definió un calculus para la ejecución de sistemas multi-contextos, denominado Multi-context calculus. Luego, mediante este calculus se le ha dado al modelo g-BDI semántica computacional. Por otra parte, se ha presentado una metodología para la ingeniería de agentes g-BDI en un escenario multiagente. El objeto de esta propuesta es guiar el diseño de sistemas multiagentes, a partir de un problema del mundo real. Por medio del desarrollo de un sistema recomendador en turismo como caso de estudio, donde el agente recomendador tiene una arquitectura g-BDI, se ha mostrado que este modelo es valioso para diseñar e implementar agentes concretos. Finalmente, usando este caso de estudio se ha realizado una experimentación sobre la flexibilidad y performance del modelo de agente g-BDI, demostrando que es útil para desarrollar agentes que manifiesten conductas diversas. También se ha mostrado que los resultados obtenidos con estos agentes recomendadores modelizados con actitudes graduadas, son mejores que aquellos alcanzados por los agentes con actitudes no-graduadas.