Programación en lógica rebatible : lenguaje, semántica operacional, y paralelismo

Alejandro Javier García.

2000.

[10], 171 págs.

"Tesis de Doctor en Ciencias de la Computación".

Tesis(doctoral)--Universidad Nacional del Sur, 2001.

Resumen: Esta tesis define formalmente a la programación en lógica rebatible, y su semántica operacional. Define además, la computación en paralelo de programas lógicos rebatibles, y una extensión de la programación en lógica rebatible que permite trabajar con dos tipos de negación. Los resultados obtenidos son comparados con formalismos existentes y que están relacionados en gran medida con nuestro desarrollo. El lenguaje definido puede ser utilizado básicamente en cualquier aplicación que requiera representación de conocimiento. Sus características le permiten modelar conocimiento que involucre información incompleta o potencialmente contradictoria, El mecanismo de inferencia sobre el cual está basado, permite decidir entre conclusiones contradictorias y adaptarse fácilmente a entornos cambiantes. Las características antes mencionadas, hacen de los Programas Lógicos Rebatibles, una herramienta atractiva para representar el conocimiento y definir el razonamiento de agentes inteligentes deliberativos. La flexibilidad del lenguaje permite que los agentes trabajen en un entorno don la información cambia rápidamente. Como parte de esta tesis, se describe una aplicación concreta que consiste de un sistema de múltiples agentes, con agentes especializados en extraer información del mercado de valores a través de Internet, y agentes deliberativos que toman decisiones en función de la información recolectada.

Incluye referencias bibliográficas.