Given an instance of an optimization problem together with an optimal solution, we consider the scenario in which this instance is modified locally. In graph problems, e. g., a singular edge might be removed or added, or an edge weight…

The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly…

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…

A solution of problems in multiagent systems involves representing beliefs of agents immersed in dynamic environments. Observation-based Defeasible Logic Programming (ODeLP) is an argument-based logic programming language that is used to represent an agent’s knowledge in the context of a…

Descoberta de Conhecimento em Bases de Dados" ("Knowledge Discovery in Databases", KDD) é um processo composto de várias fases iniciando com a coleta de dados para o problema e finalizando com a avaliação dos resultados finais. Este trabalho objetiva mostrar…

In the last decade several ways to formalize defeasible reasoning have been studied. A particular approach, defeasible argumentation, has been particularly successful to achieve this goal.
The inference process of argument-based systems is based on the interaction of ar- guments…

The notion of context and its importance in knowledge representation and nonmonotonic reasoning was first discussed in Artificial Intelligence by John McCarthy.
Ever since, contexts have found many applications in developing knowledge-based reasoning systems.
Defeasible argumentation has gained wide acceptance…

En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics:
A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…

The paper presents a case study illustrating a collaborative problem solving process in Virtual Communities of Practice. The process relies on the existence of an underlying shared knowledge base – a repository of resources, and is carried out collaboratively by…

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…