Проаналізовано традиційні підходи до формування процесу логічного висновку і запропоновано методику формування логічного висновку в умовах неповної і неточної інформації.

Основним джерелом потужності експертних систем є знання. Процес набуття знань здійснюється на основі аналізу діяльності експерта - спеціаліста конкретної предметної області. Трудомісткість і неформалізованність цього процесу приводить до того, що він є найбільш вузьким місцем при утворенні експертних систем.

Запропоновано спосіб інтелектуалізації інформаційних систем на основі баз даних і знань нафтогазової предметної області через використання формально-логічного апарату модифікаційних предикатних запитів як інструмента формування та поповнення бази знань і підтримки процедури виконання логічного висновку.

Показано, що кожний модифікаційний предикатний запит є еквівалентним деякій Prolog-програмі, із заданою множиною обмежень. Запропоновано формально-логічне визначення для процедури відображення множини модифікаційних предикатних запитів на множину логічних Prolog-програм у межах підходу на основі семантики стабільних моделей.

Представлено формально-логічний апарат для використання коефіцієнтів впевненості під час побудови предикатних запитів та їх модифікації в інформаційних інтелектуальних системах на основі баз даних і знань нафтогазової предметної області, що дозволяє здійснювати вивід дійсного значення параметра, на підставі суб'єктивних оцінок групи експертів предметної області. На множині модифікаційних предикатних запитів з мітками введено оціночну функцію та спосіб упорядкування значень істинності.

Представлен формально логический аппарат для формализации нефтегазовой предметной области с помощью выделения объектов и связей между ними на основании категорийного подхода, где нефтегазовые объекты - это категории, а связи между ними - морфизмы. Категорийные признаки рассмотрены на множестве предметной области и исследованы инструментами категорийных дополнений и адаптивных функторов. Практическое значение предлагаемого исследования заключается в получении функторных интерпретаций как основы принятия технологических решений по интенсификации добычи углеводородов, что является особенно актуальным в условиях напряженности на энергетическом рынке Украины.

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

Представлено аналіз проблеми застосування CSP-концепції для виконання інтелектуального аналізу даних засобами технології Constraint Logic Programming. Введено формально-логічне обгрунтування процедури ефективного керування множиною обмежень на прикладі задачі нафтогазової предметної області.

Представлено концепцію необхідної модифікації як ефективного інструменту трансформації бази знань і їх підготовки до застосування формально-логічного апарату предикатних запитів як мультифункціонального механізму підтримки діалогу з користувачем нафтогазової предметної області.

Дисертацію присвячено проблемі впровадження нових інформаційних технологій в нафтогазовий комплекс України. Запропоновано методику поетапної формалізації знань експерта-геолога з використанням величин типу "невизначено". Розроблено формально-логічний апарат для представлення і використання знань нафтогазової предметної області на базі теорії нечітких множин і побудовано механізм логічного висновку для інформаційної системи. Розроблено комплексну методику набуття і обробки знань в ході інтерактивного діалогу "експерт - інженер - когнітолог - інформаційна система".

Висвітлено проблеми інформаційного моделювання нафтогазовидобувних об'єктів. Проаналізовано джерела інформації, що описують дані об'єкти у вигляді моделей даних і знань. Увагу приділено особливостям створення автоматизованих робочих місць і експертних систем, а також практичному застосуванню інформаційних технологій в нафтогазовій галузі. Описано механізми створення інформаційних моделей, що відображають явища, процеси й об'єкти предметної області.

Представлено структурні рішення для пошукових задач в рамках процесу видобування інформації для інтегрованого середовища WEB-орієнтованої цифрової бібліотеки з метою реалізації інтелектуальних функцій підтримки запитів користувачів та логічної структуризації документів на основі джерел даних, знань, метаданих та метазнань.

Представлено підхід до виконання інтерпретації інформаційно-пошукових задач на основі обмежень з введеними правилами у вигляді пошуку збігів інформаційної предикатної схеми з обмеженням та правилом з гіперграфом нафтогазової предметної області. Оцінку збігів здійснено на основі аналізу задоволення накладеної системи обмежень та верифікації відповідного ланцюга правил.

Побудовано функторну інтерпретацію, що відображає синтаксичну і семантичну індексовану категорію, що є універсумом усіх можливих станів, до яких може призвести виконання предикативного запиту. Одержану модель модифікаційного предикативного запиту розглянуто як один з видів його ціленезалежних семантик, які інтерпретуються як класи стрілок.

