Razão e irracionalidade na representação do conhecimento

Como é possível que a partir da negação do racional (isto é, do colapso na representação do conhecimento, dado pela presença de informações contraditórias) se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha (default). Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta (à qual me refiro como "semântica de traduções possíveis"). Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico.

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

Significação e contexto: uma introdução a questões de semântica e pragmática

417

Equivalência conceitual, de itens e semântica do Physical Activity Checklist Interview (PACI)

Há lacuna de questionários de atividade física para crianças brasileiras. O Physical Activity Checklist Interview (PACI), desenvolvido em crianças americanas, permite aferir atividade física do dia anterior. Constituem objetivos do estudo: (i) descrever os procedimentos envolvidos na escolha do PACI a ser submetido à adaptação transcultural; (ii) avaliar equivalências conceitual, de itens e semântica da versão adaptada para uso em crianças de 7 a 10 anos. Identificou-se o PACI pela revisão sistemática na qual foram incluídos dezoito questionários. Foram realizadas, no processo de escolha do instrumento, discussões com pesquisadores da área de atividade física. Verificou-se que o PACI permite aferir o construto e dimensões nas populações de origem e alvo, sendo necessário suprimir algumas atividades por não serem comuns na população alvo. Na equivalência semântica, realizou-se tradução, retradução e avaliação dos significados conotativo e referencial, com pré-teste em 24 crianças de 7 a 10 anos. Apresenta-se a versão do PACI adaptada, denominada Lista de Atividades Físicas (LAF).

Equivalência conceitual, de itens e semântica da versão brasileira do instrumento Dysfunctional Voiding Scoring System (DVSS) para avaliação de disfunção do trato urinário inferior em crianças

Investiga-se a equivalência conceitual, de itens e semântica entre o instrumento Dysfunctional Voiding Scoring System (DVSS), utilizado para avaliar a disfunção funcional do trato urinário inferior em crianças, concebido em inglês e uma versão em português. Na primeira etapa realizou-se a avaliação da equivalência conceitual e de itens, seguida de duas traduções do instrumento original para o português. Na segunda etapa foram realizadas 63 entrevistas, com crianças de 3 a 10 anos e responsáveis, e modificação de itens segundo dificuldades de interpretação. Na terceira etapa foi realizada a retradução do instrumento em português para o inglês e avaliação da equivalência semântica. Na quarta etapa, a versão pré-teste foi aplicada em vinte duplas de crianças de 3 a 10 anos e responsáveis. Apresenta-se o instrumento em português com equivalência conceitual, de itens e semântica. Sugere-se que a aplicação do DVSS seja realizada por meio de entrevista por profissional treinado e não baseada em autopreenchimento como proposto no instrumento original.

Moravia : das lógicas da informalidade às lógicas da formalidade

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Arquitetura e Urbanismo, Programa de Pós-Graduação em Arquitetura e Urbanismo, 2016.

As lógicas da empresa informacional

O autor analisa as causas do aparecimento de novo tipo de entidade - a empresa informacional- e define suas principais características. Enfoca a desburocratização e a informalização da organização, a intelectualização do trabalho, e o papel da cultura como fator de coesão. Estuda o papel desempenhado no sistema da empresa por três grupos de atores: os profissionais, os hierárquicos e os dirigentes, e suas respectivas atitudes em relação à inovação na entidade.

Leitura e compreensão : um estudo de activação semântica em alunos do 9ºano

Leitura e Compreensão é um estudo que se integra no âmbito da Psicologia Cognitiva e tem por finalidade ajudar a perceber se a activação semântica dos processos cognitivos, quando se recorre à leitura silenciosa e ao uso de estratégias diversificadas, pode conduzir à melhoria da compreensão dos textos lidos. Seleccionámos dois grupos de alunos do 9º ano que funcionaram como grupo de controlo e grupo experimental; depois de ambos os grupos terem realizado duas provas de compreensão como pré-teste, o grupo experimental exercitou estratégias de leitura em alternância com provas de compreensão, ao longo de 10 semanas, durante o 2º e 3º período do ano lectivo de 2008/2009. O grupo de controlo realizou as provas de leitura e compreensão, ao mesmo tempo que o grupo experimental, sem qualquer treino de estratégias de leitura. A análise dos resultados revela que os alunos do grupo experimental apresentam melhorias significativas após terem sido sujeitos a um treino de leitura compreensiva segundo o modelo do Duplo Canal, na sua componente de activação do armazém semântico

A disparada do burro e a cartilha do feitor: lógicas morais na construção de redes de sociabilidade entre escravos e livres em fazendas do Sudeste, 1860-1888

O objetivo principal do autor é pensar as relações de trabalho entre senhores, escravos, lavradores, administradores e feitores, em fazendas de café do Sudeste, nas décadas finais da escravidão. Para isso, tais relações sociais são analisadas através de dois estudos de caso, nos quais se chama a atenção para o conflito entre homens livres e escravos na formação de alianças em torno das regras sociais de justiça e trabalho, as quais são constantemente rompidas e reafirmadas, em permanente conflito social.

Liberdade de ensino versus totalitarismo: a semântica política dos substitutivos de Carlos Lacerda durante a tramitação da Lei de Diretrizes e Bases (1958-1959)

Sem perder de vista os vínculos do deputado Carlos Lacerda com os interesses pecuniários das instituições particulares de ensino durante a tramitação da Lei de Diretrizes e Bases (LDB) na Câmara dos Deputados (1958-1959), o artigo destaca as relações entre a semântica dos substitutivos apresentados pelo político udenista com a cultura política católica do período, mostrando que a tese do interesse encobre uma dinâmica a ser observada nos estudos sobre a história política da educação.

