Содержание:
На главную страницу
На персональную страницу
Что такое дедукция?
Курс лекций по логике и математике
Статья "С чем идет современная логика в XXI век?"
Книга "Феномен нового знания: постижение истины или сотворение мифа?"
Воспоминания Л.П. Крайзмера
Статья И.А. Рябинина по истории ЛВА
Гостевая книга
Принимаются любые жалобы и предложения, но лучше по теме сайта.
© Б.А. Кулик, 2006
Дизайн: Н. Клейменова, 2005 |
Из материалов конференций
Кулик Б. А. Моделирование рассуждений на основе законов алгебры множеств // Труды Пятой национальной конференции по искусственному интеллекту, Казань, 7 - 11 октября 1996 г. Т. 1, с. 58-61.
Кулик Б. А. Интерпретируемые системы логического вывода // Международная конференция "Смирновские чтения" (тезисы докладов). М.: Институт философии РАН. 1997. С. 54-55.
Кулик Б.А. Система логического вывода на логических графах // Современная логика: проблемы теории, истории и применения в науке. - Материалы V Общероссийской научной конференции. Санкт-Петербург, 18 - 20 июня 1998 г.С. 169 -171.
Кулик Б.А. Алгебраические основы естественных рассуждений: E-структуры // Материалы второй международной конференции "Логико-лингвистическое управление динамическими объектами (DOLLC'99)", Санкт-Петербург, 21 - 25 июня 1999 г., с. 29-40.
Кулик Б.А., Романов Л.Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур // Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99). - Труды Международной конференции, Переславль-Залесский, 6 - 9 декабря 1999 г. М.: Наука. Физматлит, 1999. С. 50-54.
Кулик Б.А. Логическая модель развивающегося знания на основе E-структур // Современная логика: проблемы теории, истории и применения в науке. - Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22 - 24 июня 2000 г. С. 204 -211.
Кулик Б.А. Индуктивный вывод в E-структурах // Современная логика: проблемы теории, истории и применения в науке. - Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2000 г. С. 477 - 480.
Кулик Б.А. Вероятностное моделирование систем на основе алгебры кортежей // Труды междунар. научной школы "Моделирование и анализ риска и качества в сложных системах - 2001" (СПб. 18 - 22 июня 2001 г.) СПб, Издательство ООО "НПО Омега", 2001. С. 155-158.
Кулик Б.А. О математических основаниях естественной логики // Материалы VII Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". 20 - 22 июня 2002 г. СПб. Издательство СпбГУ, 2002. С. 67-70.
Кулик Б.А. Обобщенный подход к моделированию и анализу потенциально опасных объектов на основе QC-структур и алгебры кортежей // Труды междунар. научной школы "Моделирование и анализ безопасности и риска в сложных системах - 2003" (СПб. 20 - 23 августа 2003 г.) СПб, Издательство СПбГУАП, 2003. С. 159-165.
Кулик Б.А. Модифицируемые рассуждения в рамках классической логики // Материалы VIII Общероссийской научной конференции "Современная логика: проблемы теории, истории и применения в науке". 24 - 26 июня 2004 г. СПб. Издательство СпбГУ, 2004. С. 379-382.
Кулик Б.А. Вероятностная логика на основе алгебры кортежей // Труды междунар. научной школы "Моделирование и анализ безопасности и риска в сложных системах - 2005" (СПб. 28 июня - 1 июля 2005 г.). СПб., ГОУ ВПО "СПбГУАП". 2005. С. 406-412.
На персональную страницу
|
|