Un aspecte semàntic dels termes generals : la rigidesa

L'objectiu de la recerca és determinar quina és la noció de rigidesa més adient per als termes generals. Els termes generals són els que, per oposició als termes singulars, es poden aplicar a més d'un individu o exemplar, com per exemple 'tigre', 'aigua', 'bolígraf'. Des de Kripke es considera que alguns termes singulars, com els noms propis, són rígids. Un terme singular és rígid quan designa el mateix individu o objecte en tot món possible. Així 'Sòcrates' és un terme rígid perquè designa el mateix individu, Sòcrates, en tota circumstància contrafàctica. Kripke va proposar que alguns termes generals, com els termes de gènere natural, tals com 'aigua', 'calor' o 'tigre' també són rígids, però no va donar cap formulació precisa de la rigidesa per a termes generals. Des de llavors s'han proposat bàsicament dues concepcions de la rigidesa per a aquests termes: la que els considera designadors rígids i la que els considera aplicadors rígids. L'anàlisi de les dues concepcions pretén determinar quina és la millor comprensió de la rigidesa per a aquests termes, resultant la concepció dels aplicadors rígids indesitjable fonamentalment pels seus compromisos metafísics i allunyats de la semàntica.

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.

Degeneració Lobular Fronto-Temporal. Fenotips Clínics i Evolució

Estudi retrospectiu de recollida de dades clíniques i de neuroimatge de pacients diagnosticats, em La clínica diària, de Degeneració Lobular Fronto-Temporal (DLFT) entre gener de 1996 i Marc de 2008. Es descriuen dades demogràfiques i clíniques i es classifiquen en fenotips al diagnòstic inicial segons variants de: DFT-vc (Demència fronto-temporal variant de conducta), APNF (Afàsia Progressiva no fluent) DS (Demència Semàntica) SCB (Síndrome Còrtico-Basal) y PSP (Paràlisis Supranuclear Progressiva). Es descriuen els canvis clínics durant el seguiment i s’analitzen els patrons radiològics en les neuroimatges disponibles. S’inclouen també dades d’ApoE i l’estudi anatomopatològic realitzat a 17 d’ells.

La dimensió política de la construcció social del Programari Lliure

Aquest estudi es presenta com una aproximació al fenomen del Programari Lliure des de la seva vessant política. Lluny de tractar-se d'una alternativa tecnològica la naturalesa de la qual seria explicable en termes exclusivament tècnics - la qual cosa no faria sinó atribuir-li una presumpta neutralitat tecnològica -, ací assumim que tota tecnologia s'inscriu en un procés de construcció social en el que incideixen factors de tipus social, econòmic, polític i/o moral que rebasen allò merament tècnic. Creguem que en el cas del Programari Lliure es donen cita tots aquests factors, sent el plànol polític el que adquireix un especial protagonisme en dit procés de construcció i que mereix de tractament aïllat. D'aquesta manera, la semàntica de allò polític serà examinada en les seves diferents accepcions a través de dos plànols complementaris. Per una banda, rastrejant els fonaments culturals que subjauen al Programari Lliure i les seves possibles concomitàncies de contingut polític. D'altra, descrivint la praxis actual d'actors heterogenis (corporacions, governs, associacions d'usuaris,...) desenvolupada en un marc global d'interacció col·lectiva, que es revisteix igualment, producte de la confrontació estratègica d'interpretacions i discursos particulars sobre el mateix, d'un caràcter indubtablement polític.

Onto-Trauma : Ontologia d'aprenentatge en l'àrea de la cirurgia traumatològica

Treball en què es crea una ontologia per simular totes les etapes d'una operació traumatològica, i usa aquesta ontologia per crear un prototip de wiki semàntica.

Projecte OntoTrauma : Definició d'una ontologia d'aprenentatge en l'àrea de cirurgia traumatològica

Aquest treball fa una revisió de les principals tecnologies implicades en la web semàntica i fa ús d'elles per obtenir una base de dades semàntica de coneixement dins del domini de les operacions quirúrgiques traumatològiques.

Ontologia d'aprenentatge en l'àrea de la cirurgia traumatològica

Creació d'una wiki semàntica per l'aprenentatge en l'àrea de la cirurgia traumatològica amb OntoWiki i Semantic MediaWiki.

Estudi del concepte d'ontologia i del llenguatge RDF : Aplicació a l'arqueologia

L'objectiu final d'aquest treball és conèixer i entendre l'anotació semàntica en pàgines web a partir d'un estudi de recerca i d'un cas pràctic.

Estudi de com OWL amplia la funcionalitat d' RDF i aquest, a la vegada d' XML.

L'objectiu general d'aquest treball és conèixer el concepte de web semàntica i aprofundir-hi, i també entendre els principis bàsics d'algunes de les tecnologies en què recolza: les ontologies, l'XML, l'RDF i l'OWL.

Llenguatges de consulta per documents RDF

Els objectius principals d'aquest projecte són analitzar i descartar algunes dels llenguatges de consulta, gestors relacionals i reposadors que s'estan utilitzant més habitualment en l'entorn de la Web Semàntica. Amb l'estudi de les principals tecnologies implicades en la Web Semàntica es tractarà de realitzar una aplicació que permeti el maneig de dades d'un graf RDF.

Estudi dels llenguatges de consulta per a documents RDF

Aquest treball aporta una visió general de la Web Semàntica i alhora n'estudia en suficient detall les principals tecnologies relacionades. Com a objectiu final per comprovar de forma pràctica la teoria descrita, l'aplicació web permet consultar bases de dades RDF mitjançant el llenguatge de consulta SPARQL.

Creació d'una ontologia universal

L'objectiu d'aquest treball és introduir al lector en les tecnologies que condueixen al desenvolupament de la web semàntica, destacant-ne les parts més importants d'aquestes i veient com cadascuna amplia la funcionalitat de la seva predecessora a l'hora d'aportar un sentit semàntic als documents.

Creació d'una ontologia universal

Aquest treball consisteix en el disseny d'una ontologia universal sobre el domini de l'alimentació. L'ontologia es definirà utilitzant les eines necessàries proposades pel W3C per a la construcció de la web semàntica.

Interacció Humana amb l'ordinador

Fonamentalment és un sistema que permet escollir d'entre totes les paraules introduides previament en un diccionari la paraula que es vol, el sistema anirà mostrant totes aquelles paraules del diccionari que començen per les lletres ja escrites, així l'usuari només ha de seleccionar la paraula correcta.

Estudi dels llenguatges de consulta per a documents RDF

Aquest projecte es centra en la Web Semàntica, concretament en els llenguatges de consulta per a documents RDF. Es fà un estudi dels llenguatges de consulta existents en l'actualitat.