Труды КНЦ вып.7 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.2 4/2011(7))

УДК 004.9, 004.65 1 1 2 А.А. Зуенко , А.Я. Фридман , Б.А. Кулик ИНТЕЛЛЕКТУАЛЬНЫЕ БАЗЫ ДАННЫХ (РЕЗУЛЬТАТЫ ВЫПОЛНЕНИЯ ПРОЕКТА 4.3 ПРОГРАММЫ № 15 ПРАН)* Аннотация В статье приведен обзор результатов разработки методов общей теории многоместных отношений (алгебры кортежей) в предметных областях, связанных с совместной обработкой данных и знаний. В работе излагается решение проблемы совмещения вероятностных и логических методов в рамках единого математического аппарата алгебры кортежей при прямом и обратном расчете надежности и безопасности структурно-сложных систем. Также приводится оценка сложности основных операций АК. Ключевые слова: общая теория многоместных отношений, алгебра кортежей, логико-вероятностный анализ, вероятностная логика. A.A. Zuenko, A. Ya. Fridman, В.А. Kulik INTELLIGENT DATABASES: SURVEY OF RESULTS OBTAINED WITHIN THE PROJECT 4.3 OF THE PROGRAMME № 15 OF THE CHAIR OF RAS Abstract The paper describes development of a general theory of n-ary relations, namely n- tuple algebra (NTA), for the subject domains requiring combined processing of data and knowledge. We propose a solution of the problem to unite probabilistic and logical techniques in frames of a unified NTA mathematical method for implementing both direct and backward calculation of reliability and safety in structural complex systems. Also, we present complexity estimations for basic n T a operations. Key words: general theory of n-ary relations, n-tuple algebra, logical-probabilistic analysis, probabilistic logic. Введение В истории развития средств логического анализа можно выделить следующие этапы: 1. Силлогистика Аристотеля (IV век до н.э.). 2. Алгебраический подход: теория множеств, булева алгебра, элементы теории отношений (XVII- XIX век). 3. Теория формальных систем (рубеж XIX и XX веков). 4. Эра вычислительной техники (сер. XX века). 1ИИММ КНЦ РАН 2Институт проблем машиноведения РАН, г. С-Петербург *Работа выполнена при финансовой поддержке РФФИ (проект № 09-07-00066, № 11-08-00641-а), ОНИТ РАН (проект 2.3 в рамках текущей Программы фундаментальных научных исследований) и Президиума РАН (проект 4.3 Программы № 15). 128