Abstract: A method for inferring an operator including a precondition and an effect of the operator for a planning problem is disclosed. In the method, a set of examples, each of which includes a base state, an action and a next state after performing the action in the base state is prepared. In the method, variable lifting is performed in relation to the set of examples. In the method, a validity label is computed for each example in the set of examples. In the method, a model is trained by using the set of examples with the validity label so that the model is configured to receive an input state and a representation of an input action and output at least validity of the input action for the input state. In the method, the precondition of the operator based on the model and the effect of the operator are outputted.

Abstract: Methods and systems for training a semantic parser includes performing an automated intervention action in a text-based environment. An inverse action is performed in the text-based environment to reverse the intervention action. States of the text-based environment are recorded before and after the intervention action and the inverse action. The recorded states are evaluated to generate training data. A semantic parser neural network model is trained using the training data.