Search

The article overviews the means for describing and formally analyzing naturallanguage text knowledge under uncertainty. We consider a family of classic attribute languages and logics based on them, their properties, problems, and solution tools. We also give an overview of propositional n-valued logics and fuzzy logics, their syntax, and semantics. Based on the considered logical constructions, we propose syntax and set-theoretic interpretation of n-valued description logic ALCQn that provides means for describing concept intersection, union, complement, value restrictions, and qualitative and quantitative constraints. We consider the means for solving key problems of reasoning over such logics: executability, augmentation, equivalence, and disjunctivity. As an algorithm for calculating executability degree, we consider an extension of the tableau algorithm often used for first-order logic with solving simple numerical constraints. We prove that the algorithm is terminal, complete, and noncontradictory. We also provide several applications for the provided formal representation in natural language processing, including extending results of machine learning models, combining knowledge from multiple sources, and formally describing uncertain facts. [ABSTRACT FROM AUTHOR]

У статті представлено модель ідентифікації кіберінцидентів SIEM-системою, які відбуваються в ході функціонування інформаційно-комунікаційних систем (ІКС). Наведено перелік задач, які виконує SIEM-система в контурі захисту ІКС та механізмів, що складають її основу та які, у свою чергу, є складовими загального процесу кореляції подій, що відбуваються в ІКС. Проведено аналіз методів процесу кореляції, направлених на видалення, об’єднання та зв’язування даних про події в ІКС з встановленням її причинності та пріоритетності. Зроблено висновок про неефективність застосування існуючих методів в умовах неповноти та неточності інформації про кіберінциденти. Проаналізовано кортежну модель розпізнавання кіберінцидентів та для усунення її недоліків запропоновано удосконалену модель, що ґрунтується на теорії нечітких множин та лінгвістичних термів. Запропонована нова постановка задачі розпізнавання кіберінцидентів, яка зводиться до їхньої ідентифікації. Проаналізовано методи її рішення та виділено низку суттєвих їхніх недоліків, які утруднюють їх використання на практиці. Запропоновано підхід до рішення сформульованої задачі ідентифікації кіберінцидентів SIEM-системою на основі формування нечіткої бази знань SIEM-системи про їхні ознаки на основі збору експертної інформації та її подальшої обробки шляхом застосування теорії нечітких множин. Сформульовано основні принципи, які мають бути використаними під час розробки математичної моделі ідентифікації кіберінцидентів SIEM-системою. Запропонована модель нечіткої бази знань про кіберінцидентіи у вигляді багатовимірної таблиці з ознаками кіберінцидентів, представлених лінгвістичними термами та класами, що їм відповідають. Наведено представлення нечіткої бази (матриці) знань у вигляді системи нечітких правил виду “ЯКЩО-ТО” та на їх основі, шляхом застосування операцій min та max, запропоновано модель ідентифікації кіберінцидентів SIEM-системою. Зроблено висновок про доцільність застосування представленої в роботі моделі для захисту інформаційно-комунікаційних систем в умовах неповноти та неточності інформації про кіберінциденти, що виникають в ході їхнього функціонування.

Показано, що проблематика отримання достовірної прогнозної оцінки у процесі аналізу платоспроможності будь-якого суб'єкта господарської діяльності (підприємства, компанії тощо) досі залишається актуальною. Такі завдання, пов'язані з прогнозуванням та аналізом отриманих результатів, дозволяють фахівцям говорити про стабільність або нестабільність відповідного суб'єкта господарської діяльності. А це, у свою чергу, може бути важливим для оцінювання, наприклад, інвестиційної привабливості об'єкта аналізу та оцінювання з погляду його фінансового стану (ФС). Зважаючи на стрімкий розвиток інформаційних технологій, показано, що інтерес представляє такий аспект загального завдання оцінки ФС суб'єкта господарської діяльності, як вивчення можливості застосування нових когнітивних систем та технологій у процесі оцінки ФС та прогнозування стабільної роботи об'єкта аналізу. У статті запропоновано математичну модель опису в понятійному та функціональному аспекті процесу формування та застосування бази знань для системи підтримки прийняття рішень під час оцінювання фінансового стану підприємства або компанії для обставин, пов'язаних з виявленням окремих факторів (ознак), що слабо структуровані. В свою чергу, це дозволяє підвищити розуміння аналізованих економічних процесів, пов'язаних із ФС суб'єктів господарської діяльності.

