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…

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

A medida que las organizaciones crecen, existe una creciente necesidad de convertir el conocimiento personal en conocimiento organizacional. Por lo tanto, es posible vincular al Aprendizaje Organizacional y la Gestión del Conocimiento, considerando a ésta última como un proceso de…

La Gestión del Conocimiento abarca un conjunto de procesos que administra el conocimiento de las organizaciones. Logra aumentar la creatividad y garantizar el éxito organizacional, ya que se fundamenta en el recurso más valioso con que actualmente cuentan las instituciones:…

Ontologies can be used in Domain Oriented Software Engineering Environments (DOSEEs) to organize and describe knowledge and to support management, acquisition and sharing of knowledge regarding some domain. However, ontology construction is not a simple task. Thus, it is necessary…

La sistematización del proceso de minería de datos es un punto importante para la planificación y ejecución de este tipo de proyecto. Algunas organizaciones implementan el modelo KDD, mientras que otras aplican un estándar más específico como CRISP-DM. Si la…

The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML applications have been developed, such as datamining programs, information-filtering systems, etc. Although ML…

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…

En un contexto educativo, hay esencialmente dos modos de aprovechar la capacidad de proceso y almacenamiento de una computadora: a) producir sistemas basados en el conocimiento (tales como servicios de Internet WWW, enciclopedias multimedia, etc.) en los que el usuario…

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…