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…

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…

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…

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…

In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming (ODeLP) [1]. Eficiency is an important issues in ODeLP, since this framework has been de ned…

The main advantage of a recurrent architecture is the ability to store information from prior system states. A recurrent fuzzy controller includes hidden fuzzy variables which makes the controller more appropriate to deal with dynamic systems. We are currently investigating…

In todays world where nearly every company is dependent on the Internet to survive, it is not surprising that the role of intrusion detection has become extremely important within the last decade. Intrusion detection involves determining whether some entity has…

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…

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…

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…