Мета статті полягає в дослідженні та вирішенні проблем використання базових принципів сучасного формалізму дескриптивних (термінологічних) логік в інтелектуальних навчальних системах, що використовують бази знань навчального контенту. Методами дослідження є основні методологічні підходи й технологічні засоби для розробки інтелектуальних навчальних систем. Зокрема, системний і порівняльний аналізи – для виявлення особливостей інтелектуальних навчальних систем, метод експертних оцінок, який передбачає аналіз літературних джерел та інформаційних ресурсів, проведення інтерв’ю та опитування експертів з інформаційно-технологічної галузі та математичної логіки, а також процес розробки й тестування інтелектуальної системи. Науковою новизною проведеного дослідження є розробка системи отримання експертних знань для інтелектуальної системи, що поєднує в собі формування бази експертних знань, формалізмом для представлення яких є дескриптивні логіки. Запропонований підхід формалізованого представлення знань з використанням дескриптивних логік можна застосовувати під час розробки авторських інтелектуальних навчальних систем у сфері онлайн-освіти та розвитку когнітивних навичок. Висновки. Сфери застосування дескриптивних логік в інтелектуальних системах постійно розширюються, збільшуючи можливості цих систем щодо формалізованого виведення нових знань, у тому числі й в умовах неповної визначеності. Дескриптивна логіка, яку використовують в інтелектуальних навчальних системах, надає широкі можливості побудови висновку (тобто формування відповіді), зокрема в таких ситуаціях, як формування та надання відповіді на різні види запитів до бази знань системи (наприклад, повністю визначений і чітко сформульований, неповністю визначений і нечітко сформульований, повністю невизначений, неповністю визначений і чітко сформульований, повністю нечітко сформульований, повністю невизначений і нечітко сформульований), допомагаючи конкретизувати запит. Для цього необхідно строго сформулювати відповідну систему числення (побудувати аксіоматичну теорію). Отже, як засіб вирішення семантичних та логічних завдань дескриптивна логіка стала унікальним і важливим механізмом представлення знань. Успішне використання дескриптивної логіки в авторській інтелектуальній навчальній системі забезпечить підвищення якості освітнього процесу; моніторинг процесу навчання та контроль його результатів; сприятиме інтеграції цієї системи до багатьох сучасних інформаційних навчальних систем; забезпечить надання різноманітних консультацій, порад, тлумачень, пояснень щодо навчального контенту чи освітнього процесу, а також широкого спектра тем навчального контенту й тестів різного рівня.

The relevance of the topic is due to the need to make decisions to ensure the reliability of elements and assemblies of complex technical systems with insufficient information about their technical condition. The problem being solved is semi-structured and interdisciplinary. The effectiveness of solving the problem lies in the use of information technologies and artificial intelligence methods, in particular expert systems. The advantages of using information technologies to automate the decision-making process to assess the current technical condition of complex systems are considered. An intelligent decision support system has been developed that allows assessing the risk of failure of elements and components of complex technical systems using elements of artificial intelligence. The proposed decision support system contains: a database; a knowledge base with methods for calculating reliability indicators (probabilities and risks of failures) and a set of decision rules for selecting appropriate decision-making methods; results of determining the probabilities and risks of failure of elements and assemblies of complex technical systems with their ranking; intellectualization model for assessing the technical condition of elements and assemblies. The proposed algorithm for the functioning of a decision support system implements the task of automating the process of assessing the technical condition of complex systems. The use of the proposed decision support system for assessing the technical condition of complex systems will improve the reliability of technical systems with insufficient information about their technical condition. [ABSTRACT FROM AUTHOR]

