Method for translating user requests into planning problems using intermediate representations

A method of plan generation, comprising:

• receiving a task description associated with a first user request, wherein:
• the first user request requests a state change from an initial state to a desired goal state, and
• the task description comprises structured input for a planner and is based on a materialized representation comprising one or first facts in a declarative language that are associated with an intermediate representation of the first user request comprising at least one of:
• one or more second facts, or
• one or more rules in the declarative language;
• and
• generating an execution plan based on at least the task description, wherein the execution plan comprises a sequence of steps used to transform the initial state to the desired goal state.

A processing system, comprising:

• a memory comprising computer-executable instructions;
• and
• a processor configured to execute the computer-executable instructions and cause the processing system to:
• generate a first intermediate representation of a first user request included in a first prompt using a large language model (LLM), wherein the first user request requests a state change from an initial state to a desired goal state, and wherein the first intermediate representation comprises at least one of:
• one or more first facts, or
• one or more rules in a declarative language;
• generate a first materialized representation of the first user request based on the first intermediate representation and a domain description using a logic reasoner, wherein the first materialized representation comprises one or more second facts in the declarative language, and wherein the one or more second facts comprise at least one of a subset of the one or more first facts or one or more inferred facts;
• and
• generate a task description based on the first materialized representation, wherein the task description comprises structured input for a planner.