Detalles del proyecto

PROGRAMACIÚN EN LÚGICA REBATIBLE ETIQUETADA (PLRE) PARA DESARROLLO DE SISTEMAS.. (24/ZN10)

GRUPO DE INVESTIGACION

  • ches¥evar, carlos ivan (DIRECTOR)
  • grandinetti, walter marcelo
  • gomez lucero, mauro javier

INICIO:

01/01/2006

FINALIZACION:

31/12/2008

DISCIPLINA:

Computación

PALABRAS CLAVE

  • Inteligencia Artificial
  • • Agentes autónomos
  • • Sistemas multiagente
  • • Razonamiento computacional
  • • Argumentación
  • • Sistemas Etiquetados

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.