Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type of parallel…

Esta tesis presenta una estrategia en la Ingeniería de Requisitos, denominada SDRES, que intenta abordar temas poco tratados en la práctica real, tales como los cambios constantes en los requisitos, defectos del software originados en los requisitos, el contexto organizacional…

In omplete information is a problem in many aspe ts of a tual environments. Further- more, in many s enarios the knowledge is not represented in a risp way. It is ommon to nd fuzzy on epts or problems with…

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…

La finalidad de este proyecto es la de generar una metodología, con las técnicas y herramientas corerspondientes; para brindar información relativa al costo de desarrollo de un Sistema Experto. En base a la propuesta, los CIO´s (Chief Information Officer) podrán…

Software architecture constitutes the primary design of a software system. Consequently, architectural design decisions involved in architecture design have a key impact on the system in such aspects as future maintenance costs, resulting quality, and timeliness. However, the applied knowledge…

Tardiness related objectives are of utmost importance in production systems when client satisfaction is a main goal of a company. These objectives measure the system response to the client requirements and rate manager´s performance In scheduling problems with diverse single…

Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A…

La mayoría de los sistemas de Vídeo bajo Demanda (VoD, Video on Demand) fueron diseñados para trabajar en redes dedicadas. Sin embargo, hay algunos sistemas que proveen servicio de VoD en redes de mejor esfuerzo y no dedicadas, pero ellos…

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…