Argumentación rebatible en entornos dinámicos

Marcela Capobianco.

2003.

xi, 240 págs. : ilustraciones ; 30 cm.

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

Directores de tesis: Guillermo R. Simari y Carlos I. Chesñevar.

Tesis(doctoral)--Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2003.

Resumen: El desarrollo de agentes de software inteligentes es vital para la implementación de una vasta diversidad de aplicaciones. Existen numerosos problemas a resolver para poder diseñar esta clase de agentes, dentro de los cuales se destaca encontrar una forma adecuada de modelar el estado epistémico de los mismos. Esta tesis tiene por objeto definir un sistema de reoresebtación de conocimiento y razonamiento que posea el poder expresivo y la implementabilidad suficientes para cumplir con esta función. A tal fin se presenta un formalismo argumentativo con un lenguaje basado en la programación en lógica que combina las ventajas de ambas disciplinas. Como resultado del trabajo realizado se obtuvo un sistema de representación de conocimiento y razonamiento capaz de manejar información incompleta y potencialmente contradictoria e interactuar con ambientes dinámicos. Este sistema incorpora además un mecanismo de inferencia basado en el uso de conocimiento precompilado que posee un conjunto de atractivas propiedades e inaugura el uso de este tuoi de técnicas en la argumentación rebatible. PALABRAS CLAVE: inteligencia artificial, representación de conocimiento, argumentación rebatible, sistemas de mantenimiento de verdad. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 10/06/03

Incluye referencias bibliográficas.