Landmarks, Critical Paths and Abstractions: What\u27s the Difference Anyway?

Current heuristic estimators for classical domain-independent planning are usually based on one of four ideas: delete relaxation, abstraction, critical paths, and, most recently, landmarks. Previously, these different ideas for deriving heuristic functions were largely unconnected. In my talk, I will show that these heuristics are in fact very closely related. Moreover, I will introduce a new admissible heuristic called the landmark cut heuristic which exploits this relationship. In our experiments, the landmark cut heuristic provides better estimates than other current admissible planning heuristics, especially on large problem instances

Parallel heuristic search in forward partial-order planning

[EN] Most of the current top-performing planners are sequential planners that only handle total-order plans. Although this is a computationally efficient approach, the management of total-order plans restrict the choices of reasoning and thus the generation of flexible plans. In this paper, we present FLAP2, a forward-chaining planner that follows the principles of the classical POCL (Partial-Order Causal-Link Planning) paradigm. Working with partial-order plans allows FLAP2 to easily manage the parallelism of the plans, which brings several advantages: more flexible executions, shorter plan durations (makespan) and an easy adaptation to support new features like temporal or multi-agent planning. However, one of the limitations of POCL planners is that they require far more computational effort to deal with the interactions that arise among actions. FLAP2 minimizes this overhead by applying several techniques that improve its performance: the combination of different state-based heuristics and the use of parallel processes to diversify the search in different directions when a plateau is found. To evaluate the performance of FLAP2, we have made a comparison with four state-of-the-art planners: SGPlan, YAHSP2, Temporal Fast Downward and OPTIC. Experimental results show that FLAP2 presents a very acceptable trade-off between time and quality and a high coverage on the current planning benchmarks.This work has been partially supported by the Spanish MINECO project TIN2014-55637-C2-2-R and cofounded by FEDER.Sapena Vercher, O.; Torreño Lerma, A.; Onaindia De La Rivaherrera, E. (2016). Parallel heuristic search in forward partial-order planning. Knowledge Engineering Review. 31(5):417-428. https://doi.org/10.1017/S0269888916000230S41742831

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs

We establish a novel relation between delete-free planning, an important task for the AI Planning community also known as relaxed planning, and logic programming. We show that given a planning problem, all subsets of actions that could be ordered to produce relaxed plans for the problem can be bijectively captured with stable models of a logic program describing the corresponding relaxed planning problem. We also consider the supported model semantics of logic programs, and introduce one causal and one diagnostic encoding of the relaxed planning problem as logic programs, both capturing relaxed plans with their supported models. Our experimental results show that these new encodings can provide major performance gain when computing optimal relaxed plans, with our diagnostic encoding outperforming state-of-the-art approaches to relaxed planning regardless of the given time limit when measured on a wide collection of STRIPS planning benchmarks.Comment: Paper presented at the 39th International Conference on Logic Programming (ICLP 2023), 14 page

A Fast Goal Recognition Technique Based on Interaction Estimates

Goal Recognition is the task of inferring an actor's goals given some or all of the actor's observed actions. There is considerable interest in Goal Recognition for use in intelligent personal assistants, smart environments, intelligent tutoring systems, and monitoring user's needs. In much of this work, the actor's observed actions are compared against a generated library of plans. Recent work by Ramirez and Geffner makes use of AI planning to determine how closely a sequence of observed actions matches plans for each possible goal. For each goal, this is done by comparing the cost of a plan for that goal with the cost of a plan for that goal that includes the observed actions. This approach yields useful rankings, but is impractical for real-time goal recognition in large domains because of the computational expense of constructing plans for each possible goal. In this paper, we introduce an approach that propagates cost and interaction information in a plan graph, and uses this information to estimate goal probabilities. We show that this approach is much faster, but still yields high quality results

Landmark-based approaches for goal recognition as planning

This article is a revised and extended version of two papers published at AAAI 2017 (Pereira et al., 2017b) and ECAI 2016 (Pereira and Meneguzzi, 2016). We thank the anonymous reviewers that helped improve the research in this article. The authors thank Shirin Sohrabi for discussing the way in which the algorithms of Sohrabi et al. (2016) should be configured, and Yolanda Escudero-Martın for providing code for the approach of E-Martın et al. (2015) and engaging with us. We also thank Miquel Ramırez and Mor Vered for various discussions, and Andre Grahl Pereira for a discussion of properties of our algorithm. Felipe thanks CNPq for partial financial support under its PQ fellowship, grant number 305969/2016-1.Peer reviewedPostprin

Improving delete relaxation heuristics through explicitly represented conjunctions

Heuristic functions based on the delete relaxation compute upper and lower bounds on the optimal delete-relaxation heuristic h+, and are of paramount importance in both optimal and satisficing planning. Here we introduce a principled and flexible technique for improving h+, by augmenting delete-relaxed planning tasks with a limited amount of delete information. This is done by introducing special fluents that explicitly represent conjunctions of fluents in the original planning task, rendering h+ the perfect heuristic h* in the limit. Previous work has introduced a method in which the growth of the task is potentially exponential in the number of conjunctions introduced. We formulate an alternative technique relying on conditional effects, limiting the growth of the task to be linear in this number. We show that this method still renders h+ the perfect heuristic h* in the limit. We propose techniques to find an informative set of conjunctions to be introduced in different settings, and analyze and extend existing methods for lower-bounding and upper-bounding h + in the presence of conditional effects. We evaluate the resulting heuristic functions empirically on a set of IPC benchmarks, and show that they are sometimes much more informative than standard delete-relaxation heuristics

