El proceso de Educción de Requisitos para Proyectos de Explotación de Información, contempla la realización de un conjunto de plantillas que se utilizan para documentar los conceptos educidos durante las primeras fases del proyecto. Por otro lado, la Ingeniería del…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them started shifting their semantics towards a dialectical characterization.…

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:…

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…

The Semantic Web purports to give computeraccessible meaning to the content of the World Wide Web. The rationale behind this project is to create an environment where all this information could be freely exchanged among diverse entities, yet retaining its…

El objetivo de esta investigación es el estudio de la problemática de inconsistencia que pueda aparecer en los Sistemas Basados en Conocimiento (SBC). Los SBC pueden ser clientes de muchas fuentes de información, y estas pueden contener información inconsistente al…

There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some functional needs to work…

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…

El objetivo central de esta línea de investigación consiste en proponer distintas metodologías formales para representar el conocimiento en diversos sistemas argumentativos.
Como todo sistema simbólico, los sistemas argumentativos emulan el proceso de razonamiento como una manipulación dediversos símbolos. Esto…