Эффективное управление в нефтегазовой отрасли связано с повышением степени автоматизации, дальнейшим совершенствованием информационных систем и технологий в рамках концепции «интеллектуального месторождения». Сложность построения автоматизированных интеллектуальных информационных систем связана с разработкой моделей представления и обработки нечетких, неполных знаний (данных).Рассматривается подход к построению базы знаний с использованием теории категорий, аксиоматических формальных теорий и аппарата топологической булевой алгебры. Показана возможность обрабатывать нечеткую информацию и осуществлять логический вывод в рамках дедуктивных формальных систем.

Effective management in the oil and gas industry is associated with an increased degree of automation, the further improvement of the information systems and technologies in the frame-work of the concept of «intelligent field». Complexity of construction of automated intelligent information systems associated with the working out of models of representation and processing of incomplete knowledge (data).We consider an approach to the construction of a knowledge base using category theory, axiomatic formal theories and the topological Boolean algebra. The possibility to handle fuzzy information and implement the logical conclusion in the framework of the formal deductive systems.