Improving the efficiency of the Pre-Optimization Plan Techniques

Automated planning is an important research area of Artificial Intelligence (AI). In classical planning, which is a sub-area of automated planning, attention is given to ‘agile’ planning, i.e., solving planning problems as quickly as possible regardless of the quality of solution plans. Obtaining solutions quickly is important for real-time applications as well as in situations of imminent danger. Post-planning optimisation techniques for improving the quality of solution plans are a good option for improving poor quality plans. Since such techniques are run as post-processing, this avoids situations where there is a risk of not having solution plans in time. This thesis focuses on an important sub-area of post-planning optimisation; that is, on identifying and removing redundant actions from solution plans. In particular, this study extends the existing Action Elimination and Greedy Action Elimination algorithms by introduce two approaches to improve their efficiency. The AE and GAE algorithms are thereby developed into the UAIAE and UGAIAE systems respectively. The key to our approaches is based on optimise the process while keeping the same elimination power’ (identifying and removing the same number of redundant actions). First approach improves the algorithms by considering situations where inverse actions are redundant, while the other identifies a subset of actions that cannot be present in any redundant actions set. This subset is named justified unique actions. The study’s approach to identifying this subset has been motivated by a promising heuristic approach called ‘landmarks’, which are facts or actions that cannot be eliminated to achieve the goal. The approaches in this study have been empirically evaluated using several benchmark domains, as well as several planning engines that participated in the Agile track of the International Planning Competition 2014. In addition, they have been evaluated against state-of-the-art optimal and satisficing planners, as well as they are evaluated against a plan repair technique. The methods of AE family can be understood as polynomial methods that improve the quality of a plan by removing redundant actions, or as tools to complement more sophisticated plan optimisation techniques

Introdução ao controle adaptativo a eventos discretos em base de dados RFID com planejador automático aplicado a sistemas robóticos

Industry 4.0 technologies integrate devices and data, bringing flexibility and efficiency, derived from decentralization of information sources and processing, which is fundamental to further advance applications. This work aims to introduce Cyber Physical Systems (CPS) working with decision affecting passive objects, a system with distributed data, and automatic planners, to achieve a self-sufficient process manipulator that does not require external goal insertion and can self-adjust given an exception, in real-time. This solution is more flexible and autonomous than state machines. Applying the technologies introduced in Industry 4.0 and methods that were previously treated separately, such as symbolic artificial intelligence and robot kinematics, the system can perform perception, planning and actuation processes. This system is capable of extracting information inside passive passive entities in the physical domain by using Radio Frequency IDentification (RFID) to acquire predicates, data, about each object current and objective states using the Predicate inside RFID Database (PRD) tool. This data is treated to produce a domain snapshot, by joining distributed information and generating a problem definition, through the Grouped Individual State Predicates (GISP) methodology. This problem definition may then be fed into a planning module, implemented on an Edge or Cloud server, where discrete-action and trajectory planning are concatenated to output control references, using a generic symbolic planner and a numeric trajectory generator. Then, the active agent may actuate, verify for exceptions and update the passive objects information if the obtained state is perceived with no exceptions, else it must reiterate to satisfy the global goal. This work structures the adaptive discrete event control architecture with a RFID database containing parts of predicate logic.Pesquisa sem auxílio de agências de fomentoTrabalho de Conclusão de Curso (Graduação)As tecnologias da indústria 4.0 integram dispositivos e dados, trazendo flexibilidade e eficiência, derivada da decentralização das fontes de informação e processamento, que é fundamental para o avanço das aplicações. Esse trabalho busca introduzir sistemas ciber físicos trabalhando com objetos passivos com capacidade de afetar decisões, um sistema com informação distribuida, e planejadores automáticos, para alcançar um manipulador de processos autossuficiente que não requer inserção externa de objetivos e que pode auto-ajustar-se de acordo com exceções, em tempo de execução. Essa é uma solução mais flexível e autônoma que o uso de máquinas de estado. Aplicando as tecnologias introduzidas na Indústria 4.0 e métodos que eram tratados em separado, como inteligência artificial simbólica e cinemática de robôs, o sistema pode realizar os processos de percepção, planejamento e atuação. Esse sistema é capaz de extrair informação de entidades passivas no domínio físico utilizando Identificação por Rádio Frequência (RFID) para adquirir predicados, dados, sobre os estados corrente e objetivo de cada objeto através da ferramenta PRD (Predicados dentro de base de Dados RFID). Esses dados são tratados para produzir um retrato do domínio, através da união da informação distribuída e produção de uma definição de problema usando a metodologia GISP (Predicados de Estado Individual Agrupados). Essa definição de problema pode ser alimentada no módulo de planejamento, implementado num servidor local ou na nuvem, onde planemento de ações discretas e trajetória são concatenados para retornar referências de controle, usando um planejador simbólico genérico e um gerador numérico de trajetória. Então, o agente ativo pode atuar, verificar exceções e atualizar a informação nos objetos passivos caso o estado obtido seja percebido livre de exceções, senão deve reiterar até que se satisfaça o objetivo global. Esse trabalho estrutura a arquitetura de controle adaptativa a eventos discretos com base de dados RFID contendo partes de lógica de predicados