Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback

Strips: A new approach to the application of theorem proving to problem solving

Richard E. Fikes and Nils J. Nilsson. 1971 · 1971

Earlier work this paper cites.

Prodigy: An integrated architecture for planning and learning

Jaime Carbonell, Oren Etzioni, Yolanda Gil, Robert Joseph, Craig Knoblock, Steve Minton, and Manuela Veloso. 1991 · 1991

Earlier work this paper cites.

PDDL - the planning domain definition language

Malik Ghallab, Adele Howe, Craig Knoblock, Drew McDermott, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. 1998 · 1998

Earlier work this paper cites.

Answer set programming and plan generation

Vladimir Lifschitz. 2002 · 2002

Earlier work this paper cites.

Shop2: An htn planning system

Dana Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, J William Murdock, Dan Wu, and Fusun Yaman. 2003 · 2003

Earlier work this paper cites.

The fast downward planning system

Malte Helmert. 2006 · 2006

Earlier work this paper cites.

Answer set programming at a glance

Gerhard Brewka, Thomas Eiter, and Mirosław Truszczyński. 2011 · 2011

Earlier work this paper cites.

Learning task knowledge from dialog and web access

Vittorio Perera, Robin Soetens, Thomas Kollar, Mehdi Samadi, Yichao Sun, Daniele Nardi, René van de Molengraft, and Manuela Veloso. 2015 · 2015

Earlier work this paper cites.

A Review of Learning Planning Action Models

Ankuj Arora, Humbert Fiorino, Damien Pellier, Marc M ´ Etivier, and Sylvie Pesty. 2018 · 2018

Earlier work this paper cites.

Augmenting knowledge through statistical, goal-oriented human-robot dialog

Saeid Amiri, Sujay Bajracharya, Cihangir Goktolgal, Jesse Thomason, and Shiqi Zhang. 2019 · 2019

Earlier work this paper cites.

Learning to synthesize programs as interpretable and generalizable policies

Dweep Trivedi, Jesse Zhang, Shao-Hua Sun, and Joseph J. Lim. 2021 · 2021

Earlier work this paper cites.

Language models as zero-shot planners: Extracting actionable knowledge for embodied agents

Wenlong Huang, Pieter Abbeel, Deepak Pathak, and Igor Mordatch. 2022 · 2022

Earlier work this paper cites.

Do as i can, not as i say: Grounding language in robotic affordances

Brian Ichter, Anthony Brohan, Yevgen Chebotar, Chelsea Finn, Karol Hausman, Alexander Herzog, Daniel Ho, Julian Ibarz, Alex Irpan, Eric Jang, Ryan Julian, Dmitry Kalashnikov, Sergey Levine, Yao Lu, Carolina Parada, Kanishka Rao, Pierre Sermanet, Alexander T Toshev, Vincent Vanhoucke, Fei Xia, Ted Xiao, Peng Xu, Mengyuan Yan, Noah Brown, Michael Ahn, Omar Cortes, Nicolas Sievers, Clayton Tan, Sichun Xu, Diego Reyes, Jarek Rettinghouse, Jornell Quiambao, Peter Pastor, Linda Luu, Kuang-Huei Lee, Yuheng Kuang, Sally Jesmonth, Kyle Jeffrey, Rosario Jauregui Ruano, Jasmine Hsu, Keerthana Gopalakrishnan, Byron David, Andy Zeng, and Chuyuan Kelly Fu. 2022 · 2022

Earlier work this paper cites.

PDDL generators

Jendrik Seipp, Álvaro Torralba, and Jörg Hoffmann. 2022 · 2022

Earlier work this paper cites.

Leveraging pre-trained large language models to construct and utilize world models for model-based task planning

Lin Guan, Karthik Valmeekam, Sarath Sreedharan, and Subbarao Kambhampati. 2023 · 2023

Cited alongside, same era.

Code as policies: Language model programs for embodied control

Jacky Liang, Wenlong Huang, Fei Xia, Peng Xu, Karol Hausman, Brian Ichter, Pete Florence, and Andy Zeng. 2023 · 2023

Cited alongside, same era.

LLM+P: Empowering large language models with optimal planning proficiency

Bo Liu, Yuqian Jiang, Xiaohan Zhang, Qiang Liu, Shiqi Zhang, Joydeep Biswas, and Peter Stone. 2023 · 2023

Cited alongside, same era.

Cook2ltl: Translating cooking recipes to ltl formulae using large language models

Original

Angelos Mavrogiannis, Christoforos Mavrogiannis, and Yiannis Aloimonos. 2023 · 2023

Cited alongside, same era.

LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers

Theo Olausson, Alex Gu, Ben Lipkin, Cedegao Zhang, Armando Solar-Lezama, Joshua Tenenbaum, and Roger Levy. 2023 · 2023

Claude 3.5 sonnet. https://www.anthropic.com/news/claude-3-5-sonnet

Anthropic. 2024 · 2024

Closest in time.

Language-augmented symbolic planner for open-world task planning

Guanqi Chen, Lei Yang, Ruixing Jia, Zhe Hu, Yizhou Chen, Wei Zhang, Wenping Wang, and Jia Pan. 2024 · 2024

Closest in time.

Interpret: Interactive predicate learning from language feedback for generalizable task planning

Muzhi Han, Yifeng Zhu, Song-Chun Zhu, Ying Nian Wu, and Yuke Zhu. 2024 · 2024

Closest in time.

Saycanpay: Heuristic planning with large language models using learnable domain knowledge

Rishi Hazra, Pedro Zuidberg Dos Martires, and Luc De Raedt. 2024 · 2024

Closest in time.

Deploying and evaluating llms to program service mobile robots

Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, and Joydeep Biswas. 2024 · 2024

Closest in time.