Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…

This paper summarizes the main results developed in the author's PhD Thesis.
The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework…

This essay is based on a previous “regression” testing knowledge, black box testing and user graphic interfaces testing. Besides, due to the fact that the testing life cycle is inside the software life cycle, the suggested focus promotes existing test…

The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…

The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency.
Modeling…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…

La idea de una Centroamérica unida nace desde la independencia misma el 15 de septiembre de 1821. La integración regional ha sido impulsada en numerosas oportunidades; sin embargo, no todos los países demuestran el mismo interés por alcanzar este objetivo.…

Las trampas adhesivas reducen el tiempo de trabajo y el operador sólo tiene que cambiarlas y llevar a cabo el recuento de insectos muertos. Pueden esperarse diferencias en los recuentos entre los operadores debido a un factor personal o "actitud"…

Este trabalho mostra uma forma de pensar concorrente. São utilizados algoritmos de grafos, algoritmo do menor caminho, para mostrar desde a especificação até a implementação de algoritmos concorrentes. Objetiva-se mostrar uma outra forma de ensinar a concorrência, sua teoria, propriedades…

Este artigo apresenta um algoritmo Cultural Extendido para o problema do Despacho Econômico. O Algoritmo Cultural têm cinco categorias de conhecimento. Este trabalho visa demonstrar a aplicação do conhecimento histórico, que objetiva monitorar a busca e armazenar os eventos importantes…