Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Real-Time Heuristic Search with LTLf Goals
Indexado
WoS WOS:001202342304126
DOI
Año 2022
Tipo proceedings paper

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



In Real-Time Heuristic Search (RTHS) we are given a search graph G, a heuristic, and the objective is to find a path from a given start node to a given goal node in G. As such, one does not impose any trajectory constraints on the path, besides reaching the goal. In this paper we consider a version of RTHS in which temporally extended goals can be defined on the form of the path. Such goals are specified in Linear Temporal Logic over Finite Traces (LTLf), an expressive language that has been considered in many other frameworks, such as Automated Planning, Synthesis, and Reinforcement Learning, but has not yet been studied in the context of RTHS. We propose a general automata-theoretic approach for RTHS, whereby LTLf goals are supported as the result of searching over the cross product of the search graph and the automaton for the LTLf goal; specifically, we describe LTL-LRTA*, a version of LSS-LRTA*. Second, we propose an approach to produce heuristics for LTLf goals, based on existing goal-dependent heuristics. Finally, we propose a greedy strategy for RTHS with LTLf goals, which focuses search to make progress over the structure of the automaton; this yields LTL-LRTA*(A). In our experimental evaluation over standard benchmarks we show LTL-LRTA* A may outperform LTL-LRTA* substantially for a variety of LTLf goals.

Disciplinas de Investigación



WOS
Sin Disciplinas
Scopus
Sin Disciplinas
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



Ord. Autor Género Institución - País
1 Middleton, Jaime - Pontificia Universidad Católica de Chile - Chile
Tucar SpA - Chile
2 Icarte, Rodrigo Toro - Pontificia Universidad Católica de Chile - Chile
Centro Nacional de Inteligencia Artificial (CENIA) - Chile
3 Baier, Jorge A. - Pontificia Universidad Católica de Chile - Chile
Centro Nacional de Inteligencia Artificial (CENIA) - Chile
Instituto Milenio Fundamentos de los Datos - Chile
4 DeRaedt, L -

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



Fuente
National Center for Artificial Intelligence CENIA, Basal ANID

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



Agradecimiento
We gratefully acknowledge funding from the National Center for Artificial Intelligence CENIA FB210017, Basal ANID.

Muestra la fuente de financiamiento declarada en la publicación.