Информационная система
по формальным теориям Theo.ru
Основные обновления справочно-информационного комплекса Формальные теории
История создания и обновлений системы
(2003 2005)
Система, представляющая соотношение заданных теорий в виде графа, была задумана
в 2002 году Т.А. Шияном и В.Е. Комендантским. Проект "Интернет-ресурс по
формальным теориям" выиграл конкурс РГНФ (Российский
гуманитарный научный фонд, www.rfh.ru) и получил грант (№03-03-12003в) на
создание системы на 2003-2005 гг. Организационную поддержку проекту оказал также
Института логики, когнитологии
и развития личности (www.logic.ru). В создании системы принимали участие:
Григорьев Олег Михайлович (20042005) работа со скриптами для формирования
статей на LaTEX, подготовка информации для БД о модальных теориях.
Комендантский Владимир Евгеньевич (20022003) первичная (совместное
с Т.А. Шияном) работа над проектом, первые скрипты для формирования статей
на LaTEX.
Шиян Тарас Александрович (руководитель проекта) (2002 до настоящего времени)
теоретические разработки, структура и наполнение БД, сайт, генерация
VRML, справочные материалы.
Шумаков Артем Витальевич (20032005) формы и скрипты для интерактивного
формирования запросов к БД и генерации VRML-графов.
Итоговое состояние системы к январю 2006
К январю 2006 года состояние системы описывалось следующим образом
В базе данных представлено:
165 формальных теорий;
48 формальных языков;
13 классов термов;
47 формальных алфавитов;
соотношения внутри каждого их перечисленных четырех типов объектов;
различные группы формальных теорий;
библиография по формальным теориям (40 источников, 291 библиографическая ссылка);
Информационной системой предоставляотся следующие возможности:
доступ к БД через 3D-интерфейс;
доступ к БД через набор фиксированных запросов;
доступ к БД через систему интерактивного построения запросов и синтеза
VRML-графов;
представление результатов запросов в виде таблиц и статей на HTML, статей
на TeX , графов VRML;
глоссарий на 62 термина;
некоторые возможности дедуктивного вывода (псевдодедукция);
различные виды поиска по БД.
С января 2006 года система работала без обновлений и исправлений до весны 2008.
Основные обновления
2-ая пол. декабря 2005 - январь 2006:
Доработка модуля "Поиск подтеорий и расширений теорий" из раздела "Дедукция" (сер. декабря).
Исправление замеченных ошибок.
1-ая половина декабря 2005:
Реализована возможность синтезировать VRML-граф для произвольных выборок
теорий.
В систему добавлены различные формы для поиска по БД.
Глоссарий выделен в отдельный раздел.
Добавлены классификации теорий и языков по множеству термов.
В раздел "Дедукция" добавлена возможность представления всех
больших или всех меньших теорий в виде VRML-графа.
Исправлены ошибки в скриптах генерации статей на LaTeX
Исправлены ошибки в БД и заполнена большая часть пробелов.
28 ноября 2005:
Появление нового раздела "Дедукция", в котором представлены
скрипты, реализующие элементы дедуктивного вывода через недедуктивные процедуры,
и ссылки на дедуктивные системы в сети.
Исправление замеченных ошибок.
Конец октября ноябрь 2005:
Изменение структуры титульной страницы.
Исправление замеченных ошибок.
Расширение БД до 165 теорий, незначительное расширение библиографии.
Середина октября 2005:
База данных расширена до 158 теорий (силлогистические и алгебраические
бескванторные, многозначные и модальные пропозициональные, кванторные теории)
в 47 языках с 46 алфавитами и 12 классами ППТ. Библиография расширена до
37 источников с 244 библиографическими ссылками.
графическое представление классов эквивалентности теорий по языку.
Глоссарий расшинен до 62 статей
Начата интеграция отдельных компонентов системы.
Середина декабря 2004:
Переработана структура и дизайн меню навигации по сайту.
Изменена структура информационной (первой) страницы.
Добавлена аксиоматика 8 теорий.
Начало декабря 2004:
База данных расширена до 120 формальных теорий (94 прикладных бескванторных
предикатных теорий и 26 пропозициональных теорий), сформулированных в 37
формальных языках (36 алфавитов, 11 классов ППТ); включает 235 библиографических
ссылок на 34 работы.
Внесены изменения в структуру БД и исправлен ряд ошибок в данных.
Запрос сведений к БД реализован трех видов:
через 3D-интерфейс (вершины VRML-графов используются в качестве гиперссылок
на скрипты, выдающие информацию о запрошенной вершине в виде статьи на
HTML или TeX);
в виде ряда фиксированных запросов (результаты выдаются в виде таблиц).
в виде системы построения интерактивного запроса, позволяющей выбирать
интересующие объекты, параметры запроса и форму вывода результата (VRML-граф,
таблица или статья на HTML).
На сайте размещен ряд новых дополнительных материалов.
Начало июня 2004:
База данных расширена до 113 формальных теорий (93 прикладных бескванторных
предикатных теории (силлогистики, фрагменты онтологии Лесневского, алгебраические
теории) и 20 пропозициональных теорий), сформулированных в 37 формальных
языках (36 алфавитов, 11 классов ППТ); включает 189 библиографических
ссылок на 31 работу.
Описаны дедуктивные постулаты 84 предикатных теорий (из 93). Введены
данные о 20 пропозициональных теориях и их языках (пока без дедуктивных
постулатов).
Исправлен ряд ошибок в описании теорий.
Для основных групп объектов БД (силлогистических и пропозициональных алфавитов,
классов силлогистических ППТ, силлогистических и пропозициональных языков,
нескольких групп силогистик и пропозициональных теорий) построены 3D-графы,
организующие 3D-интерфейс к БД. Информация о представленном вершиной объекте
выводится в отдельном окне в виде справочной заметки на HTML.
20 мая 2004:
База данных расширена до 105 формальных теории (86 силлогистик и схожих
теорий, 19 пропозициональных теорий), сформулированных в 33 формальных языках
(с 32 алфавитами и 11 классами ППТ); включает 187 библиографических ссылки
на 26 работ.
Частично введены дедуктивные постулаты ФТ.
Добавлен ряд стандартных запросов.
VRML-графы приведены в соответствие с новой БД, добавлено 4 новых
3D-графа.
Середина октября 2003:
База данных расширена до 77 формальных силлогистик (пока без дедуктивных
постулатов), сформулированных в 19 формальных языках (с 16 алфавитами
и 8 классами ППТ); включает 155 библиографических ссылки на 18 работ.
Ряд стандартных запросов к БД реализован в табличном
режиме.
Для силлогистических языков и классов силлогистических ППТ построены 3D-графы,
организующие 3D-интерфейс к БД. Информация о представленном вершиной объекте
выводится в отдельном окне в виде справочной заметки на HTML.