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…

The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper.
We explore the…

In this research line we are exploring the possibility of having multiple preference criteria to compare arguments in in Defeasible Argumentation. In this work we are assuming a goaloriented Argumentative System, to which an application or an agent may seek…

The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…

In a production system it is usual to stress minimum tardiness to achieve higher client satisfaction.
According to the client relevance, job processing costs and requirements, and various other considerations, a weight is assigned to each job. An important, non-trivial,…

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…

Este artigo apresenta urn ambiente para o desenvolvimento e uso de Sistemas Especialistas que funciona no ambiente operacional Microsoft Windows e que portanto utiliza os recursos de interface convencionais deste ambiente operacional. O sistema foi desenvolvido comotrabalho de conclusao do…

Multiagent systems and online communities rely on rating systems to infer the reputation given to an individual within a particular context. The notion of reputation is essential for helping a given individual to trust in other individuals and for being…

It has been noticed that during the initial semesters of Computing Engineering that the amount of human tutors is insufficient. The students/tutors ratio is very high and there is a great difference in the acquired knowledge and backgrounds. The idea…

Language is the medium used by heterogeneous and autonomous members of a community to communicate and to exchange knowledge. Social work allows members in a community to resolve problems that they could not face individually, but they must be able…