Научная тема: «ЛОГИЧЕСКИЙ АНАЛИЗ СИСТЕМ НА ОСНОВЕ АЛГЕБРАИЧЕСКОГО ПОДХОДА»
Специальность: 05.13.01
Год: 2008
Отрасль науки: Физико-математические науки
Основные научные положения, сформулированные автором на основании проведенных исследований:
  1.  Новая методология логического анализа систем на основе обобщенного теоретического подхода, в котором структуры и модели данных и знаний имеют общую математическую основу. В качестве такой основы предусмотрена разработанная автором алгебра кортежей (АК), являющаяся расширением алгебры множеств.
  2. Новый класс частично упорядоченных множеств (QC-структуры), с помощью которого осуществляется детальный логический анализ систем следующих типов: 1) «объекты - свойства»; 2) системы подмножеств, заданные некоторыми соотношениями между некоторыми подмножествами; 3) системы рассуждений типа полисиллогистики; 4) системы нечетких множеств.
  3. Новые, не нарушающие законов классической логики, методы анализа модифицируемых рассуждений, содержащих гипотезы и абдуктивные заключения. В основу этих методов положены определения и методы распознавания коллизий.
  4. Новые, основанные на алгебраическом подходе, алгоритмы для следующих основных процедур логического анализа систем: проверки правильности следствия; формулировки и проверки гипотез; поиска абдуктивных заключений.
  5. Теоретическое обоснование и алгоритмы решения задач логико-вероятностного анализа систем на основе алгебры кортежей; постановка и решение обратной задачи логико-вероятностного анализа: расчет вероятностей событий, заданных логическими формулами, при известных вероятностях событий, заданных другими формулами.
  6. Теоретическое обоснование возможности эффективного распараллеливания алгоритмов решения задач на структурах алгебры кортежей, и как следствие этого новый подход к проектированию вычислительных комплексов и программ для реализации параллельных вычислений при логическом анализе систем.
Список опубликованных работ
Книги

1.Кулик Б.А. Логические основы здравого смысла / Под ред. Д.А. Поспелова. СПб. Политехника. 1997. 131 с.

2.Кулик Б.А. Логика естественных рассуждений. СПб. Невский диалект. 2001. 128 с.

Публикации в изданиях, рекомендованных ВАК РФ

1.Кулик Б.А. Система поиска слов в произвольном тексте // Программирование.1987. № 1. C. 49-50.

2.Кулик Б.А., Рахов Э.В. Программное обеспечение некоторых классов нечисловых задач на основе матричного представления. // Программирование. 1988. № 2. C. 26–31.

3.Кулик Б. А. Система логического программирования на основе алгебры кортежей // Изв. РАН. Техн. кибернетика. 1993. № 3. С. 226–239.

4.Кулик Б.А. Математическая модель дедуктивной базы данных на основе алгебры кортежей // Известия РАН. Техн. кибернетика. 1994. № 2. С. 161–169.

5.Кулик Б. А. Новые классы КНФ с полиномиально распознаваемым свойством выполнимости // Автоматика и телемеханика. 1995. № 2. С. 111–124.

6. Кулик Б. А. Представление логических систем в вероятностном пространстве на основе алгебры кортежей. 1. Основы алгебры кортежей //Автоматика и телемеханика. 1997. № 1. С. 126–136.

7.Кулик Б. А., Наумов М. В. Представление логических систем в вероятностном пространстве на основе алгебры кортежей. 2. Измеримые логические системы //Автоматика и телемеханика. 1997. № 2. С. 169–179.

8.Кулик Б.А. Анализ надежности систем с многими состояниями на основе алгебры кортежей // Автоматика и телемеханика, 2003. № 7. С. 13–18.

9.Кулик Б.А. Вероятностная логика на основе алгебры кортежей // Известия РАН. Теория и системы управления. 2007. № 1. С. 118–127.

Статьи, изобретения, материалы конференций

1.Кулик Б.А. Быстродействующие ИПС на основе операций с логическими векторами // Управляющие системы и машины. 1989. № 4. С. 14–19.

2.Кулик Б. А. Особенности реализации систем искусственного интеллекта на биассоциативной машине // Информационное обеспечение научных исследований. Л.: Из-во БАН СССР, 1990, с. 115–128.

3.Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта.1996. № 3. С. 7–92.

4.Кулик Б.А. Программа для моделирования и анализа естественных рассуждений // Компьютерные инструменты в образовании, 1998. № 2, с. 55–63.

5.Кулик Б.А. А если заглянуть в третье тысячелетие? // Новости РФФИ. 1998. № 2(5).

6.Кулик Б.А. Есть ли логика в современном образовании99? // Новости РФФИ, 1998. № 7(10)

7.Кулик Б.А. С чем идет современная логика в XXI век? // Вестник РФФИ. 2000. № 3(21).

8.Кулик Б.А. Логика естественных рассуждений. Учебная программа курса лекций для студентов СПбГУКИ по специальности 351400 «Прикладная информатика» // Учебно-методические материалы. Выпуск первый. СПб.: СПбГУКИ, 2005, с. 110–114.

9.А.с. 1322292 СССР. Устройство для адресации по содержанию блока памяти. БИ № 25, 1987.(Авт.: Б.А. Кулик, Э.В. Рахов, В.М. Питерский, Б.Н. Лысков).

10.А. с. 1464164 СССР. Устройство для адресации по содержанию блока памяти. БИ № 9, 1989.(Авт.: Т.П. Корниец, .Б.А. Кулик, Э.В. Рахов).

11.А. с. 1485254 СССР. Устройство для адресации по содержанию блока памяти. БИ № 21, 1989.(Авт.: Б.А. Кулик, Э.В. Рахов, Н.Н. Востров, Т.П. Корниец).

12.Патент 2028664 Российской Федерации. Устройство для параллельной обработки данных. БИ № 4, 1995. (Авт.: Б.А. Кулик, Л.Е. Кулик, В.Ф. Федоров).

13.Кулик Б. А. Моделирование рассуждений на основе законов алгебры множеств / Труды Пятой нац. конф. по искусственному интеллекту. Казань: 1996. Т. 1, с. 58–61.

14.Кулик Б. А. Интерпретируемые системы логического вывода / Международная конференция "Смирновские чтения" (тезисы докладов). М.: Институт философии РАН. 1997. С. 54–55.

15.Кулик Б.А. Система логического вывода на логических графах / Современная логика: проблемы теории, истории и применения в науке. Материалы V Общероссийской научной конференции. СПб.: 1998. С. 169 –171.

16.Кулик Б.А. Алгебраические основы естественных рассуждений: E-структуры / Материалы второй международной конференции "Логико-лингвистическое управление динамическими объектами (DOLLC´99)”. СПб: 1999. С. 29–40.

17.Кулик Б.А., Романов Л.Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур / Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT´99). Труды Международной конференции. Переславль-Залесский, 1999. М.: Физматлит. 1999. С. 50–54.

18.Кулик Б.А. Логическая модель развивающегося знания на основе E-структур /Современная логика: проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции. СПб.: 2000 . С. 204–211.

19.Кулик Б.А. Индуктивный вывод в E-структурах /Современная логика: проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции. СПб.: 2000. С. 477–480.

20.Кулик Б.А. Вероятностное моделирование систем на основе алгебры кортежей /Труды междунар. научной школы "Моделирование и анализ риска и качества в сложных системах -2001". СПб. ООО "НПО Омега". 2001. С. 155–158.

21.Кулик Б.А. О математических основаниях естественной логики /Материалы VII Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". СПбГУ. 2002. С. 67–70.

22.Кулик Б.А. Обобщенный подход к моделированию и анализу потенциально опасных объектов на основе QC-структур и алгебры кортежей /Труды междунар. научной школы "Моделирование и анализ безопасности и риска в сложных системах - 2003" СПб.: СПбГУАП, 2003. С. 159–165.

23.Кулик Б.А. Методика моделирования и анализа рассуждений на основе E-структур / Материалы межд. научно-практической конф. «Проблемы преподавания логики и дисциплин логического цикла». Киев: ИПЦ «Киевский университет». 2004. С. 54–55.

24.Кулик Б.А. Модифицируемые рассуждения в рамках классической логики / Материалы VIII Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". СПбГУ. 2004. С. 379–382.

25.Кулик Б.А. Вероятностная логика на основе алгебры кортежей / Труды междунар. научной школы "Моделирование и анализ безопасности и риса в сложных системах - 2005". СПбГУАП. 2005. С. 406–412.

26.Кулик Б.А. Следствия и гипотезы в естественных рассуждениях / Материалы IX Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". СПбГУ. 2006. С. 374–376.

27.Кулик Б.А. Логико-вероятностные методы анализа на основе алгебры кортежей / Кибернетика и информатика. Сборник научных трудов к 50-летию секции кибернетики Дома Ученых им М. Горького РАН. СПб.: Изд-во Политехн. ун-та. 2006. С. 171–193.

28.Кулик Б.А. Обобщенный подход к моделированию и анализу интеллектуальных систем на основе алгебры кортежей. / Труды VI Международной конференции «Идентификация систем и задачи управления» SICPRO’07. М.: ИПУ РАН, 2007 . С. 679–715.

29.Кулик Б.А. Логико-вероятностный анализ интеллектуальных систем на основе алгебры кортежей /Труды междунар. научной школы "Моделирование и анализ безопасности и риска в сложных системах - 2007" СПб.: ГУАП, 2007. С. 137–149.

30.Кулик Б.А. Теория отношений как математическая основа логики / Труды международной научной конференции «Философия математики: актуальные проблемы». М., Изд. Савин С.А., 2007. С. 111-113.

31.Kulik B. Development of Algorithmical Provision for the Calculation of Systems’ Reliability and Safety on the Basis of the Tuple Algebra /Iin Proceedings of the International Conference on Informatics and Control (ICI&C’97). Saint Petersburg. 1997. pp 1087–1093.