O direito na teoria crítica dos sistemas: da justiça autossubversiva à crítica imanente do direito

O recente desenvolvimento de uma teoria crítica dos sistemas, de Gunther Teubner a Andreas Fischer-Lescano, abriu novos horizontes teóricos para aqueles que se propõe a estudar a sociedade e o sistema jurídico. A construção de uma teoria crítica sob condições sistêmicas possibilitou o uso conjunto de temas e conceitos teóricos provenientes da teoria crítica da primeira geração da Escola de Frankfurt (crítica imanente, antagonismos sociais, reificação, dialética do esclarecimento) e da teoria dos sistemas (paradoxo, sistema, sociedade mundial). Partindo disso, o sistema jurídico foi analisado nas dimensões da justiça (como fórmula contingente e transcendente) e de sua crítica imanente como atitude transcendente, especialmente em face de sua tendência em se autorreproduzir como ordem social reificada que gera injustiça pelos excessos de justiça. Para alcançar essas conclusões, este trabalho se propôs a analisar o cenário da sociedade moderna no qual nasce a teoria crítica dos sistemas (Parte 1), lançando bases para os aspectos estruturais e semânticos sobre os quais ela se apoia. Seguidamente, foram estabelecidos os pressupostos teóricos básicos da teoria crítica da Escola de Frankfurt e da teoria dos sistemas de Luhmann (Parte 2) com o fim específico de colher os elementos essenciais à construção de uma teoria crítica dos sistemas voltada para o estudo do sistema jurídico. Logrado esse ponto, focou-se a análise do sistema jurídico e de sua evolução até alcançar sua atual condição na forma de um direito global na sociedade fragmentada (Parte 3). A partir disso a justiça autossubversiva e a crítica imanente do direito foram abordadas em seus aspectos essenciais e possibilitadores de uma autotranscendência sistêmica, capaz de tornar o direito mais responsivo com relação ao seu ambiente, limitando a irracionalidade racional inerente a uma ordem social reificada. A presente dissertação propõe dar mais um passo no sentido do desenvolvimento de uma teoria crítica dos sistemas aplicada ao direito, diagnosticando os dilemas contemporâneos e ao mesmo tempo, apontando os desafios existentes numa sociedade mundial paradoxalmente marcada pela possibilidade de hipertrofia sistêmica das ordens sociais reificadas e pelos processos de constitucionalização que buscam limitar essas ordens.

Koala: sistema para integração de métodos de predição e análise de estruturas de proteína

A Biologia Computacional tem desenvolvido algoritmos aplicados a problemas relevantes da Biologia. Um desses problemas é a Protein Structure Prediction (PSP). Vários métodos têm sido desenvolvidos na literatura para lidar com esse problema. Porém a reprodução de resultados e a comparação dos mesmos não têm sido uma tarefa fácil. Nesse sentido, o Critical Assessment of protein Structure Prediction (CASP), busca entre seus objetivos, realizar tais comparações. Além disso, os sistemas desenvolvidos para esse problema em geral não possuem interface amigável, não favorecendo o uso por não especialistas da computação. Buscando reduzir essas dificuldades, este trabalho propões o Koala, um sistema baseado em uma plataforma web, que integra vários métodos de predição e análises de estruturas de proteínas, possibilitando a execução de experimentos complexos com o uso de fluxos de trabalhos. Os métodos de predição disponíveis podem ser integrados para a realização de análises dos resultados, usando as métricas RMSD, GDT-TS ou TM-Score. Além disso, o método Sort by front dominance (baseado no critério de optimalidade de Pareto), proposto nesse trabalho, consegue avaliar predições sem uma estrutura de referência. Os resultados obtidos, usando proteínas alvo de artigos recentes e do CASP11, indicam que o Koala tem capacidade de realizar um conjunto relativamente grande de experimentos estruturados, beneficiando a determinação de melhores estruturas de proteínas, bem como o desenvolvimento de novas abordagens para predição e análise por meio de fluxos de trabalho.

Estudos comparativos sobre a elaboração de mapas conceituais durante processo de avaliação da aprendizagem: identificando a importância das demandas e do efeito de preparação

