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…

Artificial Intelligence has long dealt with the issue of finding a suitable formalization for reasoning with incomplete and potentially inconsistent information. Defeasible argumentation [SL92,CML00,PraVre99] has proven to be a successful approach in many respects, since it naturally resembles many aspects…

A Síntese de Redes de Equipamentos de Transferência de Massa visa à redução da emissão de poluentes industriais através da integração de processos. Nesta integração, o processo é otimizado do ponto de vista do consumo de agentes de transferência de…

Conhecer as características térmicas dos materiais é extremamente importante para o desenvolvimento de um processo de secagem, pois propicia melhor eficiência operacional, além de melhorar a qualidade do produto final. A literatura fornece isotermas de várias fibras naturais de algodão,…

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…

The Sami people have struggled for centuries to maintain their culture in spite of pressures against it from colonialism. The formal education systems of Norway and Finland have acted in discord with Sami decision-making since their inception. In response to…

Research in decision making has identified the importance of prior knowledge and heuristics on decision making behaviour. These develop with experience in a fashion similar to how domain experts develop specialized knowledge structures and heuristic reasoning patterns. This research is…

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 aim of this study is to test the assumption that the depictions of ancient boxing found on Attic Black and Red Figure pottery are accurate. Due to the scarcity of ancient written material and physical evidence, most of our…