Меню

Site Logo

О проекте: Система временных рассуждений (СВР), на базе качественной точечной модели времени. Разработана для применения в составе широкого класса современных крупных интеллектуальных систем, в которых требуется учитывать время и временные зависимости в данных и знаниях. В СВР предусмотрено гибкое управление выразительная мощностью – язык СВР позволяет пользователю представлять знания легко и естественным образом, особенно в случае гнездовых (ветвящихся) темпоральных выражений. СВР – содержит ряд эффективных реализаций автоматических процедур вывода, но при этом она построена по открытой архитектуре, что позволяет, по необходимости заменять эти реализации собственными.

СВР обеспечивает:

  • представление и хранение временной информации – СВР обладает средствами представления информации, позволяющими описывать, что истинно или ложно во времени. С другой стороны, есть возможность представления качественных и количественных (метрических) временных выражений типа «момент времени A перед моментом времени B» или «интервал времени Х дольше интервала времени У на 15 секунд»,
  • поддержку временной согласованности – проверку согласованности базы знаний (БЗ) при добавлении в нее новой информации. В случае несогласованности локализуется подмножество ответственных за нее утверждений (задача SAT),
  • решение задачи вычисления всех выполнимых ограничений,
  • решение задачи поиска минимальной ЗСВО (задача MIN),
  • решение задачи поиска согласованного сценария (или всех возможных согласованных сценариев) (задачи ACS и DSAT),
  • проверка истинности временных утверждений,
  • ответы на запросы, касающиеся временных аспектов знаний,
  • решение задачи проверки логической эквивалентности временных моделей.

В состав разработанного продукта входят как встраиваемые программные компоненты (для использования в составе сторонних ителлектуальных систем), так и специализированные средства - редактор сетей временных ограничений и монитор нагрузки.

Роль в проекте: разработчик методов и алгоритмов, архитектор, главный разработчик (управление проектом, архитектура, программирование)

Тип проекта: научно-исследовательский , open source

Состояние: выпущена версия 5.0, активен, продукт эксплуатируется.

Участие в проекте: c 2001 года.

Операционные системы: Windows, Linux.

Правообладатель и распространитель: Куриленко И.Е., на спец. редакцию .time этой системы получено свидетельство об официальной регистрации программы для ЭВМ №2005610762 «Система временных рассуждений» в Реестре программ для ЭВМ от 31 марта 2005 г.

Снимки экранов и схемы: