In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Based on that study and considering that in 3APL…

A grande maioria dos Sistemas de Gerenciamento de Aprendizagem predominantemente em uso no ensino com suporte computacional são estáticos e lineares, ou seja, apresentam o mesmo conteúdo instrucional para os diversos estudantes sem considerar o nível de aquisição de conhecimentos…

As a contribution to consider software projects to be risk investments, it is important the full standardization of either the planning methodology (as a subset of project management methodology) and the effort estimation method. We think there is important and…

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…

The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…

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…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

En un contexto educativo, hay esencialmente dos modos de aprovechar la capacidad de proceso y almacenamiento de una computadora: a) producir sistemas basados en el conocimiento (tales como servicios de Internet WWW, enciclopedias multimedia, etc.) en los que el usuario…

En este trabajo se propone una metodología para mejorar las predicciones de incendios forestales. Utilizando un simulador ya desarrollado, se utiliza un algoritmo genético para realizar una búsqueda efectiva de parámetros de entrada tal que estos parámetros logren una buena…