RESUMEN
Este proyecto se centra en las investigaciones necesarias para el
desarrollo de un formalismo de Programación en lógica rebatible
etiquetada (PLRE) que permita el desarrollo de sistemas inteligentes
basados en argumentación, fundamentalmente orientados a aplicaciones
en la World Wide Web, en particular en el contexto de la Web
Semántica. Para lograr este objetivo se utilizarán los sistemas
deductivos etiquetados, que permitirán enriquecer el lenguaje de la
Programación en Lógica Rebatible estándar (PLR) a través de
información estructurada. Se espera que el formalismo resultante tenga
una fuerte aplicación tecnológica en el desarrollo de sistemas
inteligentes sustentados en plataformas accesibles via Internet.