|
Abstract
|
|
|---|---|
| La planificación automática es un área dentro de la inteligencia artificial que está en pleno desarrollo. En esta tesis se muestra el trabajo realizado relacionado con la planificación automática, planteando un entorno de desarrollo para problemas de planificación que facilite su uso, integrando, en un sistema, herramientas de planificación, simulación y de visualización 3D, además de una utilidad para la edición de PDDL (lenguaje empleado en planificación). El sistema planteado incluye además la posibilidad de análisis de resultados de planificación, que pueden usarse en un nivel más alto de razonamiento junto con bases de conocimiento. Asimismo se expone un planificador basado en lógica booleana, incluyendo un traductor de problemas de planificación a problemas de lógica, que pueden ser resueltos por un demostrador lógico. Este traductor incluye aportaciones en la técnica de conversión y codificación de esos problemas. Se aportan además un conjunto de problemas de planificación, de distinta complejidad, aplicados a la robótica, sirviendo como ejemplos para posteriores desarrollos. | |
|
International
|
No |
|
|
|
|
Type
|
Doctoral |
|
Mark Rating
|
Sobresaliente cum laude |
|
Date
|
15/06/2017 |