The increasing importance of innovation as a factor in the effectiveness and competitiveness of companies makes them pay special attention to the processes of obtaining and using knowledge that require special management. International companies, being innovatively active for expansion, are a special subject of knowledge management (KM). In such companies, KM has significant specific features related to their structure, which includes foreign subsidiaries, and the nature of their activities, covering different national markets. Due to the specifics of such companies, they widely use information technology in management and, in particular, use special information tools for KM. The research is aimed to characterize the specific features of KM in international companies and to provide the rationale behind using new information tools for KM, which can be used to improve the effectiveness of innovation. The main focus of the paper is on the specific features of KM in international companies, taking into account their structure and nature of activities, namely: 1) specific features related to the content of the KM, taking into account the number of subsidiaries, the scale of activities, the complexity of tasks, etc.; comparison of the models of internalization and externalization in obtaining new knowledge by companies; 2) specific features related to the internal environment (involvement of all levels of management, multicultural environment, creation of communities of intensive knowledge); 3) specific features related to the external environment, covering interaction with consumers, partners and authorities of different countries; 4) specific features related to the innovative activity (distribution of powers between the parent company and subsidiaries, coordination of research and development (R&D), organization of innovation processes). The global approach of international companies to the development of innovations is substantiated, which determines the content of KM, as well as the need to create a KM system, part of which is information tools. Their improvement allows for enhancing the quality of KM and the effectiveness of innovation. In terms of KM in an international company, the purpose of such information tools as an R&D management information system, a single innovation management platform, a tool for formalizing knowledge, and a corporate knowledge base, is determined. In the future, it is expected to study the effects of the proposed tools, highlight the problems of their introduction and operation, as well as a set of measures to overcome these problems. [ABSTRACT FROM AUTHOR]

Problems of the analysis of natural-language texts are considered. In particular, algorithms for the partial solution of problems of logical consistency/inconsistency of facts derived from the text, search for antimems, and construction of ontologies based on the results of linguistic (semantic-syntactic) analysis of the text are proposed. Logical analysis of the text is performed on the basis of propositional calculus and methods of proof in this calculus. [ABSTRACT FROM AUTHOR]

The object of research in the paper is the source code of a software product written in the Swift programming language. Most programs as a product of a certain project during the life cycle require changes and modifications, which is costly or impossible to implement in the case of poor code quality. One of the options for solving the problem of poor code quality is the timely application of refactoring principles. The existing problem is that implementation of high-level refactoring must be done manually by the developer without the use of automated tools as built-in solutions cannot fulfill the need due to the architectural complexity of the product. To reduce the number of errors made during refactoring, to simplify the process of performing routine actions, it is suggested to use a new software product for refactoring. It works with high-level user commands based on a formalized description of the source code together with a knowledge base containing a description of code entities and their properties (what specific actions can be performed with them). In the work, the refactoring of the source code was carried out using the example of the Swift programming language. The proposed approach of component architecture (knowledge base, software engine) further allows to expand the functionality of the software product to other programming languages. The work was directed to the development of a prototype of a software product using the proposed approach to check and compare the results with other refactoring tools. A command line utility has been developed that accepts a verbal command as an input and outputs the results of processing and analysis of the source code (search for complex structures in the code) or applies the proposed change. As a result of the conducted testing, it was established that the use of the proposed approach allows performing complex refactoring tasks with the help of a simple verbal formalized command. Accomplishing the same task using only the built-in refactoring tools requires significantly more time and effort or is impossible at all. [ABSTRACT FROM AUTHOR]

У статті розглядаються питання підвищення ефективності процесу класифікації карт електронних блоків керування двигуном автомобіля. Проведено аналіз існуючого програмного забезпечення для редагування калібрувальних таблиць в електронних блоках керування, яке має інструменти визначення калібровок і розпізнавання даних. Обмеження використання таких програмних продуктів пов’язані з невеликою кількістю заданих класів калібрувальних таблиць та низькою швидкістю обробки даних. Аналіз результатів проведеного тестування методів класифікації за допомогою спектрального розкладу показав, що система на основі такого методу вимагає складних перетворень результатів спектрального розкладу. Застосування спектрального розкладу для вирішення задачі класифікації можливо в разі визначення деяких характеристик вхідних даних і використанні їх в якості даних для класифікації. Було розроблено алгоритм класифікації даних, який використовує характеризатори для обчислення чітко визначеної характеристики вхідної матриці. Програмний комплекс для реалізації розробленого алгоритму було побудовано з використанням платформи .NET Framework та мови програмування C #. Тестування працездатності системи класифікації проводилося за допомогою розробленої програмної системи на невеликій вибірці карт. Результати попереднього тестування показали, що система вірно визначає клас наданої карти після навчання. Подальше тестування на сімействі блоків автомобілів Mercedes-Benz Bosch EDC16C31/EDC16CP31 показало, що у випадках з великою кількістю навчальних образів результат задовольняє вимогам. Проведене тестування дозволило визначити оптимальну кількість образів для навчання та необхідний для цього час.

The article presents a system capable of generating new ontologies or supplementing existing ones based on articles in Ukrainian. Ontologies are described and an algorithm suitable for automated concept extraction from natural language texts is presented. Ontology as a technology has become an increasingly important topic in contemporary research. Since the creation of the Semantic Web, ontology has become a solution to many problems of understanding natural language by computers. If an ontology existed and was used to analyze documents, then we would have systems that could answer very complex queries in natural language. Google's success showed that loading HTML pages is much easier than marking everything with semantic markup, wasting human intellectual resources. To find a solution to this problem, a new direction in the ontological field, called ontological engineering, has appeared. This direction began to study ways of automating the generation of knowledge, which would be consolidated by an ontology from the text. Humanity generates more data every day than yesterday. One of the main levers today in the choice of technologies for the implementation of new projects is whether it can cope with this flow of data, which will increase every day. Because of this, some technologies come to the fore, such as machine learning, while others recede to the periphery, due to the impossibility or lack of time to adapt to modern needs, as happened with ontologies. The main reason for the decrease in the popularity of ontologies was the need to hire experts for its construction and the lack of methods for automated construction of ontologies. This article considers the problem of automated ontology generation using articles from the Ukrainian Wikipedia, and geometry was taken as an example of the subject area. A system was built that collects data, analyzes it, and forms an ontology from it. [ABSTRACT FROM AUTHOR]

У статті викладені результати досліджень, виконаних в процесі проектування експертної системи (ЕС), призначеної для оцінки загроз інформаційної безпеки (ІБ) критично важливих об'єктів інформатизації (КВОІ). Запропоновано підхід до проектування експертної системи на основі силогізмів і логіки предикатів, а також методу змістовної ідентифікації об’єктів бази знань (БЗ). Суть методу полягає в тому, що кожному об'єкту БЗ проектованої ЕС, ставиться у відповідність кортеж ключових слів (КС), значимість яких визначається експертним шляхом. Таким чином, кожен об'єкт БЗ ставиться у відповідність елементу кінцевого нечіткого топологічного простору об'єктів БЗ. Змістовна ідентифікація проходить по відстані між об'єктами БЗ. Запропонований в роботі підхід, в порівнянні з рішеннями інших авторів, має низку переваг. А саме дозволяє: моделювати різноваріативні сценарії реалізації кіберзагроз для КВОІ і їх наслідки; визначати внесок від кожного з факторів або компонент архітектури ІБ КВОІ на загальну картину ймовірності реалізації кіберзагрози для КВОІ; моделювати взаємодію всіх факторів ІБ і при необхідності візуалізувати цю взаємодію; розраховувати і в подальшому ранжувати значення ймовірностей кіберзагроз для КВОІ для конкретних сценаріїв реалізації загроз; автоматизувати за рахунок застосування розробленого ПО процеси моделювання загроз і значно скоротити час на аудит загроз. Показано, що використання методу змістовної ідентифікації, дозволяє підвищити адекватність моделей обраної предметної області, а також запобігти помилкове введення в БЗ ЕС однакових за змістом суджень експертів і цілей, зокрема при об'єднанні ієрархій цілей, сформованих різними експертними групами. Показано, що метод також може використовуватися для пошуку цілей ієрархії, точні формулювання яких, за ключовими словами, невідомі.

