Learning neuro-symbolic skills for bilevel planning
Decision-making is challenging in robotics environments with continuous object-centric
states, continuous actions, long horizons, and sparse feedback. Hierarchical approaches …
states, continuous actions, long horizons, and sparse feedback. Hierarchical approaches …
Learning interpretable models expressed in linear temporal logic
A Camacho, SA McIlraith - Proceedings of the International Conference on …, 2019 - aaai.org
We examine the problem of learning models that characterize the high-level behavior of a
system based on observation traces. Our aim is to develop models that are human …
system based on observation traces. Our aim is to develop models that are human …
Predicate invention for bilevel planning
Efficient planning in continuous state and action spaces is fundamentally hard, even when
the transition model is deterministic and known. One way to alleviate this challenge is to …
the transition model is deterministic and known. One way to alleviate this challenge is to …
Bayesian inference of linear temporal logic specifications for contrastive explanations
© 2019 International Joint Conferences on Artificial Intelligence. All rights reserved.
Temporal logics are useful for providing concise descriptions of system behavior, and have …
Temporal logics are useful for providing concise descriptions of system behavior, and have …
[HTML][HTML] Landmark-based approaches for goal recognition as planning
Recognizing goals and plans from complete or partial observations can be efficiently
achieved through automated planning techniques. In many applications, it is important to …
achieved through automated planning techniques. In many applications, it is important to …
Chatbot testing using AI planning
Chatbots, ie, systems that can interact with humans in a more appropriate way using natural
language, have been of increasing importance. This is due the fact of the availability of …
language, have been of increasing importance. This is due the fact of the availability of …
Symbolic top-k planning
The objective of top-k planning is to determine a set of k different plans with lowest cost for a
given planning task. In practice, such a set of best plans can be preferred to a single best …
given planning task. In practice, such a set of best plans can be preferred to a single best …
Towards providing explanations for AI planner decisions
In order to engender trust in AI, humans must understand what an AI system is trying to
achieve, and why. To overcome this problem, the underlying AI process must produce …
achieve, and why. To overcome this problem, the underlying AI process must produce …
Reshaping diverse planning
The need for multiple plans has been established by various planning applications. In some,
solution quality has the predominant role, while in others diversity is the key factor. Most …
solution quality has the predominant role, while in others diversity is the key factor. Most …
[PDF][PDF] Inventing relational state and action abstractions for effective and efficient bilevel planning
Effective and efficient planning in continuous state and action spaces is fundamentally hard,
even when the transition model is deterministic and known. One way to alleviate this …
even when the transition model is deterministic and known. One way to alleviate this …