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

Основною метою пропонованого дослідження є побудова методології поєднання технології видобування даних з фреймворком логічного програмування в обмеженнях, що дозволятиме інтеграцію доменних знань про процес буріння в загальну структуру видобування даних та знань про нафтогазову предметну область з можливостями їх безпосереднього застосування на рівні вибраного класифікатора, зокрема, у вигляді дерева рішень при використанні чітких та імовірнісних представлень на рівні фреймворк-застосування, що в своїй основі ґрунтується на абдуктивних методах побудови логічного виведення. Методи дослідження, що застосовуються, зводяться до концепції абдуктивного фреймворку, який на вході приймає набори даних у формі послідовності графічних маркерів, що відповідають конкретним рівням або мета-рівням доменних знань в формі растрових зображень, що загалом уможливлює побудову обчислюваних рішень, що виконують ефективну верифікацію початкових спостережуваних гіпотез. Основним результатом є те, що виконуване застосування класифікатора у формі деревоподібної структури мережі обмежень дозволяє застосування прямих абдукційних обчислень до нових спостережень при досягненні відповідного порогового значення кількості правил, представлених у формі «умова релевантності – умова задоволення» що, в свою чергу, значно розширює область застосування абдуктивних обчислень загалом, зокрема, до рівня багатозначної логіки. Як основний висновок слід виділити представлене застосування методології логічного програмування в обмеженнях до задач видобування чистих реляційних мультимедійних даних або масивів даних, що потребують застосування первинного очищення шляхом внесення послідовності значущих графічних маркерів на основі дескриптивних засобів першого порядку, що загалом дозволяє побудову застосування в обмежених пошукових просторах на основі маркованих та імовірнісних значень, що в кінцевому підсумку дозволяє розширення початкового фреймворку до рівня абдуктивного імовірнісного фреймворку, що базуватиметься на семантично обґрунтованих розширеннях логіки першого порядку.The main objective of the proposed research is to build up the methodology for combining data mining technologies with the framework of logic programming with constraints that allow the integration of domain knowledge’s about the drilling process into the overall structure of the data and knowledge’s mining for the oil and gas domain with the possibilities of direct application with the selected classifier, particularly, in the form of decision tree that make use of crispy and posibilistic-based level of framework application that basically implements the abductive methods of inference construction. The used research methods can be reduced to the pure concept of the abductive framework implementation which at the very input receives the data sets in the form of the graphic markers that correspond to the specific levels or meta-levels for the domain knowledges in the form of raster images, which generally allows to build the computable solutions that perform effective verification of the initial hypotheses that were observed. The main result is that the executable application classifier in the form of a tree structure of the constraints network allows the use of direct abductive computing to the new observations with the purpose of achieving the appropriate threshold number of rules presented in the form of «relevancy condition – satisfaction condition" that, in turn, greatly expands the scope of abductive computing as a whole, particularly the level of multiple-valued logic. As the main result there should be highlighted the submitted application methodology of logic programming with constraints to the problems of extracting pure relational media or data sets that require the use of primary treatment by creating of the sequences of significant graphical markers based on descriptive tools of the first order, which generally allows the building of applications for the restricted search spaces based on marked and probabilistic values, which ultimately allows the extension of the original framework for the level of abductive probabilistic framework that will be based on the semantically founded extensions of first-order logi

Logic Programming: Context, Character and Development

Logic programming has been attracting increasing interest in recent years. Its first realisation in the form of PROLOG demonstrated concretely that Kowalski's view of computation as controlled deduction could be implemented with tolerable efficiency, even on existing computer architectures. Since that time logic programming research has intensified. The majority of computing professionals have remained unaware of the developments, however, and for some the announcement that PROLOG had been selected as the core language for the Japanese 'Fifth Generation' project came as a total surprise. This thesis aims to describe the context, character and development of logic programming. It explains why a radical departure from existing software practices needs to be seriously discussed; it identifies the characteristic features of logic programming, and the practical realisation of these features in current logic programming systems; and it outlines the programming methodology which is proposed for logic programming. The problems and limitations of existing logic programming systems are described and some proposals for development are discussed. The thesis is in three parts. Part One traces the development of programming since the early days of computing. It shows how the problems of software complexity which were addressed by the 'structured programming' school have not been overcome: the software crisis remains severe and seems to require fundamental changes in software practice for its solution. Part Two describes the foundations of logic programming in the procedural interpretation of Horn clauses. Fundamental to logic programming is shown to be the separation of the logic of an algorithm from its control. At present, however, both the logic and the control aspects of logic programming present problems; the first in terms of the extent of the language which is used, and the second in terms of the control strategy which should be applied in order to produce solutions. These problems are described and various proposals, including some which have been incorporated into implemented systems, are described. Part Three discusses the software development methodology which is proposed for logic programming. Some of the experience of practical applications is related. Logic programming is considered in the aspects of its potential for parallel execution and in its relationship to functional programming, and some possible criticisms of the problem-solving potential of logic are described. The conclusion is that although logic programming inevitably has some problems which are yet to be solved, it seems to offer answers to several issues which are at the heart of the software crisis. The potential contribution of logic programming towards the development of software should be substantial

Derivation of logic programs

Imperial Users onl