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…

We have developed a distributed DSS able to work in a dynamic way. This system is based on the use of mobile agents, which receive the user's queries and visit the DSS domains gathering the required information. One of the…

Inside an organization there is information that can only be generated by people, then, when a decision maker in any time and anywhere of an organization requires this information, he/she has to solicit it to who has the ability of…

It is commonly acknowledged that we need to accept and handle uncertainty when reasoning with real world data. The most profoundly studied measure of uncertainty is the probability. However, the general feeling is that probability cannot express all types of…

Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how to modify our beliefs when we recieve new information. The main problem arises when the information is inconsistent with beliefs that represents our epistemic state.…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use of…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

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…

The design of intelligent agents is a key issue for many applications. Since there is no universally accepted definition of intelligence, the notion of rational agency was proposed by Russell as an alternative for the characterization of intelligent agency.
A…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…