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…

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…

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…

In the last years there has been an increasing demand of a variety of logical systems, prompted
mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive
Systems (LDS) were developed as a °exible methodology…

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…

The paper presents a tool that aid to implement applications that using more than one programming language. These applications are named multilanguages and when the composed languages represent different paradigms also are entitled multiparadigms. The programming multilanguage and multiparadigm technique…

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.

Los agentes pueden definirse como componentes de software (programas) activos que perciben, razonan y se comunican a través de un protocolo predefinido. Muy generalmente, como en el caso de la World Wide Web, los agentes no son desarrollados en aislamiento…

In this paper, we present an approach to student's evaluation in a well-defined domain based on a semantic network. A similarity matrix based on the semantic memory structure of humans is used to build a semantic distance model in order…

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…