Daily Arxiv

Esta página recopila y organiza artículos sobre inteligencia artificial publicados en todo el mundo.
La información aquí presentada se resume utilizando Google Gemini y el sitio se gestiona sin fines de lucro.
Los derechos de autor de los artículos pertenecen a sus autores y a las instituciones correspondientes; al compartir el contenido, basta con citar la fuente.

Planificación automatizada con ontologías bajo semántica de actualización de coherencia (versión extendida)

Created by
  • Haebom

Autor

Stefan Borgwardt, Duy Nhu, Gabriele Roger

Describir

Este artículo presenta un enfoque novedoso para integrar el conocimiento previo en problemas de planificación automática mediante ontologías interpretadas bajo semántica de mundo abierto, a diferencia de los sistemas de planificación automática existentes que emplean fórmulas lógicas de primer orden bajo semántica de mundo cerrado. Para la planificación con la ontología DL-Lite, proponemos un método novedoso que combina las ventajas del conocimiento de entrada explícito y las condiciones de acción proporcionadas por las bases de acción (eKAB) y los efectos de acción que tienen en cuenta la ontología bajo semántica de actualización de coherencia. Demostramos que la complejidad de la formulación propuesta no supera la de los enfoques existentes y la implementamos mediante compilación polinómica en un plan clásico. Evaluamos el rendimiento del sistema de planificación para diversas variantes de compilación mediante la evaluación de puntos de referencia existentes y nuevos.

Takeaways, Limitations

Takeaways:
Un enfoque novedoso y eficiente para problemas de planificación automática utilizando la ontología DL-Lite.
Mejorar el rendimiento de la planificación basada en ontología combinando las ventajas de los eKAB y la semántica de actualización consistente.
Implementación eficiente mediante compilación de polinomios al esquema clásico.
Proporciona una evaluación experimental a través de varios puntos de referencia.
Limitations:
Como este enfoque está limitado a las ontologías DL-Lite, es posible que se requieran extensiones para admitir lenguajes de ontología más expresivos.
Es posible que haya margen para optimizar el método de compilación propuesto.
El alcance de la evaluación experimental puede ser limitado. Podrían necesitarse experimentos más extensos.
👍