Desenvolvimento artificial autônomo de um grafo sensório-motor auto-organizável.

A teoria de Jean Piaget sobre o desenvolvimento da inteligência tem sido utilizada na área de inteligência computacional como inspiração para a proposição de modelos de agentes cognitivos. Embora os modelos propostos implementem aspectos básicos importantes da teoria de Piaget, como a estrutura do esquema cognitivo, não consideram o problema da fundamentação simbólica e, portanto, não se preocupam com os aspectos da teoria que levam à aquisição autônoma da semântica básica para a organização cognitiva do mundo externo, como é o caso da aquisição da noção de objeto. Neste trabalho apresentamos um modelo computacional de esquema cognitivo inspirado na teoria de Piaget sobre a inteligência sensório-motora que se desenvolve autonomamente construindo mecanismos por meio de princípios computacionais pautados pelo problema da fundamentação simbólica. O modelo de esquema proposto tem como base a classificação de situações sensório-motoras utilizadas para a percepção, captação e armazenamento das relações causais determiníscas de menor granularidade. Estas causalidades são então expandidas espaço-temporalmente por estruturas mais complexas que se utilizam das anteriores e que também são projetadas de forma a possibilitar que outras estruturas computacionais autônomas mais complexas se utilizem delas. O modelo proposto é implementado por uma rede neural artificial feed-forward cujos elementos da camada de saída se auto-organizam para gerar um grafo sensóriomotor objetivado. Alguns mecanismos computacionais já existentes na área de inteligência computacional foram modificados para se enquadrarem aos paradigmas de semântica nula e do desenvolvimento mental autônomo, tomados como base para lidar com o problema da fundamentação simbólica. O grafo sensório-motor auto-organizável que implementa um modelo de esquema inspirado na teoria de Piaget proposto neste trabalho, conjuntamente com os princípios computacionais utilizados para sua concepção caminha na direção da busca pelo desenvolvimento cognitivo artificial autônomo da noção de objeto.

Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

A organização do trabalho para o desenvolvimento de recursos imateriais em equipes de saúde da família: um estudo de caso no município de Caraguatatuba.

Em organizações que operam segundo a lógica de serviço há uma mudança estratégica, com o deslocamento da produção de um produto para um valor. Seguindo esta dinâmica, surgiram na Saúde Pública propostas de modelos de atenção alternativos ao hegemônico, centrado em procedimentos e equipamentos. O presente estudo analisou o modelo da Estratégia de Saúde da Família, cuja proposta centra-se nas necessidades do usuário e no vínculo usuário-equipe multiprofissional, tendo como objetivo investigar como a organização e as condições do trabalho influenciam na utilização de recursos imateriais pelas equipes. Consistiu em um estudo de caso realizado junto a oito equipes de saúde da família do município de Caraguatatuba/SP. A metodologia compreendeu observação direta e realização de grupos focais com os profissionais das equipes. A análise abrangeu a categorização dos temas mais relevantes, em especial aqueles que se relacionavam ao uso e desenvolvimento dos recursos imateriais. Os resultados indicaram que, embora os profissionais valorizassem os aspectos relacionais, o processo de trabalho das equipes encontrava-se centrado na produção de procedimentos e informações quantitativos dos atendimentos, não incorporadas às práticas do cuidado. Os recursos imateriais, bem como seus resultados, não encontravam uma forma sistematizada de avaliação. E, dessa forma, enfrentavam desafios para serem apropriados e desenvolvidos como conhecimento pela organização.

Interoperabilidad semántica de ontologías basada en técnicas de procesamiento del lenguaje natural

Se presenta un estudio y propuesta de interoperabilidad semántica entre ontologías del dominio de la salud basada en técnicas de procesamiento del lenguaje natural. El objetivo fundamental ha sido el desarrollo de un algoritmo de interconexión semántica entre los términos de dos ontologías solapadas y heterogéneas, denominadas «fuente» (Clasificación internacional de enfermedades, 9ª revisión, modificación clínica: CIE-9-MC) y «diana» (esquema jerárquico de la asignatura Enfermería Materno-Infantil: EMI). Esta propuesta permite emparejar semánticamente ontologías, a partir de la reutilización de otro recurso ontológico (WordNet español), sin destruir o modificar la semántica de identidad de cada una de las ontologías involucradas. El modelo presentado puede permitir al usuario acceder a la información que necesita en otra clasificación jerárquica, sin precisar de un entrenamiento referido a la conceptualización de cada sistema, pues utilizaría la ontología «diana» con la que está familiarizado para su aplicación a la recuperación de información.

La integració conceptual o blending i l’arc de Sant Martí: vers una semàntica cognitiva diacrònica i cultural

Aquest article fa un estudi onomasiològic de les denominacions de l’arc de Sant Martí en una perspectiva diacrònica, de contacte de llengües (català, occità, aragonès, etc.) i segons la teoria de la integració conceptual o blending. Planteja la necessitat que la semàntica diacrònica cognitiva faça pròpia l’orientació cultural (fonamentalment, antropològica, històrica social i cultural) i semiòtica.

Subjectivació i interferència en l'evolució semàntica i en l'inici de la gramaticalització de "jaquir" (segles XI-XII)

Estudiem en aquest article els primers passos en l'evolució semàntica i en la gramaticalització del verb "jaquir". Aquest germanisme pertany a un estrat lèxic del català que va començar a fer-se menys usual a la darreria del segle XV, desplaçat per altres sinònims, en aquest cas lleixar-deixar. La recerca es fonamenta en un corpus de documentació en llatí i en català dels segles XI i XII. L'objectiu és descriure la gènesi dels significats que ja apareixen ben establits durant el període literari. Seguim un enfocament metodològic d'orientació cognitivista (estudi de la subjectivació i de la inferència com a mecanismes del canvi semàntic).