The problem of constructing knowledge representation in the process control system for knowledge-capacious business processes in the aspect of reflecting the cause-effect relationships between the context of performance of actions and the actions of the business process is studied. It is shown that the general approach to solving this problem is related to the isolation of causal dependencies on the basis of an analysis of the event log containing records of the behavior of the business process. When solving the problem, problems of clarifying the structure of the representation of the cause-effect aspect of knowledge are formulated in accordance with the features of the log of the information system of process control; the construction of logical facts and rules in accordance with the structure of log events; formalization of knowledge representation taking into account facts, rules and a priori restrictions. It is established that the connection between the artifacts of the context and the events of the business process log is carried out through common attributes. Between artifacts and attributes and between events and attributes, there is one-to-many relationship. The logical component of the knowledge base is structured in the form of logical facts and rules. Logical facts determine the state of the business process at discrete points in time based on the values of the properties of artifacts. The output rules determine the change in the state of the business process. A knowledge representation is proposed that takes into account the state of the context for the execution of business process actions in the form of weighted logical facts, as well as output rules that support the selection of actions taking into account the current state of the context. The difference between the proposed representation is that when defining facts, the attributes of events are taken into account, and the rules are the structure and sequence of events of the business process log. A priori knowledge of the subject area in the form of constraints is also tak en into account. The practical importance of the knowledge representation is the ability to automatically identify the cause-effect relationships between the actions of the business process in accordance with the information in its log.

The problem of constructing knowledge representation in the process control system based on the analysis of the behavior of business processes, represented in the form of logs of events, is studied. Each event characterizes the action of the business process. The urgency of the problem is determined by the fact that when managing complex knowledge-capacious business processes, performers can change the sequence of actions taking into account additional knowledge about the subject area. As a result, there is a discrepancy between the process and its model, which creates difficulties for the further management of this business process. To eliminate this discrepancy, it is necessary to formalize the additional knowledge used and apply them in process management, which requires the creation of an appropriate knowledge representation. The proposed knowledge representation model takes into account the static and dynamic characteristics of the business process. The static characteristics of a business process are specified by facts and rules with arguments represented by the attributes of the log events. Facts and rules are formed on the basis of appropriate templates. Attributes specify the values of the properties of objects with which the business process operates. Dynamic features of the business process are determined through the current distribution of the probability that the rules will be executed, taking into account the attributes of the current business process log event. The proposed model is characterized by the fact that it takes into account the limitations on the permissible sequences of execution of the actions of the business process, as well as restrictions based on a priori knowledge of the subject area. Such restrictions will reduce the complexity of the problem of finding the probabilities of a successful completion of a business process by reducing the number of allowed trails in the event that the performers have changed the sequence of actions. In practical terms, the model provides the ability to support decision-making on the management of knowledge-intensive business processes based on predicting the probabilities of achieving the final state of the process, taking into account the attributes of log events.

Предметом дослідження в статті є авіаційний двигун ТВ3-117 та методи контролю і діагностики його технічного стану. Мета роботи – розробка інформаційної та динамічної моделей контролю і діагностики технічного стану авіаційного двигуна ТВ3-117 задля визначення основних вимог до експертної системи. В статті вирішуються наступні завдання: розробки інформаційної та динамічної моделей контролю і діагностики авіаційного двигуна ТВ3-117 з використанням методології системного аналізу. Використовуються такі методи: методи системного аналізу, методи системного програмування, методи побудови інформаційних моделей. Отримано наступні результати: Розроблено інформаційну модель, що визначає логічну структуру баз даних і знань, а також способи та механізми управління ними та взаємодії (обґрунтування змісту, наповнення, управління інформаційними потоками). Розроблено динамічну модель, що визначає правила роботи з експертною системою, які є основою для створення інтерфейсу (сценаріїв) з користувачем і визначають динаміку взаємодії експертної системи з базами даних і знань, моделі контролю і діагностики технічного стану авіаційного двигуна ТВ3-117. Висновки: Розроблено комплекс інформаційних моделей процесу контролю і діагностики технічно-го стану авіаційного двигуна ТВ3-117, на основі технології IDEF/1X, що дозволило визначити логічну структуру і механізми взаємодії баз даних і баз знань в складі розроблюваної експертної системи контролю і діагностики технічного стану авіаційного двигуна ТВ3-117. Побудована динамічна модель процесів контролю і діагностики технічного стану авіаційного двигуна ТВ3-117 на основі IDEF / CPN, що дозволило визначити вимоги до механізму логічного висновку в процесі виконання функцій контролю та діагностики технічного стану авіаційного двигуна ТВ3-117 експертною системою. Перспективи дослідження – завершальним етапом системного моделювання є системний проєкт, який формує контури дослідницького прототипу експертної системи і перелік вимог, що реалізують його.

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

