eta.core.reasoning.infer_top_down

infer_top_down(facts, ds)[source]

Infer new facts in a “top-down” manner, using the current expected/intended plan step as context.

Parameters:
Returns:

A list of inferred facts.

Return type:

list[Eventuality]