El análisis del contenido matemático en el enfoque lógico semiótico (ELOS). Aplicaciones a la investigación y al desarrollo curricular en didáctica de la matemática

En esta ponencia se analiza la cultura matemática, entendida como un proceso de culturización matemática, y se distinguen y analizan los tres aspectos esenciales que la caracterizan como disciplina científica: el campo conceptual, la fenomenología y la funcionalidad. Se estructura el Análisis del Contenido Matemático desde la perspectiva del Enfoque Lógico Semiótico (ELOS), a partir de la organización de los objetos de la Matemática en campos conceptuales y de los estadios de desarrollo de los mismos. Y se describe la Competencia Matemática Formal (CMF) para los tres campos conceptuales: numérico (aritmético), algebraico y analítico desde la perspectiva disciplinar, tomando como ejemplo el campo conceptual algebraico

Metamorphic testing framework for SQL queries with null values

Trabajo de Fin de Máster en Ingeniería Informática, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2019/2020La falta de información dentro de las bases de datos relacionales expresada mediante valores nulos presenta un problema a la hora de garantizar la calidad de los datos y de las consultas SQL sobre esos datos. Esto ocurre debido a que existen múltiples interpretaciones de los valores nulos y en muchos casos las consultas no consideran que se puedan producir valores nulos como resultado de su evaluación, o bien no reflejan en el código la interpretación correcta de dichos valores. Los valores nulos han estado presentes en las bases de datos desde prácticamente las primeras implementaciones de sistemas de gestión de bases de datos relacionales, pero la implementación del estándar SQL plantea múltiples problemas. Al realizar consultas sobre una base de datos que maneja valores nulos, los resultados pueden no ser los esperados, ya sea por omisión de resultados (falsos negativos) o por resultados incorrectos (falsos positivos). Por esta razón, en este trabajo se propone una herramienta que analice diferentes consultas SQL y permita al desarrollador detectar posibles errores en aquellas consultas que tengan valores nulos utilizando un marco de testing metamórfico. Después de estudiar la bibliografía relacionada sobre pruebas de bases de datos, esta parece ser la primera propuesta que aplica relaciones metamórficas a consultas SQL con valores nulos.The lack of information within relational databases expressed by null values poses important problems when trying to ensure the quality of the data and of the SQL queries evaluated on that data. This occurs because there are multiple interpretations of null values and in many cases the queries either do not consider that null values can occur as a result of their evaluation, or they do not reflect the correct interpretation of these values in the code. Null values have been present in databases since the first implementations of relational database management systems, but the implementation of the SQL standard can generate multiple problems. When querying a database that handles null values, the results may not be produced as expected, either due to the omission of results (false negatives) or incorrect results (false positives). For this reason, this work proposes a tool that analyzes different SQL queries and allows the developer to detect possible errors in those queries that have null values using a metamorphic testing framework. After studying the related literature on database testing, this appears to be the first proposal of the application of metamorphic relationships to SQL queries on null values.Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaTRUEunpu

Narrar para describir; describir para argumentar : La operación lingüístico-cognitiva de la reificación en las sentencias penales de primera instancia