Os mapas conceituais são ferramentas gráficas que possibilitam a representação dos modelos mentais do aluno. Devido a essa capacidade, o mapa conceitual pode ser utilizado como ferramenta avaliativa de conhecimento. O uso dessa ferramenta em sala de aula gera cargas na memória de trabalho que podem ser referentes ao conteúdo (carga intrínseca) ou à forma como esse recurso está sendo trabalhado na sala de aula (carga extrínseca). Este trabalho tem por objetivo investigar como os mapas conceituais auxiliam na avaliação da aprendizagem da disciplina Ciências da Natureza: Ciência, Cultura e Sociedade ofertada na Universidade de São Paulo para alunos ingressantes de diversos cursos de graduação (n = 64) durante o período de 2013.1 sobre o conteúdo de Mudanças Climáticas. Nas turmas avaliadas o mapa conceitual poderia ser utilizado como ferramenta de preparação para prova (MCPREP) como também era utilizado como parte da avaliação formal da disciplina (MC-AVAL). Essa pesquisa se constitui de três Estudos que investigam: 1. As diferenças de perfis de mapas conceituais obtidos na condição de MC-PREP x MCAVAL; 2. Se o grupo de alunos que fizeram MC-PREP tiveram MC-AVAL com perfil diferente daqueles que não fizeram; 3. A existência de uma correlação entre as características do MC-AVAL com o conhecimento declarativo dos estudantes. Os mapas conceituais foram avaliados considerando aspectos estruturais e semânticos. As metodologias das análises realizadas foram retiradas de trabalhos presente na literatura. Entre os aspectos semânticos estavam o uso de materiais instrucionais, a natureza das proposições, a presença de erros e a aderência a pergunta focal. Além dessas análises, foi verificada a presença de agrupamentos naturais que pudessem ser explicados com uso das categorias teóricas. A análise dos resultados indica que os mapas conceituais das condições MC-PREP e MC-AVAL são bastante distintas entre si, pois atendiam a objetivos educacionais diferentes. No Estudo 2 verificou-se que o MC-PREP não influenciou fortemente a elaboração do MC-AVAL, pois a diminuição da carga extrínseca provocada pela elaboração de MC-PREP não foi suficiente para mostrar diferenças entre os grupos, já que ambos estavam altamente treinados na técnica de mapeamento conceitual. Por fim, no Estudo 3, o principal fator correlacionando o conhecimento declarativo com a complexidade dos mapas conceituais foi o percentual de proposições apropriadas. As conclusões do trabalho são que a demanda de elaboração do mapa conceitual é realmente orientadora de produto, a elaboração de um mapa conceitual a mais em um grupo bem treinado na técnica não altera seu desempenho e o principal meio de avaliar os mapas conceituais deve ser a leitura de suas proposições constituintes.

Enriching the integration of semantic resources based on WordNet

In this paper we present the enrichment of the Integration of Semantic Resources based in WordNet (ISR-WN Enriched). This new proposal improves the previous one where several semantic resources such as SUMO, WordNet Domains and WordNet Affects were related, adding other semantic resources such as Semantic Classes and SentiWordNet. Firstly, the paper describes the architecture of this proposal explaining the particularities of each integrated resource. After that, we analyze some problems related to the mappings of different versions and how we solve them. Moreover, we show the advantages that this kind of tool can provide to different applications of Natural Language Processing. Related to that question, we can demonstrate that the integration of semantic resources allows acquiring a multidimensional vision in the analysis of natural language.

IARG-AnCora: anotación de los corpus AnCora con argumentos implícitos

IARG-AnCora tiene como objetivo la anotación con papeles temáticos de los argumentos implícitos de las nominalizaciones deverbales en el corpus AnCora. Estos corpus servirán de base para los sistemas de etiquetado automático de roles semánticos basados en técnicas de aprendizaje automático. Los analizadores semánticos son componentes básicos en las aplicaciones actuales de las tecnologías del lenguaje, en las que se quiere potenciar una comprensión más profunda del texto para realizar inferencias de más alto nivel y obtener así mejoras cualitativas en los resultados.

Improving subjectivity detection using unsupervised subjectivity word sense disambiguation