The paper proposes an approach to the detection of abnormalities in the behavior of knowledge-capacity business processes on the basis of comparative analysis of tracks in the log of events logging. The approach takes into account the temporal and object aspects of the implementation of the business process. The temporal aspect defines the sequence of events that reflect the execution of the business process. Object defines the characteristics of objects that use the business process when performing these actions. When searching for abnormal fragments, the distance between paths in the attribute event space is calculated. As an indicator of the beginning and end of an abnormal fragment, the angle of deviation between the tracks is used. The approach defines the set of attributes of objects associated with the execution of an anomalous fragment, as well as the values of these attributes, which can then be used to improve the business process.

Copyright of Scientific Bulletin of National Mining University is the property of National Mining University, State Higher Educational Institution and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

В роботі розроблено представлення знань для інформаційної системи процесного управління. Зазначене представлення знань містить у собі набір артефактів, з якими взаємодіє бізнес-процес, а також залежності між цими артефактами і між значеннями їх атрибутів. Артефакти включають в себе будь-які сутності, що використовуються процесом. Відносини між артефактами підрозділяються на статичні обмеження, а також правила вибору дій і об’єктів, що залежать від часу. Розроблене представлення може бути побудовано на основі аналізу логів бізнес-процесів методами інтелектуального аналізу процесів і даних. Запропоновано модель бази знань ІС процесного управління. Модель включає в себе розроблене представлення знань, а також набір операцій з визначення властивостей артефактів, побудови і уточнення представлення знань. Модель забезпечує можливість інкрементного поповнення бази знань по мірі виконання бізнес-процесів.

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

The analysis of expert systems as the main type of intellectual systems was carried out in this article. The advantages of using, technology of development and requirements for expert systems were presented. As a result of this research, the role of logic as a tool for verifying and representation argumentative reasoning and the structure of argumentation, as well as a tool for constructing argumentative schemes in expert systems was highlighted. The significance of concepts of classical logic, non-monotonic logic and fuzzy logic was noted. [ABSTRACT FROM AUTHOR]

The main goal of classification is to split a plurality of elements into categories so that these elements have a sufficient number of identical features, which allows to ignore their individual differences. There are classification systems based on neural networks, which use the method of "supervised learning". Such systems are effective and popular, and they are usually used on big amounts of data. The work of such a network is more effective than the knowledge base, because a well-trained network calculates results faster. Nevertheless, neural networks have a problem of necessity to retrain the network on the structure change. Ontology-based classification systems solve this problem and allow to work with it right away due to semantic reasoning. Such systems are also used when it is impossible to get the data-set for the neural-network training. Due to these reasons the ontology-based classification system is more suitable for resolving the described problem. Protégé is the most popular ontology editor which is able to export ontologies in various formats (RDF/ XML, OWL/XML, JSON-LD) and provide a number of semantic reasoners (Pellet, HermiT, FaCT). Telegram is one of the most secure and popular messengers. Moreover, Telegram bots have a wide functionality. Taking into consideration these facts, it was decided to implement the system which helps company managers to select the best candidates for their vacancies, according to the required skills and the skills of a candidate. The system was implemented by using the ontology exported from the Protégé in OWL/XML format to define the hierarchy, semantic reasoner HermiT to classify data, and Python programming language to implement the bot's functionality. A description of the structure, functionality, test-case, and the main problems of the system is given in the article. [ABSTRACT FROM AUTHOR]

