История создания и обновлений системы
(2003 – 2005)

Система, представляющая соотношение заданных теорий в виде графа, была задумана в 2002 году Т.А. Шияном и В.Е. Комендантским. Проект "Интернет-ресурс по формальным теориям" выиграл конкурс РГНФ (Российский гуманитарный научный фонд, www.rfh.ru) и получил грант (№03-03-12003в) на создание системы на 2003-2005 гг. Организационную поддержку проекту оказал также Института логики, когнитологии и развития личности (www.logic.ru). В создании системы принимали участие:

1. Григорьев Олег Михайлович (2004–2005) – работа со скриптами для формирования статей на LaTEX, подготовка информации для БД о модальных теориях.
2. Комендантский Владимир Евгеньевич (2002–2003) – первичная (совместное с Т.А. Шияном) работа над проектом, первые скрипты для формирования статей на LaTEX.
3. Шиян Тарас Александрович (руководитель проекта) (2002 – до настоящего времени) – теоретические разработки, структура и наполнение БД, сайт, генерация VRML, справочные материалы.
4. Шумаков Артем Витальевич (2003–2005) – формы и скрипты для интерактивного формирования запросов к БД и генерации VRML-графов.

Итоговое состояние системы к январю 2006

К январю 2006 года состояние системы описывалось следующим образом

В базе данных представлено:

1. 165 формальных теорий;
2. 48 формальных языков;
3. 13 классов термов;
4. 47 формальных алфавитов;
5. соотношения внутри каждого их перечисленных четырех типов объектов;
6. различные группы формальных теорий;
7. библиография по формальным теориям (40 источников, 291 библиографическая ссылка);

Информационной системой предоставляотся следующие возможности:

1. доступ к БД через 3D-интерфейс;
2. доступ к БД через набор фиксированных запросов;
3. доступ к БД через систему интерактивного построения запросов и синтеза VRML-графов;
4. представление результатов запросов в виде таблиц и статей на HTML, статей на TeX , графов VRML;
5. глоссарий на 62 термина;
6. некоторые возможности дедуктивного вывода (псевдодедукция);
7. различные виды поиска по БД.

С января 2006 года система работала без обновлений и исправлений до весны 2008.

Основные обновления

2-ая пол. декабря 2005 - январь 2006:

1. Доработка модуля "Поиск подтеорий и расширений теорий" из раздела "Дедукция" (сер. декабря).
2. Исправление замеченных ошибок.

1-ая половина декабря 2005:

1. Реализована возможность синтезировать VRML-граф для произвольных выборок теорий.
2. В систему добавлены различные формы для поиска по БД.
3. Глоссарий выделен в отдельный раздел.
4. Добавлены классификации теорий и языков по множеству термов.
5. В раздел "Дедукция" добавлена возможность представления всех больших или всех меньших теорий в виде VRML-графа.
6. Исправлены ошибки в скриптах генерации статей на LaTeX
7. Исправлены ошибки в БД и заполнена большая часть пробелов.

28 ноября 2005:

1. Появление нового раздела "Дедукция", в котором представлены скрипты, реализующие элементы дедуктивного вывода через недедуктивные процедуры, и ссылки на дедуктивные системы в сети.
2. Исправление замеченных ошибок.

Конец октября – ноябрь 2005:

1. Изменение структуры титульной страницы.
2. Исправление замеченных ошибок.
3. Расширение БД до 165 теорий, незначительное расширение библиографии.

Середина октября 2005:

1. База данных расширена до 158 теорий (силлогистические и алгебраические бескванторные, многозначные и модальные пропозициональные, кванторные теории) в 47 языках с 46 алфавитами и 12 классами ППТ. Библиография расширена до 37 источников с 244 библиографическими ссылками.
2. Начато создание справочника по формальным реконструкциям силлогистических учений (написание справочных текстов планируется на 2006 год).
3. В БД введена информация о формальной реконструкции фрагмента первой части Этики Спинозы, размещен перевод статьи с описанием данной формализации.

Начало октября 2005:

1. База данных расширена до 144 теорий (242 библиографических ссылки на 35 источников).
2. Доработано меню навигации по сайту; создана карта сайта.
3. Добавлены новые возможности:
   • специальная форма для генерации статей о теориях в фомате TeX (см. 'Теории' => 'Дополнительные возможности' => 'Создание статьи в LaTeX');
   • представление теорий и языков в виде структурных схем и формы, позволяющие обращаться к БД через эти схемы (см. 'Языки' => 'Структурное представление языков' и 'Теории' => 'Структурное представление теорй').
   • графическое представление классов эквивалентности теорий по языку.
4. Глоссарий расшинен до 62 статей
5. Начата интеграция отдельных компонентов системы.

1. Переработана структура и дизайн меню навигации по сайту.
2. Изменена структура информационной (первой) страницы.
3. Добавлена аксиоматика 8 теорий.

1. База данных расширена до 120 формальных теорий (94 прикладных бескванторных предикатных теорий и 26 пропозициональных теорий), сформулированных в 37 формальных языках (36 алфавитов, 11 классов ППТ); включает 235 библиографических ссылок на 34 работы.
2. Внесены изменения в структуру БД и исправлен ряд ошибок в данных.
3. Запрос сведений к БД реализован трех видов:
• через 3D-интерфейс (вершины VRML-графов используются в качестве гиперссылок на скрипты, выдающие информацию о запрошенной вершине в виде статьи на HTML или TeX);
• в виде ряда фиксированных запросов (результаты выдаются в виде таблиц).
• в виде системы построения интерактивного запроса, позволяющей выбирать интересующие объекты, параметры запроса и форму вывода результата (VRML-граф, таблица или статья на HTML).
4. На сайте размещен ряд новых дополнительных материалов.

1. База данных расширена до 113 формальных теорий (93 прикладных бескванторных предикатных теории (силлогистики, фрагменты онтологии Лесневского, алгебраические теории) и 20 пропозициональных теорий), сформулированных в 37 формальных языках (36 алфавитов, 11 классов ППТ); включает 189 библиографических ссылок на 31 работу.
2. Описаны дедуктивные постулаты 84 предикатных теорий (из 93). Введены данные о 20 пропозициональных теориях и их языках (пока без дедуктивных постулатов).
3. Исправлен ряд ошибок в описании теорий.
4. Для основных групп объектов БД (силлогистических и пропозициональных алфавитов, классов силлогистических ППТ, силлогистических и пропозициональных языков, нескольких групп силогистик и пропозициональных теорий) построены 3D-графы, организующие 3D-интерфейс к БД. Информация о представленном вершиной объекте выводится в отдельном окне в виде справочной заметки на HTML.

1. База данных расширена до 105 формальных теории (86 силлогистик и схожих теорий, 19 пропозициональных теорий), сформулированных в 33 формальных языках (с 32 алфавитами и 11 классами ППТ); включает 187 библиографических ссылки на 26 работ.
2. Частично введены дедуктивные постулаты ФТ.
3. Добавлен ряд стандартных запросов.
4. VRML-графы приведены в соответствие с новой БД, добавлено 4 новых 3D-графа.

1. База данных расширена до 77 формальных силлогистик (пока без дедуктивных постулатов), сформулированных в 19 формальных языках (с 16 алфавитами и 8 классами ППТ); включает 155 библиографических ссылки на 18 работ.
2. Ряд стандартных запросов к БД реализован в табличном режиме.
3. Для силлогистических языков и классов силлогистических ППТ построены 3D-графы, организующие 3D-интерфейс к БД. Информация о представленном вершиной объекте выводится в отдельном окне в виде справочной заметки на HTML.
4. Можно просмотреть в режиме OnLine справочно-информационный комплекс "Силлогистические языки" или для просмотра в режиме OffLine скачать его zip-архив. В комплексе отражены данные о 15 языках формальных силлогистик и 8 классах ППТ этих языков. Для работы приложения требуется только обычный Internet-браузер с VRML-плагином.

1. Созданы первоначальные варианты БД и сайта.