En este trabajo se presenta un método para la detección de subjetividad a nivel de oraciones basado en la desambiguación subjetiva del sentido de las palabras. Para ello se extiende un método de desambiguación semántica basado en agrupamiento de sentidos para determinar cuándo las palabras dentro de la oración están siendo utilizadas de forma subjetiva u objetiva. En nuestra propuesta se utilizan recursos semánticos anotados con valores de polaridad y emociones para determinar cuándo un sentido de una palabra puede ser considerado subjetivo u objetivo. Se presenta un estudio experimental sobre la detección de subjetividad en oraciones, en el cual se consideran las colecciones del corpus MPQA y Movie Review Dataset, así como los recursos semánticos SentiWordNet, Micro-WNOp y WordNet-Affect. Los resultados obtenidos muestran que nuestra propuesta contribuye de manera significativa en la detección de subjetividad.

Canales, sifones y almenaras: el impacto ambiental de las infraestructuras del Canal de Isabel II (Madrid)

El presente artículo tiene como finalidad, valorar el impacto ambiental de las conducciones del Canal de Isabel II en el contexto del paisaje. Partimos de la idea según la cual, las infraestructuras del Canal de Isabel II, y más que formar parte del paisaje por el que se extienden, son el propio paisaje. Nuestra zona de estudio es el noroeste de la Comunidad de Madrid (síntesis de la interacción de los propios agentes naturales, de la ocupación humana y de los usos del suelo), área a la que nos aproximarnos a través de la investigación de la integración paisajística, entendida ésta como una estrategia de intervención en el territorio, que tiene como objetivo principal orientar las transformaciones del paisaje o corregir las ya realizadas, para conseguir su adaptación al propio paisaje. En definitiva, nos encontramos ante la necesidad de ajustar un objeto o actuación territorial a las características fisonómicas de un paisaje dado, o de algunos de sus componentes, así como a su carácter y a sus contenidos semánticos.

Creación automática de sistemas de búsqueda de respuestas en dominios restringidos

Los sistemas de búsqueda de respuestas (BR) se pueden considerar como potenciales sucesores de los buscadores tradicionales de información en la Web. Para que sean precisos deben adaptarse a dominios concretos mediante el uso de recursos semánticos adecuados. La adaptación no es una tarea trivial, ya que deben integrarse e incorporarse a sistemas de BR existentes varios recursos heterogéneos relacionados con un dominio restringido. Se presenta la herramienta Maraqa, cuya novedad radica en el uso de técnicas de ingeniería del software, como el desarrollo dirigido por modelos, para automatizar dicho proceso de adaptación a dominios restringidos. Se ha evaluado Maraqa mediante una serie de experimentos (sobre el dominio agrícola) que demuestran su viabilidad, mejorando en un 29,5% la precisión del sistema adaptado.

Documentación de modelos y flujos de trabajo: el siguiente reto en el manejo de información ecológica

Los modelos ecológicos se han convertido en una pieza clave de esta ciencia. La generación de conocimiento se consigue en buena medida mediante procesos analíticos más o menos complejos aplicados sobre conjuntos de datos diversos. Pero buena parte del conocimiento necesario para diseñar e implementar esos modelos no está accesible a la comunidad científica. Proponemos la creación de herramientas informáticas para documentar, almacenar y ejecutar modelos ecológicos y flujos de trabajo. Estas herramientas (repositorios de modelos) están siendo desarrolladas por otras disciplinas como la biología molecular o las ciencias de la Tierra. Presentamos un repositorio de modelos (ModeleR) desarrollado en el contexto del Observatorio de seguimiento del cambio global de Sierra Nevada (Granada-Almería). Creemos que los repositorios de modelos fomentarán la cooperación entre científicos, mejorando la creación de conocimiento relevante que podría ser transferido a los tomadores de decisiones.

Intelligent Decision-Making System Frameworks for a Digital Plan of Work: A Theoretical Investigation for the Construction Industry

