Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Radiology Service Bus: Interoperabilidade semântica para Radiologia

A integração de sistemas é um tema sempre actual na temática das tecnologias de informação. Desde há muito tempo que as grandes empresas identificaram a necessidade de integrar dados de diferentes sistemas, criando mais valor para os seus negócios. Alguns sectores da indústria estão claramente mais avançados do que outros no que diz respeito à integração de sistemas. Alguns factores, como a concorrência e competitividade mais agressiva em alguns mercados, foram os catalisadores desses avanços tecnológicos. A indústria da saúde não foi, infelizmente, um dos sectores onde se registaram grandes avanços na integração de sistemas. Foi, no entanto, onde se registou uma explosão de normas e protocolos que suportam as diversas disciplinas da medicina, como por ex, a Radiologia. Essas normas e protocolos permitiram dotar a medicina de meios mais rigorosos de produzir diagnósticos e encontrar curas para as mais diversas patologias. Existem muitos produtos que adoptam estas normas. As organizações foram, progressivamente, adquirindo esses produtos mas sem grande preocupação da eventual necessidade da integração. A disciplina da Radiologia é uma das disciplinas onde se verifica, ainda hoje, uma enorme diversidade de equipamentos e sistemas de informação mas onde se encontra desafios consideráveis no que diz respeito à integração. Foram esses desafios que despoletaram o interesse de investigação e cujos resultados se partilham nesta dissertação.

Promoção da saúde e funcionalidade em idosos com incapacidade cognitiva institucionalizados

A funcionalidade e a independência, factores preponderantes para o diagnóstico da saúde física e mental da pessoa idosa, são ameaçadas quando surge incapacidade física ou cognitiva que dificulte a realização das tarefas do dia-a-dia. Em situação de institucionalização, o auxílio ou a substituição na realização das AVDs geralmente potencia a imobilidade e a dependência do idoso. A actividade física, e concretamente o treino funcional, está associada a melhorias significativas no grau de dependência em idosos. Na promoção de programas de actividade física para indivíduos com distúrbios cognitivos, estratégias de comunicação verbal e não verbal, e de memorização provaram ser efectivas na facilitação da aprendizagem e na mudança de comportamentos. Assim, implementou-se um programa de actividade física em que participaram 13 utentes idosos com incapacidade cognitiva, institucionalizados numa valência de saúde mental, com o objectivo principal de maximizar a sua funcionalidade, através do treino funcional, e com recurso a estratégias comportamentais de comunicação e memorização. O estudo incluiu também um grupo de controlo constituído por 11 utentes. As sessões tiveram a duração de 30 minutos, e decorreram 2 vezes por semana, durante 12 semanas. Os resultados foram avaliados através dos seguintes indicadores: grau de dependência funcional (índice de Barthel), equilíbrio (teste Timed Up and Go), força de preensão (teste de força de preensão), velocidade da marcha (teste de marcha dos 10 metros). Foram efectuados três momentos de avaliação: antes do início da intervenção, ao final de 6 semanas e no final das 12 semanas de programa. Após a análise dos resultados, concluiu-se que este programa mostrou ser efectivo nos objectivos a que se propõe e exequível nesta população. No entanto, foram identificadas algumas limitações que deverão merecer atenção numa futura implementação.

El alma de las palabras : diseño de semántica general.

"Bibliografía" : p. [7]-9.

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Más Impersonales que Pasivas : Un estudio sobre las construcciones pasivas con se e impersonales con se desde el Programa Minimalista y la Semántica Relacional

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Más Impersonales que Pasivas : Un estudio sobre las construcciones pasivas con se e impersonales con se desde el Programa Minimalista y la Semántica Relacional

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

Causación y ergatividad en la semántica relacional

En el marco de la gramática contrastiva entre inglés y castellano, asumimos la perspectiva generativista, según la cual la sintaxis humana resulta de procesos derivacionales que combinan, por medio de mecanismos innatos, elementos capaces de codificar significados primitivos. Trabajamos con datos, ya sea reales o inventados, que ilustran los distintos tipos de oraciones ?gramaticales? posibles en una lengua natural. Nos centramos en la noción de ?ergatividad?, utilizada por distintas teorías para explicar fenómenos sintácticos y semánticos no siempre coincidentes. Desde el Funcionalismo/Cognitivismo norteamericano, Scott DeLancey (2001) compara distintas lenguas y distingue morfológicamente los sujetos ?agentivos? en estructuras causadas de los sujetos ?afectados? en estructuras no causadas. Según la Lingüística Sistémica Funcional (Halliday 1985, 2004), la ergatividad abarca, no sólo la presencia o ausencia de Causa en un proceso particular, sino también la relación causal que vincula distintos procesos entre sí. El esquema ergativo de Halliday incluye, además de pares constituidos por eventos de cambio de estado no causados y de causa externa, eventos inergativos de causa externa, y eventos transitivos instigados por otro proceso, expresado lingüísticamente o bien inferido. Desde la perspectiva de la Semántica Relacional (Mateu, 2002), reducimos el número de ?constructos primitivos? disponibles de tres a dos. Consideramos dos alternancias: la ergativo-transitiva y la causa interna/externa con inergativos. No vinculamos ni sintáctica ni derivacionalmente las construcciones transitivas con los eventos inferidos que las instigan. Justificamos la relación derivacional que vincula las construcciones pasivas estáticas con las construcciones ergativas de verbos naturalmente alternantes, por un lado, y, con las construcciones transitivas de verbos de ?locatum? y de inergativos, por el otro. Reanalizamos, respecto de la bibliografía canónica, la naturaleza del clítico ?se? en las construcciones ergativas españolas. Este análisis orienta de manera teórica el abordaje de las construcciones pertinentes, y ofrece equivalencias posibles que pueden resultar útiles para la traducción

