Модифікаційні предикатні запити

Abstract

В даній статті запропоновано спосіб інтелектуалізації інформаційних систем на основі баз даних і знань нафтогазової предметної області через використання формально-логічного апарату модифікаційних предикатних запитів , як інструменту формування і поповнення бази знань і підтримки процедури виконання логічного висновку.In given paper the method of intellectualization of the information systems build on the basis of databases and knowledges of oil and gas subject domain is offered through the use of formal-logical apparatus of predicate queries modification, which are considered as an tool of forming and supplementing of an knowledge base and supporting of procedure of logical inference implementation.