The construction industry is characterised by fragmentation and suffers from lack of collaboration, often adopting adversarial working practices to achieve deliverables. For the UK Government and construction industry, BIM is a game changer aiming to rectify this fragmentation and promote collaboration. However it has become clear that there is an essential need to have better controls and definitions of both data deliverables and data classification. Traditional methods and techniques for collating and inputting data have shown to be time consuming and provide little to improve or add value to the overall task of improving deliverables. Hence arose the need in the industry to develop a Digital Plan of Work (DPoW) toolkit that would aid the decision making process, providing the required control over the project workflows and data deliverables, and enabling better collaboration through transparency of need and delivery. The specification for the existing Digital Plan of Work (DPoW) was to be, an industry standard method of describing geometric, requirements and data deliveries at key stages of the project cycle, with the addition of a structured and standardised information classification system. However surveys and interviews conducted within this research indicate that the current DPoW resembles a digitised version of the pre-existing plans of work and does not push towards the data enriched decision-making abilities that advancements in technology now offer. A Digital Framework is not simply the digitisation of current or historic standard methods and procedures, it is a new intelligent driven digital system that uses new tools, processes, procedures and work flows to eradicate waste and increase efficiency. In addition to reporting on conducted surveys above, this research paper will present a theoretical investigation into usage of Intelligent Decision Support Systems within a digital plan of work framework. Furthermore this paper will present findings on the suitability to utilise advancements in intelligent decision-making system frameworks and Artificial Intelligence for a UK BIM Framework. This should form the foundations of decision-making for projects implemented at BIM level 2. The gap identified in this paper is that the current digital toolkit does not incorporate the intelligent characteristics available in other industries through advancements in technology and collation of vast amounts of data that a digital plan of work framework could have access to and begin to develop, learn and adapt for decision-making through the live interaction of project stakeholders.

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

Anselmo, crítico de Roscelino

Anselmo foi, como o seria um pouco mais tarde Abelardo, um dos mais eminentes adversários de Roscelino de Compiègne, considerado geralmente como o iniciador da posição dita vocalista no que diz respeito ao estatuto ontológico dos termos universais. É sobretudo no De incarnatione verbi que Anselmo desenvolve os seus argumentos contra as implicações teológicas e trinitárias das doutrinas de Roscelino, «herético da dialéctica», que defende que «as substâncias universais são simples palavras» (flatus vocis). Distante embora dos termos em que, desde o final do século XI, se configura a chamada «querela dos universais» (tributária do corpus da logica vetus, e designadamente das Categorias e do Peri hermeneias de Aristóteles, a que se juntam as Institutiones de Prisciano), a crítica de Anselmo a Roscelino, em si mesma e nos seus pressupostos, incide no entanto sobre alguns dos aspectos, dialécticos e semânticos, a que o debate nas escolas dará maior relevo. A essa luz, analisaremos aqui a crítica anselmiana à posição de Roscelino – que não distingue «o cavalo da sua cor», e que «não compreende como vários homens são um único homem na espécie» –, em particular no que diz respeito à relação entre substância e acidente (ou qualidade, segundo a gramática de Prisciano) e à semântica do nome.

Algunas alternancias casuales

En nuestro dialecto se registra un fenómeno con algunos verbos; consiste en que un verbo ditransitivo pasa a comportarse como transitivo, más precisamente, el primer objeto (OD) se elide y el segundo (OI) se expresa en acusativo: 1) Le robaron dinero a Juan; 2) Lo robaron a Juan. La hipótesis que formulamos para intentar explicar este cambio tiene varios aspectos: Se trata de un fenómeno que se presenta en nuestro dialecto debido a que admite doblado de clíticos acusativos. Se produciría un cambio en la estructura argumental del verbo, dando lugar a dos elementos léxicos distintos. Desde el punto de vista de Jaume Mateu i Fontanals (2002)1 tendríamos dos constructos semánticos con diferencias sintácticas y semánticas. Cambia el grado de afectación de los argumentos, si consideramos que el evento expresado por los verbos ditransitivos relaciona tres entidades, una entidad Causante, una afectada directamente y una tercera afectada en forma indirecta. Este cambio se origina en el hecho de que en español solo la 3ra. persona tiene marca de caso para acusativo (lo/la) distinta del dativo (le), mientras que en 1ra. y 2da. persona la misma forma expresa ambos casos, me y te, respectivamente. 3) Me/te robaron dinero; 4) Me/te robaron