Diseño e implementación de un planificador para un agente autónomo

Tapia García, Cristóbal (2017). Diseño e implementación de un planificador para un agente autónomo. Tesis (Doctoral), E.T.S.I. Industriales (UPM). https://doi.org/10.20868/UPM.thesis.46988.

Descripción

Título: Diseño e implementación de un planificador para un agente autónomo
Autor/es:
  • Tapia García, Cristóbal
Director/es:
  • Galán López, Ramón
  • San Segundo Carrillo, Pablo
Tipo de Documento: Tesis (Doctoral)
Fecha: 2017
Materias:
Escuela: E.T.S.I. Industriales (UPM)
Departamento: Automática, Ingeniería Electrónica e Informática Industrial [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (2MB) | Vista Previa

Resumen

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. ABSTRACT Automated planning is a part of Artificial Intelligence on current development. This thesis exhibits the work done in relation with automated planning, defining a framework for automated planning that makes developping planning problems easier by integrating tools for planning, simulation, and 3D viewing. The framework also includes a PDDL (planning domain definition language) editor that facilitates writing planning problems. Moreover, the system is also capable of analyzing planning results, which can be used on a higher reasoning level together with an adequate knowledge base. In addition, a planning solver based on Boolean logic is described and implemented. The solver contains a compiler from PDDL to a logic problem, solvable by a logic demonstrator program. This compiler has a number of improvements with respect to state-of-the-art compilers. Finally, a set of original planning problems concerning robotics and of varying degrees of difficulty are presented. We hope these benchmarks can serve as useful examples for the IA planning community.

Más información

ID de Registro: 46988
Identificador DC: http://oa.upm.es/46988/
Identificador OAI: oai:oa.upm.es:46988
Identificador DOI: 10.20868/UPM.thesis.46988
Depositado por: Archivo Digital UPM 2
Depositado el: 23 Jun 2017 06:34
Ultima Modificación: 22 Dic 2017 23:30
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM