широкого круга логических задач (абдуктивные и модифицируемые заключения, моделирование графов и семантических сетей, экспертных правил
ит.д.).
Сточки зрения интеллектуализации баз данных АК представляет собой расширение реляционной алгебры на задачу обработки знаний. По мнению авторов, АК может служить основой программных средств для совместной обработки данных и знаний в интеллектуальных системах.
Предложенный в рамках АК подход к логико-семантическому анализу позволяет решать следующие задачи:
выразить в единых структурах данные и знания; использовать в семантических исследованиях универсальные методы
анализа модифицируемых рассуждений, не нарушая при этом законов классической логики;
за многообразием терминов и инструментальных средств увидеть единую математическую основу семантического анализа.
Будущие исследования предполагается вести в следующих основных направлениях:
алгебраический анализ и синтез динамических систем, в том числе динамических интеллектуальных систем [Виноградов, 2002], в рамках ситуационного подхода [Фридман, 2010];
моделирование вопросно-ответных и обучающих систем [Сулейманов, 2010; Зуенко 2010 b];
контекстно-ориентированные системы управления базами данных и знаний [Зуенко, 2008 d];
исследование дополнительных возможностей погружения структур АК в измеримые пространства.
215
Список литературы
Арнольд, В. И. Математическая дуэль вокруг Бурбаки. / В. И. Арнольд // Вестник РАН. 2002. – Т. 72, – № 3. – С. 245-250.
Башмаков, А. И. Интеллектуальные информационные технологии: Учебн. пособие. / А. И. Башмаков, И. А. Башмаков – М., Изд-во МГТУ им. Н.Э. Баумана, 2005. – 304 с.
Бурбаки, Н. Теория множеств. / Бурбаки Н. – М., Мир, 1965. – 465 с.
Вагин, В. Н. Достоверный и правдоподобный вывод в интеллектуальных системах. / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина / Под ред. В. Н. Вагина, Д. А. Поспелова. – М., ФИЗМАТЛИТ, 2004. – 704 с.
Виноградов, А. Н. Динамические интеллектуальные системы. – Ч.1. Представление знаний и основные алгоритмы. / А. Н. Виноградов, Л. Ю. Жилякова, Г. С. Осипов // Известия РАН. Теория и системы управления. – М., Наука, 2002. – С. 87-94.
Гетманова, А. Д. Учебник по логике. / А. Д. Гетманова – М., "Владос", 1995. – 303 с.
Генцен, Г. Исследование логических выводов. / Г. Генцен – В кн.: Математическая теория логического вывода. М., Наука, 1967. – С. 9 – 74.
Гильберт, Д. Основы теоретической логики. / Д. Гильберт, В. Аккреман – М., ИЛ, 1947. – 302 с.
Гладкий, А. В. Введение в современную логику. / А. В. Гладкий – М., МЦНМО, 2001. – 200 с.
Глушков, В .М. Алгебра. Языки. Программирование. / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко – Киев, Наукова думка, 1989. – 376 с.
Гэри, М. Вычислительные машины и труднорешаемые задачи. / М. Гэри, Л. Джонсон – М., Мир, 1982. – 416 с.
Данцин, Е. А. Алгоритмика задачи выполнимости / Е. А. Данцин // Вопросы кибернетики. Проблемы сокращения перебора. М., 1987. – С. 7-29.
Дейт, К. Дж. Введение в системы баз данных. / К. Дж Дейт – 6-е издание. – Киев, М., СПб., Издательский дом «Вильямс», 1999. – 848 с.
Закревский, А. Д. Представление знаний и логический вывод в пространстве многозначных признаков. / А. Д. Закревский – В кн. Логика и компьютер. – Вып. 2: Логические языки, содержащие рассуждения и методы поиска
216
доказательств. – М., Наука, 1995. – С. 3-16.
Зуенко, А. А. Анализ контекстов при моделировании слабо формализованных предметных областей / А. А. Зуенко, Б. А. Кулик, А. Я. Фридман // Двенадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2010 (20 -24 сентября 2010 г., г. Тверь, Россия): Труды конференции. Т.2 – М.: Физматлит, 2010. – С.164-172.
Зуенко, А. А. Контекстный подход в системах сопровождения открытых моделей предметной области. / А. А. Зуенко, А. Я. Фридман // Искусственный интеллект и принятие решений. 2008. – №3. – С.41-51.
Зуенко, А. А. Логический вывод при семантическом анализе нерегламентированных путевых запросов. / А. А. Зуенко, А. Я. Фридман // Одиннадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2008 (28 сентября – 3 октября 2008 г., Дубна, Россия): труды конференции. – М., ЛЕНАНД, 2008. – Т. 1. – С.298304.
Зуенко, А. А. Примеры применения алгебры кортежей в интеллектуальном анализе данных / А. А. Зуенко, Б. А. Кулик, А. Я. Фридман // Двенадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2010 (20-24 сентября 2010 г., г.Тверь, Россия): Труды конференции. Т.3 – М.: Физматлит, 2010. – С.279-287.
Зуенко, А. А. Метод семантического анализа нерегламентированных запросов в реляционной базе данных с иерархической структурой. / А. А. Зуенко, А. Я. Фридман // Труды ИСА РАН. Прикладные проблемы управления макросистемами / Под ред. Ю.С. Попкова, В.А. Путилова. – Т. 39. – М., Книжный дом "ЛИБРОКОМ", 2008. – С. 141-159.
Зуенко, А. А. Развитие алгебры кортежей для логического анализа баз данных с использованием двуместных предикатов. / А. А. Зуенко, А. Я. Фридман // Известия РАН. Теория и системы управления. 2009. – №2. – С. 95-103.
Зуенко, А. А. Унификация обработки данных и знаний на основе общей теории многоместных отношений. / А. А. Зуенко, Б. А. Кулик, А. Я. Фридман // Искусственный интеллект и принятие решений, 2010. – Вып. 3. – С. 52-62.
Зуенко, А. А. Управление контекстом при организации интеллектуализированного интерфейса БД в системах моделирования на основе концептуального подхода. / А. А. Зуенко, А. Я. Фридман // Труды
217
ИСА РАН. Прикладные проблемы управления макросистемами / Под ред. Ю.С. Попкова, В.А. Путилова. Т. 39. – М., Книжный дом «ЛИБРОКОМ», 2008. – C.128-141.
Игошин, В. И. Математическая логика и теория алгоритмов. / В. И. Игошин – М., Изд. центр "Академия", 2008. – 448 с.
Индейцев, А. И. Система интеллектуальной поддержки борьбы за живучесть надводного корабля. / А. И. Индейцев, А. Г. Сергеев // Методы и средства информационной поддержки борьбы за живучесть надводных кораблей. – СПб., ИПМаш РАН. 1995. – С. 15-35.
Искусственный интеллект. – В 3-х книгах. Кн. 2. Модели и методы: Справочник/ Под ред. Д. А. Поспелова – М., Радио и связь. 1990. – 304 с.
Клини, С. Математическая логика./ С. Клини, – М., Мир. 1973. – 480 с. Колмогоров, А. Н. Элементы теории функций и функционального анализа. /
А. Н. Колмогоров, С. В. Фомин – М., Наука, 1972. – 496 с.
Кофман, А. Введение в теорию нечетких множеств. / А. Кофман – М., Радио и связь, 1982. – 432 с.
Кристофидес, Н. Теория графов. Алгоритмический подход. / Н. Кристофидес – М., Мир, 1978. – 432 с.
Кузичев, А. С. Диаграммы Венна. / А. С. Кузичев – М.: Наука, 1968. – 252 с. Кулик, Б. А. Вероятностная логика на основе алгебры кортежей. / Б. А. Кулик //
Известия РАН. Теория и системы управления. 2007. – № 1. – С. 118-127. Кулик, Б. А. Логика естественных рассуждений. / Б. А. Кулик – СПб., Невский
диалект 2001. – 128 с.
Кулик, Б. А. Логические основы здравого смысла. / Б. А. Кулик / Под ред. Д. А. Поспелова. – СПб., Политехника. 1997. – 131 с.
Кулик, Б. А. Математическое отношение как основная структура логики. / Б. А. Кулик // Труды междунар. научной школы "Моделирование и анализ безопасности и риска в сложных системах – 2008" СПб., ГУАП, 2008. – С. 190-192.
Кулик, Б. А. Моделирование рассуждений на основе законов алгебры множеств. / Б. А. Кулик // Труды Пятой национальной конференции по искусственному интеллекту, Казань, 7-11 октября 1996 г. – Т.1. – C. 58-61.
Кулик, Б. А. Новые классы КНФ с полиномиально распознаваемым свойством выполнимости. / Б. А. Кулик // Автоматика и телемеханика. 1995. – № 2. –
218
С. 111-124.
Кулик, Б. А. Обобщенный подход к моделированию и анализу интеллектуальных систем на основе алгебры кортежей. / Б. А. Кулик // Труды VI Международной конференции «Идентификация систем и задачи управления» SICPRO’07. – М., ИПУ РАН, 2007. – С. 679-715.
Кулик, Б. А. Система логического программирования на основе алгебры кортежей. / Б. А. Кулик // Изв. РАН. Техн. кибернетика. 1993. – № 3. – С. 226-239.
Кулик, Б. А. Управление логико-семантическим анализом на основе теории отношений. / Б. А. Кулик, А. А. Зуенко, А. Я. Фридман // VIII Всероссийская школа-семинар «Прикладные проблемы управления макросистемами» (Апатиты, 29 марта – 2 апреля 2010 г.). Материалы докладов. – Апатиты, изд-во КНЦ РАН, 2008. – С. 23-24.
Курант, Р. Что такое математика. Элементарный очерк идей и методов. / Р. Курант, Г. Роббинс – М-Л., ОГИЗ, 1947. – 664 с.
Левин, Л. А. Универсальные задачи перебора. / Л. А. Левин // Проблемы передачи информации. 1973. – Вып.3. – С.115-116.
Липский, В. Комбинаторика для программистов. / В. Липский – М., "Мир", 1988. – 213 с.
Лукасевич, Я. Аристотелевская силлогистика с точки зрения современной формальной логики. / Я. Лукасевич – М., 1959. – 312 с.
Мальцев, А. И. Алгебраические системы. / А. И. Мальцев – М., Наука. 1970. – 392 с.
Маслов, С. Ю. Теория дедуктивных систем и ее применения. / С. Ю. Маслов – М., Радио и связь. 1986. – 136 с.
Мелихов, А. Н. Ориентированные графы и конечные автоматы. / А. Н. Мелихов
– М., Наука, 1971. – 416 с.
Мендельсон, Э. Введение в математическую логику. / Э. Мендельсон – М., Наука. 1984. – 320 с.
Непейвода, Н. Н. Прикладная логика: учебное пособие. / Н. Н. Непейвода – Ижевск,. Издательство Удмуртского университета, 1997. – 385 с.
Новиков, П. С. Элементы математической логики. / П. С. Новиков – М., Наука.
219