Formal Methods for Solving Technological Problems in the Infocommunications Routines of Intelligent Decisions Making for Drilling Control

The proposed infocommunications routines for intellectual system based on constraints allows to conduct diagnostics of solutions to a technological problem (extraordinary unsheduled situation in drilling) submitted by the object of the decision support and on the basis of such analysis to generate the corresponding feedback. The feedback provides the benefits of a long-term and short-term decision-making process by reviewing the false knowledge of the oil and gas subject area submitted by the decision support object. An additional advantage of the constraints-based approach is the avoidance of detailed study and classification of errors made by decision support object, who tend to systematically use some unified procedure to solve current tasks. Each object uses one of the class of procedures that can be used for a certain class of tasks and the strategy of choosing procedures from the corresponding equivalence class and depends on the current task. Interfaces support the solution of a technological problem by visualizing its structure. When forming a request, the decision support system carries out a synchronous search using the keywords entered and highlights the errors in which such words are found, thus facilitating the choice of the object. Modeling on the basis of the analysis of the errors of the decision support object determines that for the study of the technological process of drilling of oil and gas wells, the significance of declarative knowledge are the dominant. Each constraint on the system has one or more predefined feedback messages that are provided to the object when the constraint is violated.