El presente trabajo tiene como propósito estudiar la operación lingüístico-cognitiva que denominamos reificación en un corpus de sentencias elaboradas en el fuero penal de la justicia argentina. Definimos la reificación adoptando la perspectiva teórico-metodológica de la Lingüística Cognitiva, lo que luego permitirá llevar a cabo un análisis de los diversos dispositivos lingüístico-enunciativos que la actualizan. Se demostrará que esta operación en las sentencias penales de primera instancia (TSP) informa acerca de un modo particular de "perspectivizar" las escenas, ya que éstas no serán narradas en un sentido canónico sino, más bien, serán constatadas, descritas o simplemente nombradas a fin de ser incluidas dentro de un "tipo penal"; y así "nomencladas", se transformarán en argumentos destinados a sostener la decisión final o fallo. En tal sentido, las sentencias serán redefinidas postulando un espacio de categorización semántico-pragmático que surge de la intersección de la narración, la descripción y la argumentación. Por último, se interpretarán cuáles son los efectos contextuales que se logran a través de la reificación como operación de atenuación narrativa.This paper aims at studying the cognitive-linguistic operation called reification within a corpus made up of sentences issued by Argentinean criminal courts. We define reification through the theoretical-methodological perspective of Cognitive Linguistics, which will later on allow us to make an analysis of the various linguistic-enunciative tools that carry it out. We will show that this operation in Criminal Sentences from First Instance Court (TSP) is very telling about the specific way to put scenes in "perspective", since these will not be narrated in the canonical sense, but they will rather be checked, described or simply mentioned in order to be included in a "criminal type" and, thus, once "nomenclated", they will become arguments destined to maintain the final decision or ruling. In this way, the sentences will be redefined by proposing a semantic-pragmatic categorization space which springs up from the intersection between narration, description and argumentation. Finally, we will interpret which contextual effects can be achieved through reification as a narrative reduction operation.Documento incorporado en 2018 en el marco del "Programa de becas de experiencia laboral" de la Biblioteca Profesor Guillermo Obiols para estudiantes de Bibliotecología, a partir de un procedimiento técnico de captura de datos desarrollado por el personal del IdIHCS.Facultad de Humanidades y Ciencias de la Educació

Narrar para describir; describir para argumentar: La operación lingüístico-cognitiva de la reificación en las sentencias penales de primera instancia

This paper aims at studying the cognitive-linguistic operation called reification within a corpus made up of sentences issued by Argentinean criminal courts. We define reification through the theoretical-methodological perspective of Cognitive Linguistics, which will later on allow us to make an analysis of the various linguisticenunciative tools that carry it out. We will show that this operation in Criminal Sentences from First Instance Court (TSP) is very telling about the specific way to put scenes in “perspective”, since these will not be narrated in the canonical sense, but they will rather be checked, described or simply mentioned in order to be included in a “criminal type” and, thus, once “nomenclated”, they will become arguments destined to maintain the final decision or ruling. In this way, the sentences will be redefined by proposing a semantic-pragmatic categorization space which springs up from the intersection between narration, description and argumentation. Finally, we will interpret which contextual effects can be achieved through reification as a narrative reduction operation.El presente trabajo tiene como propósito estudiar la operación lingüísticocognitiva que denominamos reificación en un corpus de sentencias elaboradas en el fuero penal de la justicia argentina. Definimos la reificación adoptando la perspectiva teórico-metodológica de la Lingüística Cognitiva, lo que luego permitirá llevar a cabo un análisis de los diversos dispositivos lingüístico-enunciativos que la actualizan. Se demostrará que esta operación en las sentencias penales de primera instancia (TSP) informa acerca de un modo particular de “perspectivizar” las escenas, ya que éstas no serán narradas en un sentido canónico sino, más bien, serán constatadas, descritas o simplemente nombradas a fin de ser incluidas dentro de un “tipo penal”; y así “nomencladas”, se transformarán en argumentos destinados a sostener la decisión final o fallo. En tal sentido, las sentencias serán redefinidas postulando un espacio de categorización semántico-pragmático que surge de la intersección de la narración, la descripción y la argumentación. Por último, se interpretarán cuáles son los efectos contextuales que se logran a través de la reificación como operación de atenuación narrativa.O objetivo do presente trabalho é estudar a operação lingüístico-cognitiva que chamamos de reificação em um corpus de sentenças elaboradas pelas autoridades ou poderes penais da justiça argentina. Definimos a reificação adotando a perspectiva teórico-metodológica da Lingüística Cognitiva, o que depois permitirá fazer uma análise dos diversos dispositivos lingüístico-enunciativos que a atualizam. Demostrar-se-á que esta operação nas sentenças penais de primeira instância (TSP) informa acerca de um modo particular de “perpectivizar” as cenas, dado que elas não serão narradas num sentido canônico, mas serão constatadas, descritas ou simplesmente nomeadas com o objetivo de ser incluídas dentro de um “tipo penal”; e assim “nomencladas”, transformar-se-ão em argumentos que visam suster a decisão final. Neste sentido, as sentenças serão redefinidas postulando um espaço de categorização semánticopragmático que surge da intersecção da narração, a descrição e a argumentação. Por último, se interpretarão quais são os efeitos contextuais atingidos através da reificação como operação de atenuação narrativa

