The design of intelligent agents is a key issue for many applications. Although there is no universally accepted de nition of intelligence, a notion of rational agency has been proposed as an alternative for the characterization of intelligent agency.
Modeling…

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…

This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…

1957 marked the beginning of modern education in computing in Argentina. I was lucky enough to live this part of the history. After issuing an international bid that year, all members of a special commission from the University of Buenos…

We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed.

Universidad Nacional de La Plata (UNLP) Intellectual Creativity Diffusion Service (SeDiCI) was formed mainly to publicise the knowledge acquired at the different academic areas of our university, having the goal of restoring to the community the efforts expended on public…

In this paper, we present a new model of an artificial
immune system (AIS), based on the process
that suffers the T-Cell, it is called T-Cell
Model. It is used for solving constrained (numerical)
optimization problems. The model operates
on…

Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…

The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…