Categories for evaluation of educative software by different authors are analyzed. For STI theoretical basis are: learn by doing, construction of knowledge, mental conflict, zone of proximal development, learning by discovery, conceptual change, and learning for the understanding and the…

In the restricted single-machine common due date problem the goal is to find a schedule for the n jobs which jointly minimizes the sum of earliness and tardiness penalties, while for the weighted tardiness problem the goal is to find…

The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

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…

En el presente trabajo se presenta una propuesta de modelo de un Sistema Autónomo Inteligente (AIS) a través de una ontología sobre la base de la arquitectura LOPE-LC (Learning by Observation in Planning Environments, Life Cycle) con la incorporación de…

The theory change area have defined several operators trying to model the dynamic of knowledge. The goal of this work is to introduce a preprocessor of perceptions that could be part of an agent. The purpose of the preprocessor is…

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…

Metrics used on development of expert systems is not a well investigated problem area. This article suggests some metrics to be used to measure the maturity of the conceptualization process and the complexity of the decision process in the problem…

El presente artículo trata la aplicación de un sistema experto capaz de determinar la factibilidad de funcionamiento de una máquina térmica desde el punto de vista termodinámico, mediante el análisis del diseño de un ciclo de potencia, el ciclo Joule…

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…