Проведено формалізацію процесу контролю нештатних ситуацій у ході буріння свердловин на нафту і газ у вигляді інформаційно-пошукових задач на основі обмежень. Наведено описи технологічних параметрів у вигляді змінних, доменів, обмежень та лінгвістичних правил.

Досліджено процес функціонування інтелектуальної навчальної системи засобами формальних методів теорії інформаційно-пошукових задач на основі обмежень. Побудовано множини, системи та ієрархії обмежень для статичних і динамічних навчальних проблем із виділеними станами, для яких описано можливі помилки рішень як результат порушення накладених обмежень із повідомленнями зворотного зв'язку.

Проаналізовано формально-логічні підходи до подання та інтерпретації даних і знань про нафтогазові об'єкти у вигляді дослідження функціональності фреймових, продукційних і семантичних представлень. Наведено структуру продукційного правила, умова якого уможливлює використання сполучників "і" та "або", а логічна поведінка правила описується коефіцієнтами впевненості. Визначено умову формування продукційних правил на основі об'єктів, компараторів, доменів, атрибутів, та опційних значень. Показано, що введення ієрархії доменів для нафтогазової предметної області дозволяє виконати структуризацію та концептуалізацію логічного висновку відповідно до введеного впорядкування множини цілей. Введено структуру числових, логічних і категорійних атрибутів, що забезпечує генерування послідовності діалогових питань системою. Специфіковано характеристики доменної організації предметної області, що визначається особливостями логічного висновку, способом специфікації та впорядкування правил. Побудовано семантичні представлення для об'єктів предметної області, шляхом визначення відповідних семантичних зв'язків між об'єктами та атрибутами, об'єктами та правилами, атрибутами та значеннями, правилами та доменами. Обгрунтовано доцільність імплементації гібридного підходу для нафтогазової предметної області у вигляді виділених структурних елементів та їх композицій.

Розроблено метод контролю технологічних помилок як базового елемента інтелектуальної системи з метою запобігання виникненню нештатних ситуацій в процесі буріння нафтових та газових свердловин на основі аналізу структури прийняття рішень на множині накладених технологічних обмежень. На основі аналізу типових процедур прийняття технологічних рішень побудовано формальний підхід до моделювання технологічних проблем засобами теорії представлення та задоволення обмежень, що використано як основну ідею розробки автоматизованої інтелектуальної системи на основі обмежень. Розроблені формальні конструкції класифікації технологічних обмежень дозволяють контролювати перебіг технологічних проблем процесу та виділяти на їх множині можливі нештатні ситуації, що створює основу для прийняття технологічних рішень за умов неповної, неточної, невизначеної та розмитої інформації. Створено інтелектуальну систему, що базується на обмеженнях та уможливлює візуалізацію рішень технологічної проблеми як частину процесу прийняття рішень і генерування відповідного зворотного зв'язку для забезпечення експертних порад щодо виконання необхідних технологічних дій з метою усунення поточної нештатної технологічної ситуації, що інтерпретується системою як процес задоволення певної множини, системи або ієрархії обмежень, накладеної на процес буріння нафтових та газових свердловин.

Запропоновано спосіб застосування класичної процедури Append у ході виконання аналізу абстрактних типів даних модифікаційних предикатних запитів для інформаційних інтелектуальних систем на основі баз даних і знань. Відмінними рисами даного підходу є використання представлення інформації в формі логічних заперечень, явне задання поліморфних залежностей між абстрактними типами даних, і побудова абстрактних доменів на формально-логічній основі теорій послідовного уточнення доменів та абстрактної інтерпретації.

Розроблено метод вибору оптимальних режимних параметрів буріння нафтових і газових свердловин на основі цільових функцій обчислення доцільностей вихідних технологічних параметрів як базового елемента інтелектуальної системи підтримки прийняття рішень, що використовує встановлені значення доцільностей для генерації експертних рекомендацій оператору щодо встановлення значень керованих параметрів. На основі аналізу особливостей інтелектуалізації процедур підтримки прийняття оптимізаційних рішень у процесі буріння нафтових і газових свердловин визначено характеристики критеріїв оптимізації буріння та особливості застосування інтелектуальних систем у процесі буріння. Побудовано абдуктивний фрєймворк з ваговими значеннями для прийняття рішень у процесі буріння, визначено структуру керування процесом підтримки прийняття рішень засобами інтелектуальної системи на основі чіткої та нечіткої логіки, реалізовано формальні методи інтелектуального керування підтримкою прийняття оптимізаційних рішень на основі чітких, нечітких та імовірнісних знань про процес буріння. Розроблено методику прийняття оптимальних рішень у процесі буріння нафтових і газових свердловин на основі обчислення значень корисності для вихідних параметрів.