Планируемые обновления
Планы на 2006 год
- Создание англоязычной версии системы.
- Расширение глоссария за счет персоналий, статей, посвященных отдельным классам теорий, греческой и латинской логической терминологии.
- Расширение раздела Дедукция. Создание скрипта, синтезирующего аксиоматику
объединения или пересечения двух теорий (для некоторых групп теорий). Доработка
уже доступных скриптов с псевдодедукцией. Создание коллекции ссыллок на дедуктивные
системы в сети.
- Создание справочника по формальным реконструкциям силлогистик (различные
реконструкции силлогистики Аристотеля, традиционной, Оккама, фундаментальной,
Больцано, Кэрролла, Васильева, Лесневского).
- Перевод системы на Unicode (utf-8).
- Расширение БД, добавление справочных материалов.
- Изменение структуры БД для более удобной реализации процедур искусственного
интеллекта на основе системы.
Стратегические направления дальнейшего развития системы
- Расширение банка данных формальных теорий (независимо от наличия сведений
об их соотношении с другими теориями).
- Создание OnLine словаря по логике (на основе глоссария).
- Создание системы автоматической проверки доказуемости / недоказуемости формул
в теориях из БД.
- Создание многоязыковой ИС.
- Создание специализированного поисковика по логике и смежным темам.