Абдуктивне виведення знань про процес буріння на основі мультимедійних даних про бурове обладнання

Анотація

Основною метою пропонованого дослідження є побудова методології поєднання технології видобування даних з фреймворком логічного програмування в обмеженнях, що дозволятиме інтеграцію доменних знань про процес буріння в загальну структуру видобування даних та знань про нафтогазову предметну область з можливостями їх безпосереднього застосування на рівні вибраного класифікатора, зокрема, у вигляді дерева рішень при використанні чітких та імовірнісних представлень на рівні фреймворк-застосування, що в своїй основі ґрунтується на абдуктивних методах побудови логічного виведення. Методи дослідження, що застосовуються, зводяться до концепції абдуктивного фреймворку, який на вході приймає набори даних у формі послідовності графічних маркерів, що відповідають конкретним рівням або мета-рівням доменних знань в формі растрових зображень, що загалом уможливлює побудову обчислюваних рішень, що виконують ефективну верифікацію початкових спостережуваних гіпотез. Основним результатом є те, що виконуване застосування класифікатора у формі деревоподібної структури мережі обмежень дозволяє застосування прямих абдукційних обчислень до нових спостережень при досягненні відповідного порогового значення кількості правил, представлених у формі «умова релевантності – умова задоволення» що, в свою чергу,
значно розширює область застосування абдуктивних обчислень загалом, зокрема, до рівня багатозначної логіки. Як основний висновок слід виділити представлене застосування методології логічного програмування в обмеженнях до задач видобування чистих реляційних мультимедійних даних або масивів даних, що потребують застосування первинного очищення шляхом внесення послідовності значущих графічних маркерів на основі дескриптивних засобів першого порядку, що загалом дозволяє побудову застосування в обмежених
пошукових просторах на основі маркованих та імовірнісних значень, що в кінцевому підсумку дозволяє розширення початкового фреймворку до рівня абдуктивного імовірнісного фреймворку, що базуватиметься на семантично обґрунтованих розширеннях логіки першого порядку.