Knowledge dynamics in a khepera robots’ application

The theory change area have defined several operators trying to model the dynamic of knowledge. The goal of this work is to introduce a preprocessor of perceptions that could be part of an agent. The purpose of the preprocessor is to select an adequate change operator to store the perceptions that the agent perceives from the environment where their activities are performed. An agent receives perceptions, and classifies them according to how they were obtained by him/her. Once are the perceptions classified, the preprocessor selects one of the change operators to store the new information in the belief base. Then the preprocessor of perceptions sends the selected method and the perceptions to a change machine in the agent. When the change machine receives the mentioned inputs, it interacts with the belief base of the agent to store the new information.VIII Workshop de Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

An comparative analysis of different models of belief revision using information from multiple sources

In this work we analyze the problem of knowledge representation in a collaborative multi-agent system where agents can obtain new information from others through communication. Namely, we analyze several approaches of belief revision in multi-agent systems. We will describe different research lines in this topic and we will focus on Belief Revision using Information from Multiple Sources. For this, we are going to accomplish a comparative analysis of different models of belief revision that use information from multiple sources.Workshop de Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI

An axiomatic characterization of temporalised belief revision in the law

This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and an axiomatic characterisation by representation theorems are given

Temporalised belief revision in the law

This paper presents a belief revision operator for legal systems that considers time intervals. This model relates techniques about belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system

Sistema de tutorías en computación : Logros, dificultades y desafíos en el DCIC

En los últimos 10 años el Departamento de Ciencias e Ingeniería de la Computación de la Universidad Nacional del Sur ha invertido esfuerzo en la creación, desarrollo y consolidación de un sistema de tutorías. En este artículo se muestra una breve descripción de su gestación y crecimiento. Además, se muestra el trabajo realizado, enumerando las líneas de acción ejecutadas en pos de ayudar en la adaptación, curso y egreso de los alumnos, y en pos de despertar el interés de los estudiantes de nivel medio en las Ciencias de la Computación. En este trabajo también se describen los logros obtenidos, las dificultades encontradas y los desafíos planteados a futuro por el sistema.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Confianza y reputación de agentes en sistemas multiagente para entornos dinámicos

Esta línea de investigación se enfoca en el área de confianza y reputación de agentes en sistemas multi-agente. Su objetivo general es el análisis, desarrollo y formalización de la dinámica de la confianza y reputación de los agentes, a partir de la interacción con sus pares en el marco de un sistema multi-agente (SMA). Esto involucra el desarrollo y formalización de técnicas de representación y actualización del grado de confianza y de reputación de un agente, y también, la integración de estas técnicas con mecanismos de razonamiento automático y dinámica de creencias. En particular, se espera avanzar en el estudio y desarrollo de formalismos para aplicaciones de naturaleza dinámica y distribuida, que combinen mecanismos de confianza, dinámica de creencias y argumentación.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informática (RedUNCI

Confianza y reputación de agentes en sistemas multiagente para entornos dinámicos

Esta línea de investigación se enfoca en el área de confianza y reputación de agentes en sistemas multi-agente. Su objetivo general es el análisis, desarrollo y formalización de la dinámica de la confianza y reputación de los agentes, a partir de la interacción con sus pares en el marco de un sistema multi-agente (SMA). Esto involucra el desarrollo y formalización de técnicas de representación y actualización del grado de confianza y de reputación de un agente, y también, la integración de estas técnicas con mecanismos de razonamiento automático y dinámica de creencias. En particular, se espera avanzar en el estudio y desarrollo de formalismos para aplicaciones de naturaleza dinámica y distribuida, que combinen mecanismos de confianza, dinámica de creencias y argumentación.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informática (RedUNCI

Reformulación del modelo Linda para compartir conocimiento en sistemas multi-agente

The aim of this work is to analyze the knowledge interchange on multi-agent systems using shared knowledge areas. The project involves the analysis and reformulation of some aspects of the Linda model, adding new model level features. This work proposes the idea of distributed tuples spaces, offering the possibility of coexistence among different tuples spaces with distinct features, being stored in remote sites. This distributed model requires the definition of new operations whose domain and range are tuples spaces, and the formulation of access constraints for the agentsRed de Universidades con Carreras en Informática (RedUNCI

Bases de conocimiento en sistemas multi-agente

Esta línea de investigación tiene como objetivo analizar los distintos operadores de mezcla de múltiples fuentes de información desde diferentes teorías. El proyecto involucra el análisis de los operadores de mezcla de la teoría de Revisión de Creencias, Argumentación y desde las Lógicas proposicional y posibilística. En este trabajo, en primer lugar se describen algunos operadores de mezcla desde las teorías ya mencionadas. En base a estas alternativas se propondrá relacionar estos operadores entre sí, y se propondrá redefinir sus conceptos orientando los comportamientos de los mismos a los sistemas multi-agente.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI