The aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change…

Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories…

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…

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…

In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL…

Este artigo apresenta um algoritmo Cultural Extendido para o problema do Despacho Econômico. O Algoritmo Cultural têm cinco categorias de conhecimento. Este trabalho visa demonstrar a aplicação do conhecimento histórico, que objetiva monitorar a busca e armazenar os eventos importantes…

En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics:
A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono…

Modeling is one of the most crucial activities during all the phases in any software development life cycle. Typically, system development is a very complex task, and working with models helps to handle this complexity in an organized way, allowing…

Por vez primera en la historia de la Educación Superior en Cuba, una Universidad se apresta a introducir en el Plan y Programa de estudio de pregrado, contenidos de las tecnologías de Teledetección Aerospacial y Sistemas de Información Geográficos (SIG)…

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…