Combinatorial solver and logic solver planner
AssigneeSchlumberger Technology Corporation
InventorsMaria Fox, Derek Long, Fangkai Yang
Life of this patent
Estimating the term…
Abstract
A method includes receiving oilfield operational plan information; determining oilfield operational plan actions based at least in part on the oilfield operational plan information by implementing a combinatorial solver; assessing at least a portion of the oilfield operational plan actions by implementing a logical solver; and, based at least in part on the determining and the assessing, outputting an oilfield operational plan as a digital plan that specifies at least one control action for oilfield equipment.
Claims18
A method comprising:
- receiving oilfield operational plan information;
- determining oilfield operational plan actions based at least in part on the oilfield operational plan information by implementing a combinatorial solver to search a state space;
- partitioning the search of the state space by implementing a logical solver that receives from the combinatorial solver contextual information as to an operational state and a query for a corresponding one of the oilfield operational plan actions, wherein, in response, the logical solver determines and returns an answer to the query to the combinatorial solver and wherein the logical solver comprises inference rules for context dependent application of the answer to one or more other oilfield operational plan actions for at least one subsequent operational state as a side effect of performance of the one of the oilfield operational plan actions;
- based at least in part on the determining and the partitioning, outputting an oilfield operational plan as a digital plan that specifies at least one control action for oilfield equipment;
- and
- responsive to performance of at least one of the at least one control action, calling for re-planning of the digital plan via implementation of the combinatorial solver and the logical solver, wherein implementation of the logical solver expedites re-planning.
A system comprising:
- a processor;
- memory accessible by the processor;
- processor-executable instructions stored in the memory and executable to instruct the system to:
- receive oilfield operational plan information;
- determine oilfield operational plan actions based at least in part on the oilfield operational plan information by implementing a combinatorial solver to search a state space;
- partition the search of the state space by implementing a logical solver that receives from the combinatorial solver contextual information as to an operational state and a query for a corresponding one of the oilfield operational plan actions, wherein, in response, the logical solver determines and returns an answer to the query to the combinatorial solver and wherein the logical solver comprises inference rules for context dependent application of the answer to one or more other oilfield operational plan actions for at least one subsequent operational state as a side effect of performance of the one of the oilfield operational plan actions;
- based at least in part on the determined oilfield operational plan actions and the partitioned search of the state space, output an oilfield operational plan as a digital plan that specifies at least one control action for oilfield equipment;
- and
- responsive to performance of at least one of the at least one control action, call for re-planning of the digital plan via implementation of the combinatorial solver and the logical solver, wherein implementation of the logical solver expedites re-planning.
One or more non-transitory computer-readable storage media comprising processor-executable instructions to instruct a computing system to:
- receive oilfield operational plan information;
- determine oilfield operational plan actions based at least in part on the oilfield operational plan information by implementing a combinatorial solver to search a state space;
- partition the search of the state space by implementing a logical solver that receives from the combinatorial solver contextual information as to an operational state and a query for a corresponding one of the oilfield operational plan actions, wherein, in response, the logical solver determines and returns an answer to the query to the combinatorial solver and wherein the logical solver comprises inference rules for context dependent application of the answer to one or more other oilfield operational plan actions for at least one subsequent operational state as a side effect of performance of the one of the oilfield operational plan actions;
- based at least in part on the determined oilfield operational plan actions and the partitioned search of the state space, output an oilfield operational plan as a digital plan that specifies at least one control action for oilfield equipment;
- and
- responsive to performance of at least one of the at least one control action, call for re-planning of the digital plan via implementation of the combinatorial solver and the logical solver, wherein implementation of the logical solver expedites re-planning.
Dependencies are inferred from the claim text.