Learning neural-symbolic descriptive planning models via cube-space priors: The voyage home (to STRIPS)

M Asai, C Muise - arXiv preprint arXiv:2004.12850, 2020 - arxiv.org
We achieved a new milestone in the difficult task of enabling agents to learn about their
environment autonomously. Our neuro-symbolic architecture is trained end-to-end to …

Classical planning in deep latent space

M Asai, H Kajino, A Fukunaga, C Muise - Journal of Artificial Intelligence …, 2022 - jair.org
Current domain-independent, classical planners require symbolic models of the problem
domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile …

Towards More Likely Models for AI Planning

T Caglar, S Belhaj, T Chakraborti, M Katz… - arXiv preprint arXiv …, 2023 - arxiv.org
This is the first work to look at the application of large language models (LLMs) for the
purpose of model space edits in automated planning tasks. To set the stage for this sangam …

Classical planning in deep latent space

M Asai, H Kajino, A Fukunaga, C Muise - arXiv preprint arXiv:2107.00110, 2021 - arxiv.org
Current domain-independent, classical planners require symbolic models of the problem
domain and instance as input, resulting in a knowledge acquisition bottleneck. Meanwhile …

Symbolic model training with active learning

A Kishimoto, M Asai, HOU Yufang, H Kajino… - US Patent App. 17 …, 2022 - Google Patents
US20220198324A1 - Symbolic model training with active learning - Google Patents
US20220198324A1 - Symbolic model training with active learning - Google Patents …

Symbolic Reasoning in Latent Space: Classical Planning as an Example

M Asai, H Kajino, A Fukunaga… - Neuro-Symbolic Artificial …, 2021 - ebooks.iospress.nl
Symbolic systems require hand-coded symbolic representation as input, resulting in a
knowledge acquisition bottleneck. Meanwhile, although deep learning has achieved …

Generating symbolic domain models from multimodal data

M Chiari, HOU Yufang, H Kajino, A Kishimoto… - US Patent …, 2023 - Google Patents
(57) ABSTRACT A computer generates a formal planning domain description. The computer
receives a first text-based description of a domain in an AI environment. The domain …