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…

When certain enterprise domain needs to make an unusual decision, it will probably require new kind of information. If the interaction model among domains cannot be defined because the decision scenarios are unpredictable, the system itself must search the required…

The proposal of this research line is the search for alternatives to the resolution of complex problems where human knowledge should be apprehended in a general fashion. In particular, the activities developed so far can be included in the area…

A re-design process implies dealing with complex interactions between stakeholders, especially if we are talking about a personalization re-engineered process, which can be applied to an existing web application. In this context, knowledge becomes a main factor of influence, but…

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

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…

Ontologies serve as a mean to establish a conceptually concise basis for communicating knowledge for many purposes. Within the information integration area, ontologies are useful to solve heterogeneity problems. They provide a set of knowledge terms, including the vocabulary, the…

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…

We faced with a society identified as a knowledge society, characterized by the rapid development of scientific and technological knowledge, the trends to new ways of working, studying, creating and sharing knowledge, is seen in organizations, and particularly in the…

One of the key aspects in the design of an architecture for autonomous agents is the way in which beleifs are revised in the face of new information. An intelligent agent must be prepared to handle new information (be it…