Nowadays information circulates quickly in a human organization, what generates an internal difficulty in preserving inside the organization essential information to support decision-making. Decision Support Systems (DSS) aiding organizational decision-making, had, up to now, rigid inferences machines restricted to the…

Robots have become usual collaborators in our daily life. While robotic systems grow to be more and more complex, the need to engineering their software development process grows as well. Traditional approaches that are used in the development process of…

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks (AF).
Recent research in the area…

This article proposes a method for achieving an appropriate balance between the parameters of support, precision, and simplicity during the evolution of classification rules by means of genetic programming. The method includes an adaptive procedure in order to achieve such…

Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions…

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…

An application of Zadeh’s prototype theory in the Knowledge Acquisition process, is presented here, and as a practical example, to define a method for predicting the evolution of the forest fire occurrence-danger rate in INCEND-IA: A KBS for prediction and…

Most of the search engines available over the Web are based on mathematical approaches | classical techniques in the Information Retrieval area. Thereby, they are suitable for the retrieval of documents containing some or all the terms of a query,…

The area of Knowledge Representation and Reasoning has been enriched during the past two decades with the addition of Argument-Based Reasoning Systems. In formal systems of defeasible argumentation, arguments for and against a proposition are produced and evaluated to test…

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…