Copyright of Electronics & Control Systems is the property of National Aviation University and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Radio Electronics, Computer Science, Control is the property of Zaporizhzhia National Technical University and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The problem of creation of the domain knowledge ontology in education of future engineering teachers in branch of Information Technology is considered in the article. The ontology of Information System domain knowledge has been built. This enables to combine a huge amount of existing information into a single knowledge base that combines several disciplines. It has been shown in the process of investigation that Protege OWL programming product is the best for the creation of computer system ontology in preparing future engineering teachers and makes it possible to describe not only concepts, but also specific objects. It is based on a logical model that allows creating definitions of Information System domain knowledge of informal description. The structure and methods of building and using in future the ontology of Information System domain knowledge in the professional activity future engineering teachers in the area of computer technology has been studied.

Розроблено архітектуру та структуру системи підтримки прийняття рішень (СППР) із усунення ударів і вібрацій у процесі глибинно-похилого буріння. Розроблено алгоритм функціонування системи та інформаційне забезпечення, яке охоплює базу даних реального часу, базу моделей та правил і базу знань експертів. У процесі реалізації системи база знань експертів ґрунтується на моделях на основі мереж Байєса. Розроблений програмний продукт, у режимі порадника, придатний для промислового використання під час буріння похило-скерованих свердловин за допомогою сучасних MWD-, LWD-, RSS-систем.

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

Copyright of Electronics & Control Systems is the property of National Aviation University and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

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

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

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

This article develops the problem of the use of computer systems ontology in the professional activity of future engineers and teachers in the sphere of computer technology. The tasks of automated exchange of formal model descriptions as a main factor of a research performing in the sphere of ontology use have been grounded. The expediency of use of the ontology of computer systems in the following fields of intending engineers and teachers’ training: artificial intelligence, interface, natural language processing, question-answer systems, classification of goods and services semantic mark-up of text, modelling organizational structure of enterprises, systems of reference information (NSI).

Copyright of Eastern-European Journal of Enterprise Technologies is the property of PC TECHNOLOGY CENTER and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

In this article, a method was developed for antifault control of complex technical systems using a hybrid expert system. The presented hybrid expert system is based on a neural network and fuzzy logic, and also uses an automated knowledge base. Factors and criteria for the operability of technical units of complex technical systems are considered, on the basis of diagnostics and forecasting, a final conclusion is made about the operability of the system, and actions are in place to apply which can eliminate emergency or abnormal situations in the event of their detection. As an example for simulating a neural network, data from the ship's air conditioning system were taken. [ABSTRACT FROM AUTHOR]

Introduction. The method of ice cream recipe modeling is developed, which, unlike traditional ones, is based on the application of processing expert data and optimization methods. It allows to significantly expand the range of tasks. These tasks solutions can bring significant economic effect. Materials and methods. To create a database and knowledge base, a relational database under the control of Firebird DBMS was used. IBExpert software tool was used to ease the database structure development. While creating a user interface, the integrated Microsoft Visual Studio software development environment is used. Results and discussion. The hybrid expert system for modeling ice cream recipes is intended to improve the existing ones or develop new types of ice cream in a wide range of changes in the chemical composition by applying fundamentally new functional and technological ingredients. The expert system allows, in production conditions, with the minimum expense of time, to calculate the chemical composition of the ice cream recipes of guaranteed quality taking into account the available raw materials. The knowledge base formed in the expert system will improve the nutritional structure of the population due to the exclusion of chemically modified and synthesized food additives from the recipe ice cream composition and their replacement on natural, biologically complete ingredients of domestic production. Conclusions. Using an expert system in the production environment will allow you to constantly update and accumulate knowledge of expert technicians who work in this field. The constant accumulation of new knowledge about the ice cream recipe will enable the creation and expansion of partnership programs with domestic and foreign enterprises. Using this expert system will reduce the cost of modeling new ice cream recipes. [ABSTRACT FROM AUTHOR]

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

Copyright of Eastern-European Journal of Enterprise Technologies is the property of PC TECHNOLOGY CENTER and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Eastern-European Journal of Enterprise Technologies is the property of PC TECHNOLOGY CENTER and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Scientific Journal of National University of Life & Environmental Sciences of Ukraine. Series: Technique & Energy of APK is the property of National University of Life & Environmental Sciences of Ukraine and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)