Inference and Learning with Planning Models

[ES] Inferencia y aprendizaje son los actos de razonar sobre evidencia recogida con el fin de alcanzar conclusiones lógicas sobre el proceso que la originó. En el contexto de un modelo de espacio de estados, inferencia y aprendizaje se refieren normalmente a explicar el comportamiento pasado de un agente, predecir sus acciones futuras, o identificar su modelo. En esta tesis, presentamos un marco para inferencia y aprendizaje en el modelo de espacio de estados subyacente al modelo de planificación clásica, y formulamos una paleta de problemas de inferencia y aprendizaje bajo este paraguas unificador. También desarrollamos métodos efectivos basados en planificación que nos permiten resolver estos problemas utilizando algoritmos de planificación genéricos del estado del arte. Mostraremos que un gran número de problemas de inferencia y aprendizaje claves que han sido tratados como desconectados se pueden formular de forma cohesiva y resolver siguiendo procedimientos homogéneos usando nuestro marco. Además, nuestro trabajo abre las puertas a nuevas aplicaciones para tecnología de planificación ya que resalta las características que hacen que el modelo de espacio de estados de planificación clásica sea diferente a los demás modelos.[CA] Inferència i aprenentatge són els actes de raonar sobre evidència arreplegada a fi d'aconseguir conclusions lògiques sobre el procés que la va originar. En el context d'un model d'espai d'estats, inferència i aprenentatge es referixen normalment a explicar el comportament passat d'un agent, predir les seues accions futures, o identificar el seu model. En esta tesi, presentem un marc per a inferència i aprenentatge en el model d'espai d'estats subjacent al model de planificació clàssica, i formulem una paleta de problemes d'inferència i aprenentatge davall este paraigua unificador. També desenrotllem mètodes efectius basats en planificació que ens permeten resoldre estos problemes utilitzant algoritmes de planificació genèrics de l'estat de l'art. Mostrarem que un gran nombre de problemes d'inferència i aprenentatge claus que han sigut tractats com desconnectats es poden formular de forma cohesiva i resoldre seguint procediments homogenis usant el nostre marc. A més, el nostre treball obri les portes a noves aplicacions per a tecnologia de planificació ja que ressalta les característiques que fan que el model d'espai d'estats de planificació clàssica siga diferent dels altres models.[EN] Inference and learning are the acts of reasoning about some collected evidence in order to reach a logical conclusion regarding the process that originated it. In the context of a state-space model, inference and learning are usually concerned with explaining an agent's past behaviour, predicting its future actions or identifying its model. In this thesis, we present a framework for inference and learning in the state-space model underlying the classical planning model, and formulate a palette of inference and learning problems under this unifying umbrella. We also develop effective planning-based approaches to solve these problems using off-the-shelf, state-of-the-art planning algorithms. We will show that several core inference and learning problems that previous research has treated as disconnected can be formulated in a cohesive way and solved following homogeneous procedures using the proposed framework. Further, our work opens the way for new applications of planning technology as it highlights the features that make the state-space model of classical planning different from other models.The work developed in this doctoral thesis has been possible thanks to the FPU16/03184 fellowship that I have enjoyed for the duration of my PhD studies. I have also been supported by my advisors’ grants TIN2017-88476-C2-1-R, TIN2014-55637-C2-2-R-AR, and RYC-2015-18009.Aineto García, D. (2022). Inference and Learning with Planning Models [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/18535

Verification and Validation of Planning Domain Models

The verification and validation of planning domain models is one of the biggest challenges to deploying planning-based automated systems in the real world.The state-of-the-art verification methods of planning domain models are vulnerable to false positives, i.e. counterexamples that are unreachable by sound planners when using the domain under verification during planning tasks. False positives mislead designers into believing correct models are faulty. Consequently, designers needlessly debug correct models to remove these false positives. This process might unnecessarily constrain planning domain models, which can eradicate valid and sometimes required behaviours. Moreover, catching and debugging errors without knowing they are false positives can give verification engineers a false sense of achievement, which might cause them to overlook valid errors.To address this shortfall, the first part of this thesis introduces goal-constrained planning domain model verification, a novel approach that constrains the verification of planning domain models with planning goals to reduce the number of unreachable planning counterexamples. This thesis formally proves the correctness of this method and demonstrates the application of this approach using the model checker Spin and the planner MIPS-XXL. Furthermore, it reports the empirical experiments that validate the feasibility and investigates the performance of the goal-constrained verification approach. The experiments show that not only the goal-constrained verification method is robust against false positive errors, but it also outperforms under-constrained verification tasks in terms of time and memory in some cases.The second part of this thesis investigates the problem of validating the functional equivalence of planning domain models. The need for techniques to validate the functional equivalence of planning domain models has been highlighted in previous research and has applications in model learning, development and extension. Despite the need and importance of proving the functional equivalence of planning domain models, this problem attracted limited research interest.This thesis builds on and extends previous research by proposing a novel approach to validate the functional equivalence of planning domain models. First, this approach employs a planner to remove redundant operators from the given domain models; then, it uses a Satisfiability Modulo Theories (SMT) solver to check if a predicate mapping exists between the two domain models that makes them functionally equivalent. The soundness and completeness of this functional equivalence validation method are formally proven in this thesis.Furthermore, this thesis introduces D-VAL, the first planning domain model automatic validation tool. D-VAL uses the FF planner and the Z3 SMT solver to prove the functional equivalence of planning domain models. Moreover, this thesis demonstrates the feasibility and evaluates the performance of D-VAL against thirteen planning domain models from the International Planning Competition (IPC). Empirical evaluation shows that D-VAL validates the functional equivalence of the most challenging task in less than 43 seconds. These experiments and their results provide a benchmark to evaluate the feasibility and performance of future related work

Foundations of Human-Aware Planning -- A Tale of Three Models

abstract: A critical challenge in the design of AI systems that operate with humans in the loop is to be able to model the intentions and capabilities of the humans, as well as their beliefs and expectations of the AI system itself. This allows the AI system to be "human- aware" -- i.e. the human task model enables it to envisage desired roles of the human in joint action, while the human mental model allows it to anticipate how its own actions are perceived from the point of view of the human. In my research, I explore how these concepts of human-awareness manifest themselves in the scope of planning or sequential decision making with humans in the loop. To this end, I will show (1) how the AI agent can leverage the human task model to generate symbiotic behavior; and (2) how the introduction of the human mental model in the deliberative process of the AI agent allows it to generate explanations for a plan or resort to explicable plans when explanations are not desired. The latter is in addition to traditional notions of human-aware planning which typically use the human task model alone and thus enables a new suite of capabilities of a human-aware AI agent. Finally, I will explore how the AI agent can leverage emerging mixed-reality interfaces to realize effective channels of communication with the human in the loop.Dissertation/ThesisDoctoral Dissertation Computer Science 201

Automated Planning with Hybrid Domain Models: A Method to Improve Continuous Process Descriptions

Recent advances in Automated Planning not only involve the improvements in planning efficiency but also the enhancement in granularity in which planning domains are modelled. A significant progression is in the move from discrete domain models to mixed discrete-continuous models i.e. hybrid domain models. While planning with hybrid domains has been studied for decades, the knowledge engineering of those domain models is still a challenge, particularly for real-time complex domains. It is imperative to understand how to effectively and efficiently formulate the planning models to achieve maximum productivity with minimum wasted effort or cost. One of the main engineering challenges of hybrid domain models involves encoding the frequent fluctuation of underlying processes with continuous updates in the world state. The occurring numerical changes with the variation of parameters can be too complex to be formulated accurately by human manual efforts. This thesis proposes a method utilising machine learning techniques which results in the formulation of a run-time representative estimation of continuous changes in varied process parameters. The method incorporates statistical analysis to acquire process models from real-world data for hybrid planning domains. We assume that domain knowledge has been already encoded in an initial hybrid domain model (in this thesis, that is a PDDL+ model). We then use the method to create an improved process model (within the same encoding language of PDDL+) which is embedded into the process specification of the original, pre-engineered domain model. By exploiting the quantitative data from hybrid planning domains, firstly the proposed approach, with the help of statistical methods, identifies the associations (i.e. dependencies or inter-dependencies) between a single outcome and single/multiple predictor numeric variables in the underlying process. Based on the deduced statistical relationship among variables, the appropriate linear regression technique with corresponding statistical tests are nominated and implemented to formulate the process model. Then the constructed process model is embedded/adjusted into the pre-engineered hybrid domain models. The learned process model, in the form of a mathematical function, automatically approximates/adjusts the quantity of an outcome variable with the continuous variations in different predictor features in order to efficiently and accurately control the corresponding process in hybrid planning domains. To empirically evaluate our approach, we utilise pre-engineered models (in PDDL+) of an Urban Traffic Control (UTC) domain and a Coffee domain. For the UTC domain, we experiment with the real-time traffic data that is collected from AIMSUN simulator utilised in the SimplifAI project (McCluskey, Vallati and Franco 2017). Besides, for coffee domain, we collect the real-time data from an observational study that is conducted by Easthope (2015). The evaluation results demonstrate that the automatically learned values of numeric process variables by our method are more rational than the formulation values of process variables declared statically in the original domain models. Besides, it reveals that the learned process models can provide more accurate simulation output, which can consequently lead to higher-quality plans. Along with that, by automatically identifying the effective process variables and removing the irrelevant ones from the learned process models, it can assist the knowledge engineering tasks of modelling/adjusting the dynamically changing process variables with their values in the hybrid planning domains, without declaring them statically