Narrar para describir; describir para argumentar : La operación lingüístico-cognitiva de la reificación en las sentencias penales de primera instancia

El presente trabajo tiene como propósito estudiar la operación lingüístico-cognitiva que denominamos reificación en un corpus de sentencias elaboradas en el fuero penal de la justicia argentina. Definimos la reificación adoptando la perspectiva teórico-metodológica de la Lingüística Cognitiva, lo que luego permitirá llevar a cabo un análisis de los diversos dispositivos lingüístico-enunciativos que la actualizan. Se demostrará que esta operación en las sentencias penales de primera instancia (TSP) informa acerca de un modo particular de "perspectivizar" las escenas, ya que éstas no serán narradas en un sentido canónico sino, más bien, serán constatadas, descritas o simplemente nombradas a fin de ser incluidas dentro de un "tipo penal"; y así "nomencladas", se transformarán en argumentos destinados a sostener la decisión final o fallo. En tal sentido, las sentencias serán redefinidas postulando un espacio de categorización semántico-pragmático que surge de la intersección de la narración, la descripción y la argumentación. Por último, se interpretarán cuáles son los efectos contextuales que se logran a través de la reificación como operación de atenuación narrativa.This paper aims at studying the cognitive-linguistic operation called reification within a corpus made up of sentences issued by Argentinean criminal courts. We define reification through the theoretical-methodological perspective of Cognitive Linguistics, which will later on allow us to make an analysis of the various linguistic-enunciative tools that carry it out. We will show that this operation in Criminal Sentences from First Instance Court (TSP) is very telling about the specific way to put scenes in "perspective", since these will not be narrated in the canonical sense, but they will rather be checked, described or simply mentioned in order to be included in a "criminal type" and, thus, once "nomenclated", they will become arguments destined to maintain the final decision or ruling. In this way, the sentences will be redefined by proposing a semantic-pragmatic categorization space which springs up from the intersection between narration, description and argumentation. Finally, we will interpret which contextual effects can be achieved through reification as a narrative reduction operation.Documento incorporado en 2018 en el marco del "Programa de becas de experiencia laboral" de la Biblioteca Profesor Guillermo Obiols para estudiantes de Bibliotecología, a partir de un procedimiento técnico de captura de datos desarrollado por el personal del IdIHCS.Facultad de Humanidades y Ciencias de la Educació

Semantic Analyzer for Spanish, Using Ontologies

Analizar un texto de algún tema particular en lenguaje natural y convertirlo a una estructura entendible por las computadoras, no es tarea trivial. En parte porque en el proceso de conversión se debe comprobar la gramática, semántica, y la pragmática, al menos. Éste es uno de los retos de este proyecto. Con el abaratamiento de las computadoras y el acceso a una gran cantidad de documentos (por ejemplo, en Internet), resulta posible (y deseable) utilizar una computadora para analizar información relevante en documentos que están escritos en lenguaje natural, específicamente en Español. Los analizadores actuales utilizan principalmente la sintaxis, por ejemplo., atienden a las reglas gramaticales del lenguaje en español, pero no toman en cuenta su semántica. Por esta razón, nos hemos dado a la tarea de construir analizadores que usen tanto la información gramatical como la información semántica. Otro reto es la extracción automática de conocimiento en textos. Las herramientas necesarias para esta conversión son etiquetadores, analizadores sintácticos, morfológicos y semánticos. El lenguaje natural tiene como característica inherente la ambigüedad, que en los humanos se resuelve usando el sentido común; sin embargo, estás no son parte de las computadoras. Por ejemplo, “la puerta es amarilla”, en este caso “puerta” se puede referir a la puerta de un carro o a la puerta de una casa, pero ¿cómo puede saber esto la computadora? En este artículo se muestra una herramienta de análisis semántico que permite a la computadora resolver estos problemas.Este artículo presenta el diseño e implementación de un analizador semántico que identifica la cercanía semántica entre las palabras de una oración usando una ontología. Una definición común de ontología es una especificación explícita y formal de una conceptualización compartida. Esta ontología puede ser una herramienta importante al representar un texto descriptivo y analizar textos en español. El analizador semántico extrae datos de una ontología de conocimiento común que consta de relaciones, conceptos y valores almacenados con base en su significado. La ontología básica comienza con datos cualitativos alimentados manualmente por un usuario. El analizador responde "verdadero" si una oración está semánticamente relacionada o "falso" si no lo es. Su utilidad radica en hacer preguntas en lenguaje natural a una biblioteca digital y para que los robots de servicios entiendan el significado de la acción a realizar. Se ha probado su eficiencia usando el corpus CONLL v.2009 obteniéndose una buena precisión en sus resultados

