Notions of relevance for modeling the dynamics of belief

We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed. The notions of relevance proposed here are shown to be good candidates for modeling the process of belief revision.Eje: Programación lógicaRed de Universidades con Carreras en Informática (RedUNCI

Belief revision and relevance

The aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change operators and we show that the contraction operations of the AGM model can be modeled through (ir)relevance relations and vice versa.Eje: Aspectos teóricos de la inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

Predicción del desempeño de un usuario en el juego "Kids Play Math"

Con el advenimiento de la era de la información, un gran número de sistemas informáticos cuenta con la posibilidad de almacenar datos a partir de las distintas ejecuciones y generar cierto feedback para luego realizar minerí a de datos sobre los mismos. Un caso particular de esto último son los juegos informáticos aplicados a educación. El presente trabajo involucra la implementación de herramientas que faciliten la predicción del desempeño de un jugador (de 3 a 5 años de edad) basadas en el juego educativo "KPM: Kids Play Math" mediante la aplicación de técnicas de aprendizaje automático para el etiquetado de datos secuenciales. Esto último se realiza en base a la historia de cada jugador y tomando un modelo construido a partir de un conjunto de entrenamiento. En particular, este trabajo ha dado como resultado herramientas novedosas capaces de: (1) generar casos de entrenamiento a partir de logs del juego previamente procesados y (2) procesar nuevos conjuntos de datos con el fin de predecir etiquetas que anticipen el desempeño de un jugador.Trabajo final de carreraSociedad Argentina de Informática e Investigación Operativa (SADIO

Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial

Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión.Eje: Lenguajes de programaciónRed de Universidades con Carreras en Informática (RedUNCI

Predicción del desempeño de un usuario en el juego "Kids Play Math"

Con el advenimiento de la era de la información, un gran número de sistemas informáticos cuenta con la posibilidad de almacenar datos a partir de las distintas ejecuciones y generar cierto feedback para luego realizar minerí a de datos sobre los mismos. Un caso particular de esto último son los juegos informáticos aplicados a educación. El presente trabajo involucra la implementación de herramientas que faciliten la predicción del desempeño de un jugador (de 3 a 5 años de edad) basadas en el juego educativo "KPM: Kids Play Math" mediante la aplicación de técnicas de aprendizaje automático para el etiquetado de datos secuenciales. Esto último se realiza en base a la historia de cada jugador y tomando un modelo construido a partir de un conjunto de entrenamiento. En particular, este trabajo ha dado como resultado herramientas novedosas capaces de: (1) generar casos de entrenamiento a partir de logs del juego previamente procesados y (2) procesar nuevos conjuntos de datos con el fin de predecir etiquetas que anticipen el desempeño de un jugador.Trabajo final de carreraSociedad Argentina de Informática e Investigación Operativa (SADIO

Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial

Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión.Eje: Lenguajes de programaciónRed de Universidades con Carreras en Informática (RedUNCI

Language modeling tools for massive historical OCR post-processing

Upon these days, there is a large number of available historical documentary collections that have not been exploited to extract information. Many efforts are being made to digitize these volumes and make them available for digital platforms. However, various obstacles appear in the task of processing their content. Due to the deterioration of documents and other factors such as the different dialects and language variants, the quality of the digitizations is usually low. By means of NLP tools it is possible to increase the quality of texts. The current proposal consists in the employment of NLP tools, particularly neural language models, for processing the output of different OCR mechanisms. Important improvements in the quality of the texts are expected, as this has been the case in many related tasks. The ultimate purpose of this work is the use of the resulting digitized texts in information retrieval (IR) and information extraction (IE) platforms.Sociedad Argentina de Informátic

Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial

Entre las propiedades esperadas para un lenguaje declarativo ideal podemos destacar la abstracción de control. En un programa, condicionar los resultados al orden de ejecución secuencial nos lleva a realizar supuestos que van más allá de su verdadero significado lógico. Presentamos un lenguaje lógico concurrente que permitirá liberarnos de estas imposiciones de control que desvirtúan a los lenguajes lógicos secuenciales (PROLOG). En este trabajo, analizamos las características del lenguaje presentado, así como su implementación mediante un metaintérprete PROLOG. Mostramos las cláusulas con guardas, sus componentes y significado lógico. Comparamos la semántica operacional del nuevo modelo con la de PROLOG, lo que nos llevará al estudio de la semántica de procesos, del matching, del chequeo de guardas y de la interpretación don't care de no determinismo. Describimos un algoritmo de planificación que permite atender pro.cesos derivados de la computación de manera ecuánime y respetando las restricciones impuestas por el programador, quien dispondrá de herramientas especiales para controlar la evaluación de las consultas. Finalmente damos una serie de programas como ejemplo para investigar nuevas técnicas y aplicaciones que pasan a ser posibles gracias a la potencialidad del lenguaje en cuestión.Eje: Lenguajes de programaciónRed de Universidades con Carreras en Informática (RedUNCI

Intelligent methods for information access in context: The role of topic descriptors and discriminators

Successful access to information sources on the Web depends on effective methods for identifying the needs of a user and making relevant information resources available when needed. This paper formulates a theoretical framework for the study of context-drivenWeb search and proposes new methods for learning query terms based on the user task. These methods use an incrementally-retrieved, topic-dependent selection of Web documents for term-weight reinforcement reflecting the aptness of the terms in describing and discriminating the topic of the user context. Based on this framework, we propose an incremental search algorithm for information retrieval agents that has the potential to improve significantly over the traditional IR techniques. The new algorithm learns new descriptors by searching for terms that tend to occur often in relevant documents, and learns good discriminators by identifying terms that tend to occur only in the context of the given topic. We discuss the technical challenges posed by this new framework, outline our agent system architecture, and present an evaluation of the proposed techniques.Red de Universidades con Carreras en Informática (RedUNCI

Intelligent algorithms for reducing query propagation in thematic P2P search

Information retrieval is a relevant topic in our days, espe-cially in distributed systems where thousands of participants store and share large amounts of information with other users. The analysis, development and testing of adaptive search algorithms is a key avenue to exploit the capacity of P2P systems to lead to the emergence of semantic communities that are the result of the interaction between participants. In particular, intelligent algorithms for neighbor selection should lead to the emergence of efficient communication patterns. This paper presents new algorithms which are specifically aimed at reducing query propagation overload through learning peers’ interests. Promising results were obtained through different experiments designed to test the reduction of query propagation when performing thematic search in a distributed environment.XIV Workshop agentes y sistemas inteligentes.Red de Universidades con Carreras en Informática (RedUNCI