Más Impersonales que Pasivas : Un estudio sobre las construcciones pasivas con se e impersonales con se desde el Programa Minimalista y la Semántica Relacional

En el presente trabajo, rebatimos la clásica distinción entre oraciones pasivas con SE e impersonales con SE . Abordamos el análisis de ambas construcciones desde la perspectiva del Programa Minimalista (Chomsky 1995, 2001, 2005) y de la Semántica Relacional (Mateu i Fontanals 2002). Presentamos evidencia semántica y sintáctica con el fin de demostrar que las oraciones pasivas con SE comparten, con las impersonales transitivas con SE , una misma estructura semántico-relacional. Por hipótesis, las pasivas con SE son un subtipo de las impersonales con SE , ya que ambas proyectan, en su constructo semántico relacional, un sujeto indefinido y genérico, invariablemente materializado por un pronombre nulo (pro), cuyos rasgos de persona y número concuerdan con la flexión verbal. Por el contrario, las pasivas morfológicas o perifrásticas no proyectan un sujeto de estas características. Aunque estas construcciones comparten una misma estructura semántico-relacional con las pasivas con SE , las primeras, a diferencia de la segundas, contienen un argumento externo destematizado interpretable como una entidad definida y no genérica, lo cual justifica en términos morfosintácticos la concordancia que establece la flexión verbal con el argumento interno. Postulamos que, mientras las oraciones pasivas con SE deberían ?en términos estrictamente gramaticales? presentar concordancia verbal con su sujeto nulo pro, la concordancia superficial que se establece con el sintagma nominal en posición de objeto directo sería consecuencia de ciertos fenómenos sintácticos y/o pragmáticos. Observamos, además, que esta concordancia no podría darse bajo ciertas condiciones morfosintácticas

UMA NOVA CARTOGRAFIA COGNITIVA PARA O ENSINO DA COMUNICAÇÃO

O trabalho proposto é a montar um projeto exploratório funcional que parta da cartografia cognitiva, que é definida como a arte, teoria e técnica de construir mapas do conhecimento, visando com esta cartografia a sua aplicabilidade na estruturação de um conjunto de cursos/saberes da área da Comunicação. Assemelhado ao conceito de mapas conceituais, ou cognitivos, representam o conhecimento organizado e são compostos por conceitos. Este mapas foram desenvolvido a partir da década de setenta por vários pesquisadores. A tese experimento foi montada tendo como base os softwares de relacionamento por temas e interesses dentro de um ambiente de interatividade tridimensional , montado no conceito de arvore do conhecimento relacional. Esta experiência é construída em ambiente tridimensional com uso de softwares 3D que rodam como aplicativos de engines de vídeo games, que são motores gráficos. A base de dados e a interatividade de textos e tarefas é realizada sob a plataforma do MediaWiki, que é o software aberto que roda a Wikipédia. A plataforma de mapas roda dentro de um software MindJet MindManager e do CMAPS. As vídeo conferências são administradas pelo FlashMeeting, de Web conferência. A maioria deles são softwares abertos. Todos operando em sistemas presenciais ou de modulação EAD. A base conceitual está estruturada dentro de uma visão de educação disruptiva, que lança um novo modelo educacional baseado em mapas, visto dentro de uma abordagem de um mundo de múltiplas telas, um mundo da era hiper, um mundo hipermoderno, que tem como base uma cultura da era tecnológica, numa renovação dos conceitos de Cultura, agora revigorados à luz das novas tecnologias e da nova sociedade interligada em rede.

Modelagem semântica de processos industriais com aplicações

The main hypothesis of this thesis is that the deve lopment of industrial automation applications efficiently, you need a good structuri ng of data to be handled. Then, with the aim of structuring knowledge involved in the contex t of industrial processes, this thesis proposes an ontology called OntoAuto that conceptua lly models the elements involved in the description of industrial processes. To validat e the proposed ontology, several applica- tions are presented. In the first, two typical indu strial processes are modeled conceptually: treatment unit DEA (Diethanolamine) and kiln. In th e second application, the ontology is used to perform a semantic filtering alarms, which together with the analysis of correla- tions, provides temporal relationships between alar ms from an industrial process. In the third application, the ontology was used for modeli ng and analysis of construction cost and operation processes. In the fourth application, the ontology is adopted to analyze the reliability and availability of an industrial plant . Both for the application as it involves costs for the area of reliability, it was necessary to create new ontologies, and OntoE- con OntoConf, respectivamentem, importing the knowl edge represented in OntoAuto but adding specific information. The main conclusions of the thesis has been that on tology approaches are well suited for structuring the knowledge of industrial process es and based on them, you can develop various advanced applications in industrial automat ion.