Первая помощь

Что такое "Информационная система по формальным теориям Theo.ru"?
Требования к программному обеспечению
Как работать с системой?
Карта сайта

О проекте

Последние обновления
История создания и обновлений системы (2003-2005)
История создания и обновлений объединенной системы (2008)
О создателях системы

Состояние системы

Информация в БД формальных теорий
Сервисы ИС по формальным теориям
English version

Информационная система по формальным теориям Theo.ru

Основные обновления справочно-информационного комплекса Формальные теории

История создания и обновлений системы
(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. Добавлены новые возможности:
    4. Глоссарий расшинен до 62 статей
    5. Начата интеграция отдельных компонентов системы.

Середина декабря 2004:
    1. Переработана структура и дизайн меню навигации по сайту.
    2. Изменена структура информационной (первой) страницы.
    3. Добавлена аксиоматика 8 теорий.
Начало декабря 2004:
    1. База данных расширена до 120 формальных теорий (94 прикладных бескванторных предикатных теорий и 26 пропозициональных теорий), сформулированных в 37 формальных языках (36 алфавитов, 11 классов ППТ); включает 235 библиографических ссылок на 34 работы.
    2. Внесены изменения в структуру БД и исправлен ряд ошибок в данных.
    3. Запрос сведений к БД реализован трех видов:
      • через 3D-интерфейс (вершины VRML-графов используются в качестве гиперссылок на скрипты, выдающие информацию о запрошенной вершине в виде статьи на HTML или TeX);
      • в виде ряда фиксированных запросов (результаты выдаются в виде таблиц).
      • в виде системы построения интерактивного запроса, позволяющей выбирать интересующие объекты, параметры запроса и форму вывода результата (VRML-граф, таблица или статья на HTML).
    4. На сайте размещен ряд новых дополнительных материалов.
Начало июня 2004:
    1. База данных расширена до 113 формальных теорий (93 прикладных бескванторных предикатных теории (силлогистики, фрагменты онтологии Лесневского, алгебраические теории) и 20 пропозициональных теорий), сформулированных в 37 формальных языках (36 алфавитов, 11 классов ППТ); включает 189 библиографических ссылок на 31 работу.
    2. Описаны дедуктивные постулаты 84 предикатных теорий (из 93). Введены данные о 20 пропозициональных теориях и их языках (пока без дедуктивных постулатов).
    3. Исправлен ряд ошибок в описании теорий.
    4. Для основных групп объектов БД (силлогистических и пропозициональных алфавитов, классов силлогистических ППТ, силлогистических и пропозициональных языков, нескольких групп силогистик и пропозициональных теорий) построены 3D-графы, организующие 3D-интерфейс к БД. Информация о представленном вершиной объекте выводится в отдельном окне в виде справочной заметки на HTML.
20 мая 2004:
    1. База данных расширена до 105 формальных теории (86 силлогистик и схожих теорий, 19 пропозициональных теорий), сформулированных в 33 формальных языках (с 32 алфавитами и 11 классами ППТ); включает 187 библиографических ссылки на 26 работ.
    2. Частично введены дедуктивные постулаты ФТ.
    3. Добавлен ряд стандартных запросов.
    4. VRML-графы приведены в соответствие с новой БД, добавлено 4 новых 3D-графа.

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