Aplicación de tecnologías de procesamiento de lenguaje natural y tecnología semántica en Brand Rain y Anpro21

Este artículo presenta la aplicación y resultados obtenidos de la investigación en técnicas de procesamiento de lenguaje natural y tecnología semántica en Brand Rain y Anpro21. Se exponen todos los proyectos relacionados con las temáticas antes mencionadas y se presenta la aplicación y ventajas de la transferencia de la investigación y nuevas tecnologías desarrolladas a la herramienta de monitorización y cálculo de reputación Brand Rain.

Estudio de fiabilidad y viabilidad de la Web 2.0 y la Web semántica para enriquecer lexicones en el dominio farmacológico

Los actuales sistemas de Reconocimiento de Entidades en el dominio farmacológico, necesarios como apoyo para el personal sanitario en el proceso de prescripción de un tratamiento farmacológico, sufren limitaciones relacionadas con la falta de cobertura de las bases de datos oficiales. Parece por tanto necesario analizar la fiabilidad de los recursos actuales existentes, tanto en la Web Semántica como en la Web 2.0, y determinar si es o no viable utilizar dichos recursos como fuentes de información complementarias que permitan generar y/o enriquecer lexicones empleados por sistemas de Reconocimiento de Entidades. Por ello, en este trabajo se analizan las principales fuentes de información relativas al dominio farmacológico disponibles en Internet. Este análisis permite concluir que existe información fiable y que dicha información permitiría enriquecer los lexicones existentes con sinónimos y otras variaciones léxicas o incluso con información histórica no recogida ni mantenida en las bases de datos oficiales.

La Web Semántica Como Herramienta para el Apoyo a la Docencia

La web semántica consiste en un nuevo paradigma web para acceder, buscar, compartir y gestionar información a través de la combinación de tecnologías y de estructuras de gestión del conocimiento. El concepto de web semántica proporciona herramientas para el almacenamiento, intercambio y consulta de esta información mediante el desarrollo y la inclusión de metadatos y ontologías del cuerpo de conocimiento. La estructura de los datos que proporciona permite que sea consultada automáticamente por usuarios humanos o sistemas informáticos, mejorando su interoperabilidad. El desarrollo de la web semántica supone una evolución del desarrollo web en general hacia una web más inteligente o web 3.0. Este paradigma puede ser aprovechado en los procesos de docencia-aprendizaje para estructurar, almacenar y compartir los contenidos mediante sistemas automáticos de consultas alojados en web semánticas que tratan sobre los cuerpos de conocimiento de las materias. La disciplina informática es especialmente adecuada para este propósito debido a su complejidad y a la gran variedad de términos que maneja. Por otra parte, su desarrollo en continua evolución propicia la implantación de mecanismos automáticos de mantenimiento y de actualización de los nuevos contenidos.

La variación semántica en el marco de la Lingüística Cognitiva: un estudio diacrónico del verbo pisar

Este trabajo trata cuestiones teóricas y descriptivas relacionadas con el análisis de la semántica histórica según los postulados de la Lingüística Cognitiva. La primera parte del trabajo contiene un breve recorrido descriptivo de los marcos teóricos más significativos que dicha perspectiva lingüística sostiene para el análisis del cambio semasiológico. A continuación, de forma más específica, se aplican los postulados teóricos de la semántica cognitiva diacrónica al análisis semántico del verbo pisar. El presente trabajo de fin de grado da muestra de la posibilidad de aplicar los axiomas teóricos de esta perspectiva lingüística para dar luz a los cambios semánticos que a lo largo de la historia de su uso presenta el verbo polisémico pisar.

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”.

Organização celular e observação microscópica

Com a atividade experimental desenvolvida pretendia-se comparar e observar as diferenças entre as células eucarióticas animais e vegetais. A principal diferença observada foi a presença da parede celular nas células vegetais e a ausência dela nas células animais. Também era pretendido aprender a utilizar o microscópio ótico, para aumentar a experiência aquando da sua utilização, compreendendo assim as alterações feitas por ele à imagem real e avaliando as diferentes ampliações e o efeito produzido por estas alterações na imagem real. Percebeu-se que a imagem observada no microscópio ótico, para além de ampliada é invertida e simétrica. Descobriu-se a importância do uso dos corantes para realçar os organelos a observar, bem como técnicas de preparação de lâminas.

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.

(Re)Organização da área dos livros e incentivo à leitura na educação pré-escolar

O presente relatório apresenta a descrição e a reflexão da Prática e Intervenção Supervisionada do Mestrado em Educação Pré-escolar, cujo propósito foi (re)organizar a área dos livros e incentivar a leitura na Educação Pré-escolar. Este Projeto foi implementado na sala de atividades onde decorreu a nossa prática, tornando a área dos livros mais acolhedora e atrativa, para que as crianças se sentissem melhor no momento das suas leituras. Como ponto de partida deste Projeto foi fundamental ouvir as opiniões e ideias das crianças acerca da área dos livros da sala de atividades, para assim podermos responder melhor às suas necessidades e gostos. O Projeto seguiu a metodologia de investigação-ação em contexto educativo, que se caracterizou por momentos de observação, recolha, interpretação e análise de dados, que nos levaram aos resultados obtidos. Estes resultados mostram que a nossa principal intenção foi conseguida, uma vez que foram notórias as mudanças que ocorreram na sala de atividades, que proporcionaram um melhor ambiente para desenvolver o intelectual das crianças do grupo.