VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL

By Richard Howey, Derek Long, Maria Fox. IEEE International Conference on Tools with Artificial Intelligence, 2004

317 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Software

View Paper: https://www.semanticscholar.org/paper/d66f0c3dd4a1086be733f151f1635790d8808fac

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Software

Citations in the corpus

On the Planning Abilities of Large Language Models - A Critical Investigation (2023, methodology): “Further, instead of having LPG correct the plans, we use an external verifier, VAL [11], to point out the errors in the LLM-generated plans and back-prompt the LLM for a new plan with this feedback.”
Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior (2015, methodology): “We use the Planning Domain Description Language (PDDL) 2.1 plan validation tool (Howey et al., 2004) to evaluate the prior distribution over possible plans.”
Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning (2023, methodology): “To address this, we show that LLMs can also serve as an interface between PDDL and any feedback sources that can provide corrective feedback in natural language, such as humans and the PDDL validator in VAL [18].”
Interactive and interpretable machine learning models for human machine collaboration (2015, methodology): “1 plan validation tool [72] to evaluate the prior distribution over possible plans.”
PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change (2022, background): “In terms of parsing natural language text back into structured forms, the particular task we are interested in is converting plans generated by the LLM back into plan forms that can be used by plan validator tools like [10].”
Validating Plans in the Context of Processes and Exogenous Events (2005, methodology): “The semantics of events we describe is implemented in the automatic plan validation tool, VAL ( Howey, Long, & Fox 2004 ).”
Planning as Model Checking in Hybrid Domains (2014, unknown): “We consider several instances (with growing size) of the generator (Howey, Long, and Fox 2004) and the car domains (Fox and Long 2006), which are standard and challenging benchmarks in the hybrid planning community.”