El régimen militar brasilero y las censuras televisivas: entre las lógicas internas de producción y el contexto político

Este artículo analiza la censura televisiva durante el periodo del régimen militar brasilero, apuntando a la existencia de diversos tipos de censura empleados a los distintos géneros televisivos. Estas diferencias de criterios y mecanismos a la hora de censurar la televisión dejan al descubierto el tenso encuentro entre las lógicas de producción de la industria televisiva y la visión de la televisión por parte del régimen militar como instrumento de control social y vehículo para la educación de las masas. Basándose en la extensa documentación encontrada en los archivos de la Divisão de Censura e Divertimento Público (DCDP), este artículo se propone reconstruir el entramado de relaciones de poder, complicidades y tenciones que afectaban la producción televisiva durante el periodo del régimen militar brasilero.

Lógicas de acção na gestão intermédia das escolas : o caso do departamento curricular das expressões

O tema da investigação prende-se com a gestão intermédia das escolas, especificamente, o departamento curricular de expressões (DCEXP). Este estudo analisa as mudanças provocadas pelo novo modelo de estrutura intermédia estabelecido pelo DL nº 75/2008, de 22 de Abril, tendo em conta os vários modelos de agrupamento de escolas vigentes no actual sistema educativo. Procurou-se conhecer a perspectiva de directores, coordenadores de departamento de expressões e professores do mesmo departamento sobre os processos organizacionais e as lógicas de acção desenvolvidas. Para consolidar as múltiplas interrogações e o trajecto final assentar numa reflexão solidamente construída, o corpus teórico envolveu duas grandes temáticas: abordagem da escola como organização e o seu desenvolvimento no sistema educativo português. Em termos metodológicos, optou-se por um estudo qualitativo, com características exploratórias e descritivas. Para a recolha de dados, seleccionámos três agrupamentos de escolas de três concelhos limítrofes ao distrito de Lisboa (um agrupamento vertical, um agrupamento horizontal e um mega agrupamento). Os sujeitos participantes de cada agrupamento foram os directores, os coordenadores do departamento curricular de expressões, um professor do mesmo departamento com muita experiência profissional e um com menos experiência. Realizaram-se doze entrevistas semi-estruturadas, constituídas por um conjunto de questões formuladas a partir dos objectivos e organizadas em temas. Para analisar os dados, utilizámos a técnica de análise de conteúdo. A análise das representações dos diversos grupos de entrevistados permitiu vislumbrar que, apesar da aceitação das mudanças estabelecidas pelos normativos vigentes, as lógicas de acção mantêm-se centradas nas disciplinas de forma fragmentada, dificultando processos colaborativos interdisciplinares. A insatisfação em relação ao actual modelo é consensual em todos os grupos de entrevistados tendo presente a sua complexidade que resulta de aspectos relacionados com a sua dimensão e multidisciplinaridade. No entanto, também vislumbrámos aspectos potenciadores do DCEXP que o valorizam na organização escolar e no processo educativo dos alunos.

Classificação semântica de imagens com k-NN e RN

Um dos maiores desafios tecnológicos no presente é o de se conseguir gerar e manter, de uma maneira eficiente e consistente, uma base de dados de objectos multimédia, em particular, de imagens. A necessidade de desenvolver métodos de pesquisa automáticos baseados no conteúdo semântico das imagens tornou-se de máxima importância. MPEG-7 é um standard que descreve o contudo dos dados multimédia que suportam estes requisitos operacionais. Adiciona um conjunto de descritores audiovisuais de baixo nível. O histograma é a característica mais utilizada para representar as características globais de uma imagem. Neste trabalho é usado o “Edge Histogram Descriptor” (EHD), que resulta numa representação de baixo nível que permite a computação da similaridade entre imagens. Neste trabalho, é obtida uma caracterização semântica da imagem baseada neste descritor usando dois métodos da classificação: o algoritmo k Nearest Neighbors (k-NN) e uma Rede Neuronal (RN) de retro propagação. No algoritmo k-NN é usada a distância Euclidiana entre os descritores de duas imagens para calcular a similaridade entre imagens diferentes. A RN requer um processo de aprendizagem prévia, que inclui responder correctamente às amostras do treino e às amostras de teste. No fim deste trabalho, será apresentado um estudo sobre os resultados dos dois métodos da classificação.

Equivalência semântica da versão em português do instrumento Abuse Assessment Screen para rastrear a violência contra a mulher grávida

INTRODUÇÃO: Programas de investigação epidemiológica e de ação no âmbito da violência familiar estão em franca ascensão, requerendo instrumentos de aferição adaptados e vertidos para o português. O objetivo do estudo é avaliar a equivalência semântica entre o original em inglês e duas versões para o português do instrumento Abuse Assessment Screen (AAS) usado no rastreamento de casos de violência contra a mulher grávida e recomendar uma versão-síntese para uso corrente. MÉTODOS: O processo de avaliação de equivalência semântica envolveu quatro etapas: tradução, retradução, apreciação formal de equivalência e crítica final através de consultas com especialista na área temática. RESULTADOS: Para cada item do instrumento apresentam-se os resultados relativos às quatro etapas. O texto cobre cada passo do processo que levou à versão final. As duas versões mostraram-se bastante semelhantes, com 14 das 15 assertivas similares, embora a segunda versão tenha se mostrado mais adequada, ainda que para alguns itens tenha sido decidido juntar as duas versões ou mesmo utilizar um item oriundo da versão um. CONCLUSÃO: É importante usar mais de uma versão no processo, em várias etapas de avaliação e de crítica, e discutir a pertinência de se acrescentar uma etapa adicional de interlocução do instrumento com membros da população-alvo.