Трансформаційний підхід типу «модель-модель» для реалізації байєсівських механізмів інтелектуального аналізу даних

Abstract

Розглядається трансформаційний підхід типу «модель-модель» до створення Байєсівських механізмів інтелектуального аналізу даних заснований на методі шаблонів. Запропоновано формалізацію даного підходу за допомогою логіки предикатів першого порядку з метою його автоматизації. Розроблені узагальнена модель Байєсівського механізму інтелектуального аналізу даних, концептуальні схеми механізму автоматизованої трансформації типу «модель-модель» з використанням логіки предикатів та мови OCL (мова об’єктних обмежень). Наведено приклад трансформації узагальненої моделі в уточнену.Transformational approach of «model-to-model» type for the Bayesian means of intellectual data analysis creation based on the patterns method is considered. The approach formalization by means of the first-order predicate logic with the purpose of its automation is offered. The generalized model of the Bayesian means of intellectual data analysis, conceptual mechanism of the automated transformation of «model-to-model» type charts using predicate logic and the OCL (Object Constraints Language) are developed. The example of transformation of the generalized model in specified one is given.