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…

This paper addresses the problem of contour line extraction from scanned topographic maps in poor condition. A novel method is developed, using knowledge of cartography and graphics to extract contours by removing other layers which overlay the contours, and reconstructing…

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…

In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of…

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 paper presents a formal model for a knowledge repository shared by members of a Virtual Community of Practice (VCPs), describes how the repository can be used to underpin collaborative problem solving, and how to build computer support for such…

This article presents a procedure for constructing a taxonomy of COTS products in the field of Requirements Engineering (RE). The taxonomy and the obtained information reach transcendental benefits to the selection of systems and tools that aid to RE-related actors…

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…