A Java library that implements the STRIPS algorithm. In artificial intelligence, STRIPS (Stanford Research Institute Problem Solver) is an automated planner developed by Richard Fikes and Nils Nilsson in 1971 at SRI International.
Currently, when we have to instantiate a partially instantiated predicate, we try to find a full instantiated predicate in our current state, and then we extract the constant values.
Problem: if the predicate is not in our current state, then the algorithm fails.
Proposal: if the predicate is not in our current state, then try to reach it using an operator.