¿Tiene carácter predictivo la estructura predicativa [verbo + objeto directo]? hacia una caracterización sintáctico semántica para propósitos de análisis de sentimientos

RESUMEN: Tradicionalmente, el análisis de sentimientos se ha centrado en la clasificación de textos cortos con unidades lingüísticas simples como el adjetivo. Sin embargo, otras unidades, como elementos predicativos, podrían ser discriminantes de elementos discursivos más grandes como las noticias de prensa. Así, en este artículo, se caracteriza la estructura predicativa [verbo + objeto directo] en un corpus de noticias sobre pobreza en tres diarios colombianos. Se concluye que este tipo de unidades tienen un carácter discriminante en el dominio de este corpus.ABSTRACT: Traditionally, sentiment analysis has focused on processing less complex textual units, as sentences, through detailed characterization of their components like adjectives. However, there are other types of units, such as predicative structures, that might be discriminant elements of more complex discursive units like the news. Thus, in this article, word occurrences of the predicative structure [verb + direct object] are extracted and characterized from a corpus on poverty compiled from Colombian newspapers. The results demonstrate that these units are discriminant and might help with polarity classification

Cálculo de la estructura de un texto en un sistema de procesamiento de lenguaje natural

Calcular la estructura lingüística de un texto es fundamental en cualquier sistema de procesamiento de lenguaje natural. Para eso, fenómenos más allá de la barrera de la sentencia deben ser considerados. En particular, dos estudios deben ser abordados en el procesamiento de un texto: la cohesión textual y la coherencia textual. En este trabajo definimos una representación para la estructura de un resumen en lengua portuguesa considerado como un fenómeno lingüístico. La representación fue obtenida a partir del estudio de resúmenes reales y de la verificación de relaciones entre sentencias en el texto. Consideramos que este tipo de representación pude ser utilizada para otros textos, a que es definida en función de relaciones de cohesión y coherencia. El principal aspecto considerado en este trabajo para la construcción de la estructura textual es la cohesión a través de la resolución de anáforas definidas tanto pronominales como frases nominales definidas. Presentamos ejemplos de texto reales y su tratamiento en el marco teórico propuesto.Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Domain-specific language for energy consumption curves processing

El cambio climático es un gran problema a nivel global. Esto preocupa tanto a ciudadanos como a científicos que ponen sus esfuerzos en reducir las emisiones contaminantes y el alto consumo energético de nuestras ciudades y edificios. Para ello los científicos necesitan herramientas potentes para realizar sus investigaciones y poder mejorar la eficiencia energética. Por estas razones, se crea un lenguaje específico de dominio, con su intérprete que dota a los científicos de herramientas potentes y simples para trabajar con curvas de consumo energético y así poder realizar cálculos sobre ellas fácilmente sin necesidad de saber cómo realizar dichos cálculos. El lenguaje estará completamente integrado en el editor Eclipse y se va a utilizar para su desarrollo “Xtext” y “Java” tanto para el lenguaje como para el intérprete. El intérprete utilizará ficheros con extensión “.ecc” de forma que se podrán guardar códigos fácilmente para tareas concretas y reutilizarlos. De esta forma se quiere facilitar el trabajo de los científicos mediante herramientas simples, pero a su vez potentes