La argumentación es un formalismo de razonamiento, donde los argumentos y contraargumentos son evaluados para poder seleccionar aquellos que pueden ser aceptados en forma conjunta. En argumentación clásica abstracta, los argumentos y ataques son estáticos, en el sentido de que…

La inducción puede definirse como la inferencia de una ley general a partir de casos particulares.
La inducción fue de especial importancia dentro de la Epistemología y Teoría de la Ciencia, como modelo del razonamiento científico. En este proyecto buscamos…

En este proyecto se estudia el problema de la producción de una vista (view) consolidada del conocimiento que una comunidad de agentes posee almacenado en la forma de bases de datos privadas posiblemente de gran tamaño. Cada agente en la…

En el siguiente trabajo se definen ciertas propiedades que satisface el operador de revisión mediante argumentos [2, 3]. Tal operador, a diferencia de los operadores de revisión generales [1,4,6, 5], está definido sobre bases de conocimiento finitas no clausuradas, no…

La Web Semántica es una visión de la Web en la cual la información tiene un significado exacto que permite a los agentes razonar respecto al mismo para cumplir objetivos delegados por sus usuarios propietarios. El significado de los datos…